nixpkgs/pkgs/development/rocq-modules/ at staging-next · tjh.dev/nixpkgs

tjh.dev / nixpkgs

Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)

nixpkgs / pkgs / development / rocq-modules /

at staging-next 5 folders

rocq-core_9_1: init at 9.1+rc1

7 months ago

hierarchy-builder

ocamlPackages.elpi: 2.0.7 -> 3.0.1

7 months ago

rocqPackages.parseque: enable for Rocq 9.1

5 months ago

coqPackages.rocq-elpi: 3.1.0 -> 3.2.0

4 months ago

treewide: conform descriptions to the standards

7 months ago