pkgs/development/rocq-modules/
pkgs/development/ · 1 packages and modules · 9 open pull requests
Busy below
vsrocq-language-server 2 · HoTT 1 · QuickChick 1 · jasmin 1 · mathcomp-finmap 1 · metarocq 1 · rocqnavi 1 · unicoq 1
Packages and modules 1
Pull requests 9
rocqPackages.vsrocq-language-server: 2.4.3 -> 2.5.0
#573940 by Zimmi48 · opened 2d ago
rocqPackages.jasmin: 2026.03.3 → 2026.09.0
#573932 by vbgl · opened 2d ago · checks pass
rocqPackages.metarocq: fix withPackages
#570057 by siraben · opened 13d ago · checks pass
rocqPackages.vsrocq-language-server: 2.4.3 -> 2.5.0
#562999 by i-love-lean · opened 4w ago · checks pass
coqPackages.rocqnavi: 0.5.0 -> 0.5.1
#554033 by r-ryantm · opened 8w ago
rocqPackages.unicoq: init at 1.6-9.1
#548967 by MysaaJava · opened 2mo ago
rocqPackages.HoTT: init at 9.1
#535181 by proux01 · opened 3mo ago · checks fail
coqPackages.mathcomp-finmap: 2.2.2 -> 2.2.3
#495061 by r-ryantm · opened 7mo ago · checks pass
Closed or merged in the synced window 28
fix: :bug: Rocqnavi: switch build to dune
#573861 by yoshihiro503 · merged 2d ago
rocqPackages.CertiRocq fix dependency
#573561 by womeier · merged 2d ago
rocqPackages.wasmcert: release 2.2.1
#573363 by womeier · merged 3d ago
rocqPackages.extructures: 0.5.0 -> 0.6.0
#573253 by arthuraa · merged 4d ago
rocqPackages.actris: new package
#571049 by chandradeepdey · merged 3d ago
rocqPackages.ExtLib: 0.13.1 → 0.13.2
#569438 by vbgl · merged 12d ago
compcert: 3.17 → 3.18; rocqPackages.VST: 2.16 → 2.17
#568956 by vbgl · merged 2w ago
rocqPackages.VST: build the `vst` target
#568683 by arthuraa · merged 4d ago
rocqPackages.jasmin: 2026.03.1 → 2026.03.3
#567832 by vbgl · merged 2w ago
rocqPackages.iris: use github mirror
#566768 by proux01 · merged 3w ago
rocqPackages.deriving: enable for Rocq 9.2
#566692 by arthuraa · merged 2w ago
rocqPackages.flocq: now compiles without coq compat binaries
#566496 by proux01 · merged 3w ago
Interval4115
#565448 by proux01 · merged 3w ago
ocamlPackages.elpi: 3.7.1 -> 3.8.0
#564487 by proux01 · merged 3w ago
rocqPackages.{json,parsec}: support Rocq 9.2
#562998 by i-love-lean · merged 3d ago
rocqPackages.equations: 1.3.2+9.2 -> 1.3.2+9.3
#562191 by proux01 · merged 5w ago
rocqPackages.mathcomp-analysis: 1.16.0 -> 1.18.0
#559406 by proux01 · merged 6w ago
rocqPackages.coquelicot: 3.4.4 -> 3.4.5
#557263 by proux01 · merged 7w ago
coqPackages.hierarchy-builder: fix old versions
#556950 by vbgl · merged 6w ago
rocqPackages.relation-algebra: 1.8.0 → 1.9.0
#556748 by vbgl · merged 7w ago
rocqPackages.math-classes: init at 9.2.0 for Coq ≥ 9.0
#556417 by vbgl · merged 7w ago
rocqPackages.{mathcomp-word,ITree}: enable for recent versions of Rocq
#556108 by vbgl · merged 7w ago
rocqPackages: a few more use of mkRocqDerivation
#554683 by proux01 · merged 8w ago
rocqide & rocqide-server packages
#544993 by HugoMartel · merged 21h ago
rocqPackages.rocqnavi: 0.5.0 -> 0.5.1
#542161 by r-ryantm · closed 5w ago
Merge coq-modules and rocq-modules derivations
#541797 by Zimmi48 · merged 8w ago
ocamlPackages.linol: fix compatibility with yojson 3.0.0
#535238 by OlivierNicole · merged 3w ago
rocqPackages.mathcomp-finmap: 2.2.2 -> 2.2.3
#514161 by r-ryantm · closed 5w ago
Issues 0
None open.