Théo Zimmermann 51d92e5c6e coqPackages_8_15.paramcoq: init at 1.1.3+coq8.15		2022-01-27 08:49:00 +01:00
..
aac-tactics
addition-chains
autosubst
bignums
category-theory
ceres
Cheerios
CoLoR
compcert
contribs
coq-bits
coq-elpi
coq-ext-lib	coqPackages.coq-ext-lib: 0.11.4 -> 0.11.6	2022-01-25 15:24:08 +01:00
coq-haskell
coq-record-update	coqPackages.coq-record-update: mark as compatible with Coq 8.15	2022-01-25 15:24:08 +01:00
coqeal
coqhammer
coqprime
coqtail-math
coquelicot
corn	coqPackages.corn: mark as compatible with Coq 8.15	2022-01-25 12:59:07 +01:00
deriving	coqPackages.deriving: mark as compatible with Coq 8.15	2022-01-25 15:24:08 +01:00
dpdgraph
equations	coqPackages_8_15.equations: init at 1.3+8.15	2022-01-25 15:24:08 +01:00
extructures
fiat
flocq
fourcolor
gaia	coqPackages.gaia: mark as compatible with Coq 8.15	2022-01-27 08:49:00 +01:00
gaia-hydras
gappalib
goedel
graph-theory
heq
hierarchy-builder
HoTT
hydra-battles
InfSeqExt
interval
iris
itauto
ITree
ltac2
math-classes
mathcomp
mathcomp-abel
mathcomp-analysis
mathcomp-bigenough
mathcomp-finmap
mathcomp-real-closed
mathcomp-tarjan
mathcomp-word
mathcomp-zify	coqPackages.mathcomp-zify: mark as compatible with Coq 8.15	2022-01-27 08:49:00 +01:00
metalib
multinomials
odd-order
paco
paramcoq	coqPackages_8_15.paramcoq: init at 1.1.3+coq8.15	2022-01-27 08:49:00 +01:00
parsec
pocklington
QuickChick
reglang	coqPackages.reglang: mark as compatible with Coq 8.15	2022-01-25 15:24:08 +01:00
relation-algebra
semantics
serapi	coqPackages_8_15.serapi: init at 8.15.0+0.15.0	2022-01-27 08:11:31 +01:00
simple-io
smpl
stdpp
StructTact
tlc
topology
Velisarios
Verdi
VST
zorns-lemma