3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/development/coq-modules
2021-12-03 12:54:58 +01:00
..
aac-tactics
addition-chains coqPackages.addition-chains: 0.4 -> 0.5 2021-10-18 11:41:25 +02:00
autosubst
bignums
category-theory
ceres
Cheerios
CoLoR
compcert compcert: fix for Coq 8.14.1 2021-12-01 15:43:53 +01:00
contribs
coq-bits coq-bits: 1.0.0 -> 1.1.0 2021-11-16 13:43:32 -08:00
coq-elpi coqPackages.coq-elpi: 1.10 -> 1.11 2021-10-27 13:19:57 +02:00
coq-ext-lib
coq-haskell
coq-record-update coqPackages.coq-record-update: init 2021-11-25 17:20:16 +00:00
coqeal coqPackages.coqeal: 1.0.6 -> 1.1.0 2021-11-05 14:37:53 +01:00
coqhammer coqPackages.coqhammer: 1.3.1 → 1.3.2 2021-11-29 10:33:36 +01:00
coqprime coqPackages.coqprime: 8.12 → 8.14.1 2021-12-02 13:16:44 +01:00
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 coqPackages.equations: 1.2.4 → 1.3 (for Coq 8.13) 2021-12-03 12:54:58 +01:00
extructures coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
fiat
flocq
fourcolor
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
goedel
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
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
paramcoq coqPackages.paramcoq: 1.1.2 → 1.1.3 (for Coq 8.10–8.12) 2021-10-21 13:29:12 +02:00
parsec
pocklington
QuickChick
reglang
relation-algebra
semantics
serapi coqPackages.serapi: remove with Coq 8.14 2021-12-01 13:46:15 +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
tlc
topology
Velisarios
Verdi
VST
zorns-lemma coqPackages.zorns-lemma: fix build of versions pre-9.0 2021-10-18 12:01:37 +02:00