Is there a simple way of using HB with the Coq 8.15 package that currently lives on nixpkgs? Right now, the coqPackages_8_15.hierarchy-builder
recipe is undefined...
This should be fixed soon: https://github.com/NixOS/nixpkgs/pull/157033
Ah, fantastic! Thanks.
Last updated: Sep 28 2023 at 11:01 UTC