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
736db6273b4a9b5a9ce462c80e9bb8537e9a39a9
nixpkgs
/
pkgs
/
development
/
coq-modules
History
Vincent Laporte
423dd60f07
coqPackages.paco: 4.0.0 → 4.0.2
2020-10-12 09:41:45 +02:00
..
autosubst
…
bignums
…
category-theory
…
Cheerios
…
CoLoR
…
contribs
…
coq-bits
…
coq-elpi
…
coq-ext-lib
…
coq-haskell
…
coqhammer
…
coqprime
…
coquelicot
…
corn
…
dpdgraph
…
equations
…
fiat
…
flocq
…
gappalib
…
heq
…
hierarchy-builder
…
HoTT
…
InfSeqExt
…
interval
…
iris
…
ltac2
…
math-classes
…
mathcomp
…
metalib
…
paco
coqPackages.paco: 4.0.0 → 4.0.2
2020-10-12 09:41:45 +02:00
paramcoq
…
QuickChick
…
simple-io
…
stdpp
…
StructTact
…
tlc
…
Velisarios
…
Verdi
…
VST
…
