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: Apr 20 2024 at 14:01 UTC