| .. |
|
aac-tactics
|
treewide: remove unused with
|
2025-10-05 10:50:41 +02:00 |
|
addition-chains
|
|
|
|
async-test
|
treewide: strip trailing punctuation from description strings
|
2025-07-22 19:09:42 +00:00 |
|
atbr
|
|
|
|
autosubst
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
autosubst-ocaml
|
coqPackages.autosubst-ocaml: 1.1+8.20 -> 1.1+9.0
|
2025-09-19 00:26:15 -04:00 |
|
bbv
|
treewide: conform descriptions to the standards
|
2025-07-22 22:07:20 +00:00 |
|
bignums
|
coqPackages: fix Rocq shim for Coq >= 9
|
2025-07-17 15:59:09 +02:00 |
|
category-theory
|
|
|
|
ceres
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
Cheerios
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
coinduction
|
treewide: conform descriptions to the standards
|
2025-07-28 04:39:00 +00:00 |
|
CoLoR
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
compcert
|
compcert: enable for Coq 9.0.1
|
2025-09-29 13:45:41 +02:00 |
|
contribs
|
|
|
|
coq-bits
|
|
|
|
coq-elpi
|
coqPackages: fix Rocq shim for Coq >= 9
|
2025-07-17 15:59:09 +02:00 |
|
coq-hammer
|
coqPackages.coq-hammer: enable for Coq 9.0
|
2025-10-08 13:22:47 +02:00 |
|
coq-haskell
|
|
|
|
coq-lsp
|
coqPackages.coq-lsp: 0.2.3 → 0.2.4
|
2025-09-23 11:58:58 +02:00 |
|
coq-matrix
|
|
|
|
coq-record-update
|
coqPackages.coq-record-update: 0.3.5 -> 0.3.6
|
2025-09-08 16:36:31 +02:00 |
|
coq-tactical
|
|
|
|
coqeal
|
coqPackages.coqeal: 2.1.0 -> 2.1.1
|
2025-10-09 16:41:06 +02:00 |
|
coqfmt
|
treewide: conform descriptions to the standards
|
2025-07-22 22:07:20 +00:00 |
|
coqhammer
|
treewide: remove unused with
|
2025-10-05 10:50:41 +02:00 |
|
coqide
|
|
|
|
coqprime
|
|
|
|
coqtail-math
|
|
|
|
coquelicot
|
coqPackages.*: more 9.0 -> 9.1
|
2025-07-09 15:02:00 +02:00 |
|
coqutil
|
coqPackages.coqutil: 0.0.6 -> 0.0.7
|
2025-10-07 21:18:35 +02:00 |
|
corn
|
|
|
|
deriving
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
dpdgraph
|
coqPackages.dpdgraph: 1.0+8.20 -> 1.0+9.0
|
2025-09-03 11:26:09 +02:00 |
|
ElmExtraction
|
treewide: conform descriptions to the standards
|
2025-07-28 04:39:00 +00:00 |
|
equations
|
coqPackages_9_1.equations: init at 1.3.1+9.1
|
2025-11-06 05:20:15 +01:00 |
|
ExtLib
|
treewide: remove redundant parentheses
|
2025-10-05 10:52:03 +02:00 |
|
extructures
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
fcsl-pcm
|
coqPackages.*: more 9.0 -> 9.1
|
2025-07-09 15:02:00 +02:00 |
|
flocq
|
coqPackages.*: more 9.0 -> 9.1
|
2025-07-09 15:02:00 +02:00 |
|
fourcolor
|
coqPackages.*: fix formatting fix
|
2025-06-30 13:33:02 +02:00 |
|
gaia
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
gaia-hydras
|
|
|
|
gappalib
|
|
|
|
goedel
|
|
|
|
graph-theory
|
coqPackages.*: fix formatting fix
|
2025-06-30 13:33:02 +02:00 |
|
heq
|
|
|
|
hierarchy-builder
|
coqPackages: fix Rocq shim for Coq >= 9
|
2025-07-17 15:59:09 +02:00 |
|
high-school-geometry
|
|
|
|
HoTT
|
coqPackages.HoTT: 8.20 -> 9.0
|
2025-05-15 10:09:38 +02:00 |
|
http
|
coqPackages.*: better formatting fix
|
2025-06-30 10:10:31 +02:00 |
|
hydra-battles
|
treewide: run nixfmt 1.0.0
|
2025-07-24 13:55:40 +02:00 |
|
InfSeqExt
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
interval
|
coqPackages.interval: 4.11.2 -> 4.11.3
|
2025-08-04 10:36:46 +02:00 |
|
iris
|
coqPackages.iris: 4.3.0 -> 4.4.0
|
2025-08-29 11:00:54 +02:00 |
|
iris-named-props
|
|
|
|
itauto
|
coqPackages.*: better formatting fix
|
2025-06-30 10:10:31 +02:00 |
|
ITree
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
itree-io
|
treewide: strip trailing punctuation from description strings
|
2025-07-22 19:09:42 +00:00 |
|
jasmin
|
coqPackages.jasmin: 2025.02.0 → 2025.06.1
|
2025-09-16 21:42:08 +02:00 |
|
json
|
treewide: strip trailing punctuation from description strings
|
2025-07-22 19:09:42 +00:00 |
|
lemma-overloading
|
|
|
|
LibHyps
|
|
|
|
ltac2
|
treewide: remove unused with
|
2025-10-05 10:50:41 +02:00 |
|
math-classes
|
|
|
|
mathcomp
|
treewide: run nixfmt 1.0.0
|
2025-07-24 13:55:40 +02:00 |
|
mathcomp-abel
|
coqPackages.*: fix formatting fix
|
2025-06-30 13:33:02 +02:00 |
|
mathcomp-algebra-tactics
|
rocqPackages.rocq-elpi: 3.0.0 -> 3.1.0
|
2025-09-08 07:00:31 +02:00 |
|
mathcomp-analysis
|
treewide: remove redundant parentheses
|
2025-10-05 10:52:03 +02:00 |
|
mathcomp-apery
|
coqPackages.*: fix formatting fix
|
2025-06-30 13:33:02 +02:00 |
|
mathcomp-bigenough
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
mathcomp-finmap
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
mathcomp-infotheo
|
coqPackages.mathcomp-analysis: 1.11.0 -> 1.12.0
|
2025-07-08 08:35:30 +02:00 |
|
mathcomp-real-closed
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
mathcomp-tarjan
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
mathcomp-word
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
mathcomp-zify
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
MenhirLib
|
ocamlPackages.menhir: 20240715 → 20250903
|
2025-09-09 20:49:44 +02:00 |
|
metacoq
|
rocq-core: 9.0.0 -> 9.0.1
|
2025-11-03 12:55:11 +01:00 |
|
metalib
|
|
|
|
metarocq
|
coqPackages.metarocq: 1.'-9.0 -> 1.4-9.1
|
2025-11-06 12:47:29 +01:00 |
|
mtac2
|
|
|
|
multinomials
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
odd-order
|
coqPackages.*: fix formatting fix
|
2025-06-30 13:33:02 +02:00 |
|
Ordinal
|
|
|
|
paco
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
paramcoq
|
|
|
|
parsec
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
parseque
|
coqPackages: fix Rocq shim for Coq >= 9
|
2025-07-17 15:59:09 +02:00 |
|
pocklington
|
|
|
|
QuickChick
|
coqPackages.QuickChick: 2.0.4 -> 2.1.1
|
2025-10-28 12:54:54 -04:00 |
|
reglang
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
relation-algebra
|
coqPackages.*: better formatting fix
|
2025-06-30 10:10:31 +02:00 |
|
rewriter
|
|
|
|
RustExtraction
|
treewide: conform descriptions to the standards
|
2025-07-28 04:39:00 +00:00 |
|
semantics
|
|
|
|
serapi
|
|
|
|
simple-io
|
treewide: run nixfmt 1.0.0
|
2025-07-24 13:55:40 +02:00 |
|
smpl
|
|
|
|
smtcoq
|
treewide: run nixfmt 1.0.0
|
2025-07-24 13:55:40 +02:00 |
|
ssprove
|
coqPackages.*: fix formatting fix
|
2025-06-30 13:33:02 +02:00 |
|
stalmarck
|
coqPackages.*: better formatting fix
|
2025-06-30 10:10:31 +02:00 |
|
stdlib
|
coqPackages: fix Rocq shim for Coq >= 9
|
2025-07-17 15:59:09 +02:00 |
|
stdpp
|
coqPackages.stdpp : 1.11.0 -> 1.12.0
|
2025-08-29 11:00:54 +02:00 |
|
StructTact
|
coqPackages.*: 9.0 -> 9.1
|
2025-07-09 07:27:19 +02:00 |
|
tlc
|
|
|
|
topology
|
|
|
|
trakt
|
coqPackages.trakt: add stdlib dependency
|
2025-07-17 15:59:09 +02:00 |
|
unicoq
|
treewide: conform descriptions to the standards
|
2025-07-28 04:39:00 +00:00 |
|
validsdp
|
treewide: remove redundant parentheses
|
2025-10-05 10:52:03 +02:00 |
|
vcfloat
|
|
|
|
Velisarios
|
|
|
|
Verdi
|
|
|
|
Vpl
|
|
|
|
VplTactic
|
|
|
|
vscoq-language-server
|
treewide: remove redundant parentheses
|
2025-10-05 10:52:03 +02:00 |
|
VST
|
treewide: run nixfmt 1.0.0
|
2025-07-24 13:55:40 +02:00 |
|
wasmcert
|
wasmcert 2.2.0 is compatible with 9.0
|
2025-11-01 02:16:49 +01:00 |
|
waterproof
|
|
|
|
zorns-lemma
|
|
|
