nixpkgs/pkgs/development/rocq-modules/ at haskell-updates · tjh.dev/nixpkgs · tangled

tjh.dev / nixpkgs

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

nixpkgs / pkgs / development / rocq-modules /

at haskell-updates 5 folders

rocq-core_9_1: init at 9.1+rc1

6 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

coqPackages.rocq-elpi: 3.1.0 -> 3.2.0

3 months ago

treewide: conform descriptions to the standards

5 months ago