nixpkgs/pkgs/development/coq-modules
Cyril Cohen b71c308591
coqPackages: refactor mathcomp packages
Closes 
2019-05-15 14:11:21 +00:00
..
Cheerios coq: init at 8.10+β1 2019-05-15 10:30:03 +02:00
CoLoR
HoTT
InfSeqExt coq: init at 8.10+β1 2019-05-15 10:30:03 +02:00
QuickChick
StructTact
Velisarios
Verdi coq: init at 8.10+β1 2019-05-15 10:30:03 +02:00
autosubst
bignums
category-theory
contribs
coq-ext-lib
coq-extensible-records
coq-haskell
coqhammer coqPackages.coqhammer: init at 1.1 2019-03-29 09:07:27 +01:00
coqprime
coquelicot
corn coq: init at 8.10+β1 2019-05-15 10:30:03 +02:00
dpdgraph
equations
fiat
flocq
heq
interval
iris
math-classes coq: init at 8.10+β1 2019-05-15 10:30:03 +02:00
mathcomp coqPackages: refactor mathcomp packages 2019-05-15 14:11:21 +00:00
metalib
paco
paramcoq
simple-io coq: init at 8.10+β1 2019-05-15 10:30:03 +02:00
ssreflect
stdpp
tlc coqPackages.tlc: 20180316 -> 20181116 2019-04-24 08:54:56 +02:00