Stream: Hierarchy Builder devs & users

Topic: Nix and Coq 8.15

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

Pierre Roux (Jan 31 2022 at 14:52):

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

Arthur Azevedo de Amorim (Jan 31 2022 at 14:55):

Ah, fantastic! Thanks.

Last updated: Jan 29 2023 at 15:02 UTC