Cyril Cohen 9ff8c7fd8c coqPackages.hierarchy-builder: 1.3.0 -> 1.4.0		2022-09-29 14:46:20 +02:00
..
aac-tactics	coqPackages.aac-tactics: init at 8.16.0	2022-09-08 18:07:02 +02:00
addition-chains	coqPackages.addition-chains: enable for Coq 8.16	2022-09-08 18:07:00 +02:00
autosubst	coqPackages.autosubst: enable for Coq 8.16	2022-09-08 18:06:57 +02:00
bignums
category-theory
ceres
Cheerios
CoLoR
compcert
contribs
coq-bits	coqPackages.coq-bits: enable for Coq 8.16	2022-09-08 18:06:55 +02:00
coq-elpi	coqPackages.hierarchy-builder: 1.3.0 -> 1.4.0	2022-09-29 14:46:20 +02:00
coq-ext-lib
coq-haskell
coq-record-update
coqeal
coqhammer
coqide
coqprime
coqtail-math
coquelicot
corn	coqPackages.corn: 8.13.0 → 8.16.0	2022-09-19 13:05:52 +02:00
deriving
dpdgraph
equations	Support dev version of equations	2022-09-22 14:14:06 +02:00
extructures
fiat
flocq
fourcolor
gaia
gaia-hydras
gappalib	coqPackages.gappalib: 1.5.1 → 1.5.2	2022-09-10 14:29:01 +02:00
goedel
graph-theory
heq
hierarchy-builder	coqPackages.hierarchy-builder: 1.3.0 -> 1.4.0	2022-09-29 14:46:20 +02:00
HoTT
hydra-battles
InfSeqExt
interval	coqPackages.interval: 4.5.1 → 4.5.2	2022-09-18 16:12:19 +02:00
iris
itauto
ITree
LibHyps
ltac2
math-classes
mathcomp
mathcomp-abel
mathcomp-analysis	Split coqPackages.mathcomp-analysis	2022-09-26 09:46:37 +02:00
mathcomp-bigenough
mathcomp-finmap
mathcomp-real-closed
mathcomp-tarjan
mathcomp-word
mathcomp-zify
metacoq	Add metacoq 1.1 release	2022-09-27 11:08:04 +02:00
metalib
multinomials
odd-order
paco
paramcoq
parsec
pocklington
QuickChick	coqPackages.QuickChick: 1.6.2 → 1.6.4	2022-09-20 04:26:37 +02:00
reglang
relation-algebra
semantics
serapi	coqPackages.serapi: init at 8.16.0+0.16.0 for Coq 8.16	2022-09-25 18:17:15 +02:00
simple-io
smpl
smtcoq
stdpp
StructTact
tlc
topology
trakt
Velisarios
Verdi	coqPackages.Verdi: enable for Coq 8.16	2022-09-08 18:07:09 +02:00
VST
zorns-lemma