Vincent Laporte e54bfd3ed3 coqPackages.coq-record-update: 0.3.0 → 0.3.1		2022-08-18 10:50:56 +02:00
..
aac-tactics
addition-chains
autosubst
bignums
category-theory
ceres
Cheerios
CoLoR
compcert	coqPackages.flocq: 3.4.3 → 4.1.0	2022-07-19 06:52:13 +02:00
contribs
coq-bits
coq-elpi	coqPackages.coq-elpi 1.14.0 -> 1.15.1	2022-07-19 13:03:25 +02:00
coq-ext-lib	coqPackages.coq-ext-lib: 0.11.6 → 0.11.7	2022-08-17 14:44:05 +02:00
coq-haskell
coq-record-update	coqPackages.coq-record-update: 0.3.0 → 0.3.1	2022-08-18 10:50:56 +02:00
coqeal
coqhammer
coqide
coqprime
coqtail-math
coquelicot
corn
deriving
dpdgraph	coqPackages_8_16.dpdgraph: init at 1.0+8.16	2022-07-28 09:00:29 +02:00
equations	coqPackages_8_16.equations: init at 1.3+8.16	2022-07-25 16:28:59 +02:00
extructures
fiat
flocq	coqPackages.flocq: 3.4.3 → 4.1.0	2022-07-19 06:52:13 +02:00
fourcolor	coqPackages.fourcolor: 1.2.4 → 1.2.5	2022-07-17 21:04:43 +02:00
gaia	coqPackages.gaia: 1.13 → 1.14	2022-07-16 14:06:14 +02:00
gaia-hydras
gappalib
goedel
graph-theory
heq
hierarchy-builder	coqPackages.hierarchy-builder: enable for Coq 8.16	2022-07-26 16:32:49 +02:00
HoTT
hydra-battles	coqPackages.hydra-battles: enable for Coq 8.16	2022-07-25 16:28:59 +02:00
InfSeqExt
interval
iris
itauto
ITree
LibHyps
ltac2
math-classes
mathcomp
mathcomp-abel	coqPackages.mathcomp-abel: 1.2.0 → 1.2.1	2022-07-26 16:32:49 +02:00
mathcomp-analysis
mathcomp-bigenough
mathcomp-finmap	coqPackages.mathcomp-finmap: 1.5.1 → 1.5.2	2022-07-17 08:06:19 +02:00
mathcomp-real-closed
mathcomp-tarjan
mathcomp-word
mathcomp-zify
metacoq	first release of Metacoq	2022-07-20 16:52:11 +02:00
metalib
multinomials
odd-order
paco
paramcoq
parsec
pocklington
QuickChick
reglang
relation-algebra
semantics
serapi	Fix coqPackages.serapi version 8.15 for ocamlPackages.janeStreet version 0.15	2022-07-20 06:56:35 +02:00
simple-io
smpl
smtcoq	coqPackages_8_13.smtcoq: build cvc4 with gcc10	2022-08-02 21:50:58 +02:00
stdpp
StructTact
tlc
topology
trakt
Velisarios
Verdi
VST	coqPackages.flocq: 3.4.3 → 4.1.0	2022-07-19 06:52:13 +02:00
zorns-lemma