pkgs/development/rocq-modules · nixpkgs · Tangled

Sign in Join now

nixpkgs lukegb.dev /

Star Starred Star

Something went wrong. Try again.

Watch Watching Watch

What happens if I push all of nixpkgs

Star Starred Star

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

nixpkgs /pkgs /development /rocq-modules

5 folders

at devShellTools-shell

mivorasu · treewide: conform descriptions to the standards · 1y ago

rocq-core_9_1: init at 9.1+rc1

hierarchy-builder

coqPackages.*: 9.0 -> 9.1

coqPackages: fix Rocq shim for Coq >= 9

coqPackages.*: 9.0 -> 9.1

treewide: conform descriptions to the standards