diff options
author | John Wiegley <johnw@newartisans.com> | 2018-07-05 15:16:42 -0700 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2018-07-05 15:17:22 -0700 |
commit | 1459b2dffa8336872f5b1f10cfcb1f1f36d8e490 (patch) | |
tree | 4b0fddcbf79c4f2c5be16005ad4ed3c1174c1a56 /pkgs/tools | |
parent | 56afc551f2b895d2c842413cc2a0c040d1ec278b (diff) | |
download | nixlib-1459b2dffa8336872f5b1f10cfcb1f1f36d8e490.tar nixlib-1459b2dffa8336872f5b1f10cfcb1f1f36d8e490.tar.gz nixlib-1459b2dffa8336872f5b1f10cfcb1f1f36d8e490.tar.bz2 nixlib-1459b2dffa8336872f5b1f10cfcb1f1f36d8e490.tar.lz nixlib-1459b2dffa8336872f5b1f10cfcb1f1f36d8e490.tar.xz nixlib-1459b2dffa8336872f5b1f10cfcb1f1f36d8e490.tar.zst nixlib-1459b2dffa8336872f5b1f10cfcb1f1f36d8e490.zip |
coqPackages.equations: Add support for Coq 8.8
Diffstat (limited to 'pkgs/tools')
0 files changed, 0 insertions, 0 deletions