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

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / rocq-modules /

at master 5 folders

rocq-core_9_1: init at 9.1+rc1

5 months ago

hierarchy-builder

ocamlPackages.elpi: 2.0.7 -> 3.0.1

4 months ago

rocqPackages.parseque: enable for Rocq 9.1

2 months ago

rocqPackages.rocq-elpi: 3.0.0 -> 3.1.0

3 months ago

treewide: conform descriptions to the standards

4 months ago