Stream: math-comp analysis

Topic: nix support


view this post on Zulip Marie Kerjean (Dec 09 2020 at 20:14):

I am trying to compile the master branch of analysis with nix . If I get an error message error: attribute 'hiearchy-builder' missing, at /home/marie/git/analysis/master/default.nix:52:84, what can I do ?

view this post on Zulip Cyril Cohen (Dec 09 2020 at 21:13):

As yesterday, there is a typo...
hiearchy -> hierarchy

view this post on Zulip Cyril Cohen (Dec 09 2020 at 21:16):

fixed

view this post on Zulip Marie Kerjean (Dec 09 2020 at 21:29):

I forgot, thanks !


Last updated: Aug 19 2022 at 20:03 UTC