Stream: Hierarchy Builder devs & users

Topic: Nix and Coq 8.15


view this post on Zulip Arthur Azevedo de Amorim (Jan 31 2022 at 14:33):

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...

view this post on Zulip Pierre Roux (Jan 31 2022 at 14:52):

This should be fixed soon: https://github.com/NixOS/nixpkgs/pull/157033

view this post on Zulip Arthur Azevedo de Amorim (Jan 31 2022 at 14:55):

Ah, fantastic! Thanks.


Last updated: Jan 29 2023 at 15:02 UTC