diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-11-29 16:54:24 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-12-10 07:56:32 +0000 |
commit | 2b66c286be34c87829c5555ca5a92238231e6d0d (patch) | |
tree | f4fe5d80aa224d49d4ff41a0f6698157ddeff041 /pkgs/data/icons | |
parent | 48e49d01b6d3c3ecc30e44b4db7fb03197f7e932 (diff) | |
download | nixlib-2b66c286be34c87829c5555ca5a92238231e6d0d.tar nixlib-2b66c286be34c87829c5555ca5a92238231e6d0d.tar.gz nixlib-2b66c286be34c87829c5555ca5a92238231e6d0d.tar.bz2 nixlib-2b66c286be34c87829c5555ca5a92238231e6d0d.tar.lz nixlib-2b66c286be34c87829c5555ca5a92238231e6d0d.tar.xz nixlib-2b66c286be34c87829c5555ca5a92238231e6d0d.tar.zst nixlib-2b66c286be34c87829c5555ca5a92238231e6d0d.zip |
coqPackages.corn: init at 8.8.1
Diffstat (limited to 'pkgs/data/icons')
0 files changed, 0 insertions, 0 deletions