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
Vincent Laporte
6c3324e245
coqPackages.flocq: 3.3.1 → 3.4.2
2021-09-24 21:39:00 +02:00
..
aac-tactics
…
addition-chains
…
autosubst
…
bignums
…
category-theory
…
ceres
coqPackages.ceres: init at 0.4.0
2021-09-15 14:23:46 +02:00
Cheerios
…
CoLoR
…
compcert
…
contribs
…
coq-bits
…
coq-elpi
…
coq-ext-lib
…
coq-haskell
…
coqeal
…
coqhammer
…
coqprime
…
coqtail-math
…
coquelicot
…
corn
…
dpdgraph
…
equations
…
fiat
…
flocq
coqPackages.flocq: 3.3.1 → 3.4.2
2021-09-24 21:39:00 +02:00
fourcolor
…
gaia
…
gappalib
…
goedel
…
graph-theory
…
heq
…
hierarchy-builder
…
HoTT
…
hydra-battles
…
InfSeqExt
…
interval
…
iris
…
itauto
…
ITree
…
ltac2
…
math-classes
…
mathcomp
…
mathcomp-abel
…
mathcomp-analysis
…
mathcomp-bigenough
…
mathcomp-finmap
…
mathcomp-real-closed
…
mathcomp-zify
…
metalib
…
multinomials
coqPackages.mkCoqDerivation: rely on namePrefix to compute default opam-name
2021-09-20 11:10:23 +02:00
odd-order
…
paco
…
paramcoq
…
parsec
coqPackages.parsec: init at 0.1.0
2021-09-15 14:23:46 +02:00
pocklington
…
QuickChick
…
reglang
…
relation-algebra
…
semantics
…
serapi
…
simple-io
…
stdpp
…
StructTact
…
tlc
…
topology
…
Velisarios
…
Verdi
…
VST
…
zorns-lemma
…
