This website requires JavaScript.
Explore
Help
Sign In
public
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
Files
21552a4b17ae14c19bf122f2f01492ff8e3635d5
nixpkgs
/
pkgs
/
development
/
coq-modules
History
Valentin Robert
b937c4c734
coqPackages.coq-ext-lib: 0.10.1 -> 0.10.3
2019-11-08 09:42:01 +00:00
..
autosubst
…
bignums
…
category-theory
…
Cheerios
…
CoLoR
…
contribs
…
coq-bits
coqPackages.coq-bits: init at 20190812
2019-10-24 06:24:33 +00:00
coq-elpi
…
coq-ext-lib
coqPackages.coq-ext-lib: 0.10.1 -> 0.10.3
2019-11-08 09:42:01 +00:00
coq-extensible-records
coqPackages.coq-extensible-records: support for coq 8.9 and 8.10
2019-10-29 12:42:22 +00:00
coq-haskell
…
coqhammer
…
coqprime
…
coquelicot
…
corn
…
dpdgraph
…
equations
…
fiat
…
flocq
…
gappalib
…
heq
…
HoTT
…
InfSeqExt
…
interval
…
iris
…
ltac2
coqPackages_8_10.ltac2: init at 0.3
2019-10-24 06:20:59 +00:00
math-classes
…
mathcomp
…
metalib
…
paco
coqPackages.paco: 1.2.8 -> 4.0.0
2019-11-08 09:41:30 +00:00
paramcoq
…
QuickChick
…
simple-io
…
ssreflect
…
stdpp
…
StructTact
…
tlc
…
Velisarios
…
Verdi
…
