pkgs/development/rocq-modules · nixpkgs · Tangled

Nix Packages collection & NixOS github.com/NixOS/nixpkgs

nixpkgs pkgs development rocq-modules

133 folders

Vincent Laporte · rocqPackages.coqprime: support Rocq 9.2 (#578077) · 2w ago

rocqPackages.actris: init at 4.5.0

addition-chains

autosubst-ocaml

CakeMLExtraction

category-theory

rocqPackages.wasmcert: release 2.2.1

compcert: 3.17 → 3.18

coq-record-update

rocqPackages.coqprime: support Rocq 9.2

rocqPackages.coquelicot: 3.4.4 -> 3.4.5

rocqPackages.deriving: enable for Rocq 9.2

rocqPackages.equations: 1.3.2+9.2 -> 1.3.2+9.3

rocqPackages.ExtLib: 0.13.1 → 0.13.2

rocqPackages.extructures: 0.5.0 -> 0.6.0

rocqPackages.flocq: master no longer requires coq compat binaries

hierarchy-builder

high-school-geometry

rocqPackages.interval: 4.11.3 -> 4.11.5

rocqPackages.iris: use github mirror

iris-named-props

rocqPackages.jasmin: 2026.03.3 → 2026.09.0

rocqPackages.json: support Rocq 9.2

lemma-overloading

treewide: stop using lua, lua5 and luaPackages

mathcomp-algebra-tactics

mathcomp-analysis

rocqPackages.mathcomp-analysis: 1.16.0 -> 1.18.0

mathcomp-bigenough

mathcomp-finmap

mathcomp-infotheo

rocqPackages.mathcomp-infotheo: 0.9.7 -> 0.9.8

mathcomp-real-closed

mathcomp-tarjan

rocqPackages.mathcomp-zify: fix dependencies

micromega-plugin

rocqPackages.parsec: support Rocq 9.2

relation-algebra

ocamlPackages.elpi: 3.7.1 -> 3.8.0

rocqide: init at 9.1.1

rocqide-server: init at 9.1.1

rocqPackages.rocqnavi: switch build to dune

rocqPackages.ssprove: 0.3.1 -> 0.3.2

rocqPackages.iris: use github mirror

TypedExtraction

verified-extraction

vscoq-language-server

ocamlPackages.{vscoq,vsrocq}-language-server: use yojson 3.0.0

vsrocq-language-server

ocamlPackages.{vscoq,vsrocq}-language-server: use yojson 3.0.0

rocqPackages.VST: build the `vst` target (#568683)

rocqPackages.CertiRocq: fix wasmcert dependency version