Skip to content

coqPackages.hierarchy-builder: 1.7.1 -> 1.8.0#366068

Open
r-ryantm wants to merge 1 commit intoNixOS:masterfrom r-ryantm:auto-update/coqPackages.hierarchy-builder
+2-2

Commits