diff options
author | Jörg Thalheim <joerg@thalheim.io> | 2018-10-28 20:45:04 +0000 |
---|---|---|
committer | Jörg Thalheim <joerg@thalheim.io> | 2018-10-30 13:31:11 +0000 |
commit | 8df0ca2bbcc98a787fccf623a91f5ea79161fce9 (patch) | |
tree | f8eaf67484757a410c627a5ea0e44e3b82143ca1 /pkgs/desktops | |
parent | b5ad6154743436b5acc791ccec5cde4be36dd18b (diff) | |
download | nixlib-8df0ca2bbcc98a787fccf623a91f5ea79161fce9.tar nixlib-8df0ca2bbcc98a787fccf623a91f5ea79161fce9.tar.gz nixlib-8df0ca2bbcc98a787fccf623a91f5ea79161fce9.tar.bz2 nixlib-8df0ca2bbcc98a787fccf623a91f5ea79161fce9.tar.lz nixlib-8df0ca2bbcc98a787fccf623a91f5ea79161fce9.tar.xz nixlib-8df0ca2bbcc98a787fccf623a91f5ea79161fce9.tar.zst nixlib-8df0ca2bbcc98a787fccf623a91f5ea79161fce9.zip |
coq_8_4: remove
verasco was its only user
Diffstat (limited to 'pkgs/desktops')
0 files changed, 0 insertions, 0 deletions