This website requires JavaScript.
Explore
Help
Sign In
talexander
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Releases
Activity
nixpkgs
/
pkgs
/
development
/
coq-modules
History
Matthew Bauer
0421891aaa
Merge pull request
#47589
from vbgl/coq-coqprime-init
...
coqPackages.coqprime: init at 8.7.2 & 8.8
2018-10-05 22:33:15 -05:00
..
autosubst
…
bignums
…
category-theory
…
CoLoR
…
contribs
…
coq-ext-lib
…
coq-haskell
…
coqprime
…
coquelicot
…
dpdgraph
…
equations
…
fiat
…
flocq
…
heq
…
HoTT
…
interval
…
iris
…
math-classes
…
mathcomp
…
metalib
…
multinomials
…
paco
…
QuickChick
…
ssreflect
…
stdpp
…
tlc
…
