Vincent Laporte 10b2632716 coqPackages.simple-io: 1.3.0 → 1.7.0		2022-04-29 20:59:11 +02:00
..
aac-tactics	coqPackages.aac-tactics: 8.13.2, 8.14.1, 8.15.1	2022-04-04 11:21:01 +02:00
addition-chains
autosubst
bignums
category-theory
ceres
Cheerios
CoLoR	coqPackages.CoLoR: 1.8.1 → 1.8.2	2022-04-12 18:57:15 +02:00
compcert
contribs
coq-bits
coq-elpi
coq-ext-lib
coq-haskell
coq-record-update
coqeal
coqhammer
coqprime	coqPackages.coqprime: 8.14.1 → 8.15	2022-04-04 17:08:31 +02:00
coqtail-math	coqPackages.coqtail-math: 20201124 → 8.14	2022-04-27 19:15:35 +02:00
coquelicot
corn
deriving
dpdgraph
equations
extructures
fiat
flocq
fourcolor
gaia
gaia-hydras
gappalib	coqPackages.gappalib: 1.5.0 → 1.5.1	2022-04-11 21:07:00 +02:00
goedel
graph-theory
heq
hierarchy-builder
HoTT
hydra-battles
InfSeqExt
interval
iris
itauto
ITree
LibHyps
ltac2
math-classes
mathcomp
mathcomp-abel
mathcomp-analysis
mathcomp-bigenough
mathcomp-finmap
mathcomp-real-closed
mathcomp-tarjan
mathcomp-word	coqPackages.mathcomp-word: 1.0 → 1.1	2022-04-26 13:11:29 +02:00
mathcomp-zify
metalib	coqPackages.metalib: clean & init at 8.15	2022-04-27 11:36:20 +02:00
multinomials
odd-order
paco
paramcoq
parsec	coqPackages.parsec: 0.1.0 → 0.1.1	2022-04-29 07:11:26 +02:00
pocklington
QuickChick
reglang
relation-algebra	coqPackages.relation-algebra: 1.7.6, 1.7.7	2022-04-04 11:24:27 +02:00
semantics
serapi
simple-io	coqPackages.simple-io: 1.3.0 → 1.7.0	2022-04-29 20:59:11 +02:00
smpl
smtcoq	coqPackages.smtcoq: init at itp22	2022-04-13 19:38:01 -05:00
stdpp
StructTact
tlc	coqPackages.tlc: 20210316 → 20211215	2022-04-28 20:56:01 +02:00
topology
trakt	coqPackages.trakt: init at 1.0	2022-04-13 19:38:00 -05:00
Velisarios
Verdi	coqPackages.Verdi: 20210524 → 20211026	2022-04-19 21:35:05 +02:00
VST	coqPackages.VST: fix build with Coq 8.15.1	2022-03-24 10:17:42 +01:00
zorns-lemma