diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-07-08 11:13:27 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-07-08 11:13:27 +0000 |
commit | 3f41f6c5fa6d7f6e50b346f83e8c5e4f5deabaae (patch) | |
tree | fffd677e81737b9d402954781f6c860e7fce5b40 /pkgs/development/coq-modules/category-theory | |
parent | c73a78bd45fe46d00c7c3f16e6a6d71b778656dc (diff) | |
download | nixlib-3f41f6c5fa6d7f6e50b346f83e8c5e4f5deabaae.tar nixlib-3f41f6c5fa6d7f6e50b346f83e8c5e4f5deabaae.tar.gz nixlib-3f41f6c5fa6d7f6e50b346f83e8c5e4f5deabaae.tar.bz2 nixlib-3f41f6c5fa6d7f6e50b346f83e8c5e4f5deabaae.tar.lz nixlib-3f41f6c5fa6d7f6e50b346f83e8c5e4f5deabaae.tar.xz nixlib-3f41f6c5fa6d7f6e50b346f83e8c5e4f5deabaae.tar.zst nixlib-3f41f6c5fa6d7f6e50b346f83e8c5e4f5deabaae.zip |
coqPackages.equations: enable for Coq 8.8
Diffstat (limited to 'pkgs/development/coq-modules/category-theory')
0 files changed, 0 insertions, 0 deletions