| .. |
|
aac-tactics
|
coqPackages.aac-tactics: enable for Coq > 9.0
|
2026-03-31 16:54:16 +02:00 |
|
addition-chains
|
|
|
|
async-test
|
|
|
|
atbr
|
|
|
|
autosubst
|
|
|
|
autosubst-ocaml
|
|
|
|
bbv
|
|
|
|
bignums
|
|
|
|
CakeMLExtraction
|
coqPackages.CakeMLExtraction: init at 0.1.0
|
2026-03-19 00:34:15 +01:00 |
|
category-theory
|
|
|
|
ceres
|
rocqPackages.stdlib: 9.1.0 -> 9.2.0
|
2026-02-11 07:59:16 +01:00 |
|
ceres-bs
|
coqPackages.metarocq: 1.4.1 -> 1.5.1
|
2026-03-17 23:51:31 +01:00 |
|
CertiRocq
|
coqPackages.CertiRocq: init at 0.9.1
|
2026-03-18 22:10:13 +01:00 |
|
Cheerios
|
rocqPackages.stdlib: 9.1.0 -> 9.2.0
|
2026-02-11 07:59:16 +01:00 |
|
coinduction
|
|
|
|
CoLoR
|
rocqPackages.stdlib: 9.1.0 -> 9.2.0
|
2026-02-11 07:59:16 +01:00 |
|
compcert
|
coqPackages.compcert: fix ocamlPackages
|
2026-05-06 11:57:11 +02:00 |
|
ConCert
|
coqPackages.metarocq: 1.4.1 -> 1.5.1
|
2026-03-17 23:51:31 +01:00 |
|
contribs
|
|
|
|
coq-bits
|
|
|
|
coq-elpi
|
coqPackages.coq-elpi: use default elpi-version when not provided
|
2026-03-23 08:37:02 +01:00 |
|
coq-hammer
|
|
|
|
coq-haskell
|
|
|
|
coq-lsp
|
|
|
|
coq-matrix
|
|
|
|
coq-record-update
|
rocqPackages.stdlib: 9.1.0 -> 9.2.0
|
2026-02-11 07:59:16 +01:00 |
|
coq-tactical
|
|
|
|
coqeal
|
|
|
|
coqfmt
|
|
|
|
coqhammer
|
|
|
|
coqide
|
|
|
|
coqprime
|
coqPackages.coqprime: 8.18 → 8.20
|
2026-02-25 14:53:29 +01:00 |
|
coqtail-math
|
|
|
|
coquelicot
|
coqPackages.coquelicot: now depending on OCaml
|
2026-02-23 09:05:16 +01:00 |
|
coqutil
|
rocqPackages.stdlib: 9.1.0 -> 9.2.0
|
2026-02-11 07:59:16 +01:00 |
|
corn
|
|
|
|
deriving
|
|
|
|
dpdgraph
|
|
|
|
ElmExtraction
|
treewide: apply nixfmt 1.2.0
|
2026-01-22 18:37:56 -03:00 |
|
equations
|
|
|
|
ExtLib
|
coqPackages.ExtLib: 0.13.0 → 0.13.1
|
2026-03-30 07:50:38 +02:00 |
|
extructures
|
|
|
|
fcsl-pcm
|
|
|
|
flocq
|
coqPackages.flocq: 4.2.1 -> 4.2.2
|
2026-02-23 10:32:09 +01:00 |
|
fourcolor
|
|
|
|
gaia
|
|
|
|
gaia-hydras
|
|
|
|
gappalib
|
|
|
|
goedel
|
|
|
|
graph-theory
|
rocqPackages.mathcomp-algebra: master depends on micromega-plugin
|
2026-05-06 11:57:10 +02:00 |
|
heq
|
|
|
|
hierarchy-builder
|
|
|
|
high-school-geometry
|
|
|
|
HoTT
|
|
|
|
http
|
|
|
|
hydra-battles
|
|
|
|
InfSeqExt
|
rocqPackages.stdlib: 9.1.0 -> 9.2.0
|
2026-02-11 07:59:16 +01:00 |
|
interval
|
coqPackages.interval: guard version check
|
2026-05-05 13:25:51 +02:00 |
|
iris
|
rocqPackages.iris: init at 4.5.0
|
2026-03-10 16:42:16 +01:00 |
|
iris-named-props
|
|
|
|
itauto
|
|
|
|
ITree
|
|
|
|
itree-io
|
|
|
|
jasmin
|
rocqPackages.mathcomp-algebra: master depends on micromega-plugin
|
2026-05-06 11:57:10 +02:00 |
|
json
|
|
|
|
lemma-overloading
|
|
|
|
LibHyps
|
coqPackages.LibHyps: mark as compatible with Rocq 9.0
|
2026-02-03 13:48:17 +01:00 |
|
ltac2
|
|
|
|
math-classes
|
|
|
|
mathcomp
|
rocqPackages.mathcomp-algebra: master depends on micromega-plugin
|
2026-05-06 11:57:10 +02:00 |
|
mathcomp-abel
|
|
|
|
mathcomp-algebra-tactics
|
rocqPackages.mathcomp-algebra: master depends on micromega-plugin
|
2026-05-06 11:57:10 +02:00 |
|
mathcomp-analysis
|
rocqPackages.mathcomp-analysis: init at 1.16.0
|
2026-03-17 10:49:04 +01:00 |
|
mathcomp-apery
|
|
|
|
mathcomp-bigenough
|
rocqPackages.mathcomp-bigenough: init at 1.0.4
|
2026-02-19 09:05:09 +01:00 |
|
mathcomp-finmap
|
rocqPackages.mathcomp-finmap: init at 2.2.2
|
2026-02-19 09:05:23 +01:00 |
|
mathcomp-infotheo
|
rocqPackages.mathcomp-algebra: master depends on micromega-plugin
|
2026-05-06 11:57:10 +02:00 |
|
mathcomp-real-closed
|
|
|
|
mathcomp-tarjan
|
|
|
|
mathcomp-word
|
coqPackages.mathcomp-word: 3.3 → 3.4
|
2026-03-11 13:57:59 +01:00 |
|
mathcomp-zify
|
|
|
|
MenhirLib
|
ocamlPackages.menhir: 20250903 → 20260203
|
2026-02-16 16:52:19 +01:00 |
|
metacoq
|
|
|
|
metalib
|
|
|
|
metarocq
|
coqPackages.metarocq: 1.4.1 -> 1.5.1
|
2026-03-17 23:51:31 +01:00 |
|
mtac2
|
coqPackages.mtac2: enable for Coq 9.1
|
2026-03-31 17:07:08 +02:00 |
|
multinomials
|
|
|
|
odd-order
|
|
|
|
Ordinal
|
coqPackages.Ordinal: 0.5.4 -> 0.5.6
|
2026-04-24 08:42:53 +02:00 |
|
paco
|
rocqPackages.stdlib: 9.1.0 -> 9.2.0
|
2026-02-11 07:59:16 +01:00 |
|
paramcoq
|
coqPackages_9_0.paramcoq: init at 1.1.3+coq9.0
|
2026-02-03 13:55:05 +01:00 |
|
parsec
|
|
|
|
parseque
|
|
|
|
pocklington
|
|
|
|
QuickChick
|
|
|
|
reglang
|
|
|
|
relation-algebra
|
|
|
|
rewriter
|
coqPackages.rewriter: enable for Coq > 9.0
|
2026-03-31 16:54:26 +02:00 |
|
RustExtraction
|
|
|
|
semantics
|
|
|
|
serapi
|
|
|
|
simple-io
|
coqPackages.simple-io: 1.10.0 -> 1.11.0
|
2026-02-03 13:26:39 +01:00 |
|
smpl
|
|
|
|
smtcoq
|
|
|
|
ssprove
|
coqPackages.ssprove: 0.3.0 -> 0.3.1
|
2026-03-11 23:36:56 +01:00 |
|
stalmarck
|
|
|
|
stdlib
|
coqPackages: add coqWithPackages/coqWithPackages' functions
|
2026-01-13 23:43:00 -08:00 |
|
stdpp
|
rocqPackages.iris: init at 4.5.0
|
2026-03-10 16:42:16 +01:00 |
|
StructTact
|
rocqPackages.stdlib: 9.1.0 -> 9.2.0
|
2026-02-11 07:59:16 +01:00 |
|
tlc
|
|
|
|
topology
|
|
|
|
trakt
|
coqPackages.trakt: now uses dune
|
2026-05-09 10:14:16 +02:00 |
|
TypedExtraction
|
coqPackages.metarocq: 1.4.1 -> 1.5.1
|
2026-03-17 23:51:31 +01:00 |
|
unicoq
|
coqPackages.unicoq: enable for Coq ≥ 9.1
|
2026-03-31 17:06:53 +02:00 |
|
validsdp
|
|
|
|
vcfloat
|
|
|
|
Velisarios
|
|
|
|
Verdi
|
|
|
|
verified-extraction
|
coqPackages_9_1.verified-extraction: fix meta eval
|
2026-03-27 06:12:34 +00:00 |
|
Vpl
|
|
|
|
VplTactic
|
|
|
|
vscoq-language-server
|
coqPackages.vscoq-language-server: update URL of repository
|
2026-01-14 11:15:59 +01:00 |
|
VST
|
coqPackages.VST: 2.15 -> 2.16
|
2026-04-03 13:01:32 +02:00 |
|
wasmcert
|
coqPackages.wasmcert: 2.2.0 is compatible with 9.1
|
2026-02-22 23:05:01 +01:00 |
|
waterproof
|
|
|
|
zorns-lemma
|
|
|
