nixpkgs/pkgs/development/rocq-modules/ at 41ce478b1052bb5f9107062a2acfc88328c3e9f0 · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / rocq-modules /

at 41ce478b1052bb5f9107062a2acfc88328c3e9f0 5 folders

rocq-core_9_1: init at 9.1+rc1

5 months ago

hierarchy-builder

ocamlPackages.elpi: 2.0.7 -> 3.0.1

5 months ago

rocqPackages.parseque: enable for Rocq 9.1

3 months ago

rocqPackages.rocq-elpi: 3.0.0 -> 3.1.0

3 months ago

treewide: conform descriptions to the standards

5 months ago