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: May 28 2023 at 18:29 UTC