diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-11-02 08:51:24 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-11-02 08:51:24 +0000 |
commit | 6a449c0742be295deb0f6edc25ff94870bb5250e (patch) | |
tree | 7da942ad4a97c9727c7accb15fa1594b12a789ef /pkgs/tools | |
parent | bfd838a695d0ce9adad5c9d140a53739e0485487 (diff) | |
download | nixlib-6a449c0742be295deb0f6edc25ff94870bb5250e.tar nixlib-6a449c0742be295deb0f6edc25ff94870bb5250e.tar.gz nixlib-6a449c0742be295deb0f6edc25ff94870bb5250e.tar.bz2 nixlib-6a449c0742be295deb0f6edc25ff94870bb5250e.tar.lz nixlib-6a449c0742be295deb0f6edc25ff94870bb5250e.tar.xz nixlib-6a449c0742be295deb0f6edc25ff94870bb5250e.tar.zst nixlib-6a449c0742be295deb0f6edc25ff94870bb5250e.zip |
coqPackages.contribs.zfc: enable for Coq 8.8
Diffstat (limited to 'pkgs/tools')
0 files changed, 0 insertions, 0 deletions