nixpkgs/pkgs/development/coq-modules
2021-11-15 19:49:58 -06:00
..
aac-tactics coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
addition-chains coqPackages.addition-chains: 0.4 -> 0.5 2021-10-18 11:41:25 +02:00
autosubst
bignums coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
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 coqPackages.coq-elpi: 1.10 -> 1.11 2021-10-27 13:19:57 +02:00
coq-ext-lib coqPackages.coq-ext-lib: 0.11.3 → 0.11.4 2021-10-04 20:33:53 +02:00
coq-haskell
coqeal coqPackages.coqeal: 1.0.6 -> 1.1.0 2021-11-05 14:37:53 +01:00
coqhammer
coqprime
coqtail-math
coquelicot
corn
deriving coqPackages.deriving: init at 0.1.0 2021-10-21 10:03:03 +02:00
dpdgraph coqPackages.dpdgraph: 0.6.9 → 1.0 2021-10-31 07:06:14 +01:00
equations coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
extructures coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
fiat
flocq coqPackages.flocq: 3.3.1 → 3.4.2 2021-09-24 21:39:00 +02:00
fourcolor coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
gaia coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
gaia-hydras coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
gappalib coqPackages.gappalib: 1.4.5 → 1.5.0 2021-10-03 21:57:48 +02:00
goedel coqPackages.goedel: 8.12.0 -> 8.13.0 2021-10-15 21:04:46 +02:00
graph-theory coqPackages.graph-theory: enable for Coq 8.14 2021-11-13 13:17:20 +01:00
heq
hierarchy-builder coqPackages.hierarchy-builder: etc 2021-10-30 05:30:44 +02:00
HoTT
hydra-battles coqPackages.hydra-battles: 0.4 -> 0.5 2021-10-18 11:42:02 +02:00
InfSeqExt
interval
iris iris: 3.4.0 -> 3.5.0; stdpp: 1.5.0 -> 1.6.0 2021-11-14 15:26:37 +01:00
itauto coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
ITree
ltac2
math-classes
mathcomp coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
mathcomp-abel coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
mathcomp-analysis coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
mathcomp-bigenough
mathcomp-finmap coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
mathcomp-real-closed coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
mathcomp-tarjan coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
mathcomp-zify coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
metalib
multinomials coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
odd-order coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
paco coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
paramcoq coqPackages.paramcoq: 1.1.2 → 1.1.3 (for Coq 8.10–8.12) 2021-10-21 13:29:12 +02:00
parsec coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
pocklington
QuickChick
reglang coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
relation-algebra coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
semantics coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
serapi treewide: quote urls according to rfc 0045 (#145260) 2021-11-10 11:37:56 +01:00
simple-io
smpl coqPackages.smpl: init 2021-11-12 22:22:35 -06:00
stdpp iris: 3.4.0 -> 3.5.0; stdpp: 1.5.0 -> 1.6.0 2021-11-14 15:26:37 +01:00
StructTact coqPackages.StructTact: 20181102 → 20210328 2021-10-05 07:38:05 +02:00
tlc
topology
Velisarios
Verdi coqPackages.Verdi: 20200131 → 20210524 2021-10-05 07:38:05 +02:00
VST
zorns-lemma coqPackages.zorns-lemma: fix build of versions pre-9.0 2021-10-18 12:01:37 +02:00