/gnu/store/4g94d32968z6nwimhr6gxmwhk9fhcak5-
coq-equations-1.2.3
Nars
View narinfo details
View JSON
1z3rgfiyp55i1c57hpmc0sfyizpqmbkjkdn3j97gal9ikqxwgi5i
Size
Urls
5465800
Size: 1105175 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/4g94d32968z6nwimhr6gxmwhk9fhcak5-coq-equations-1.2.3
Version
1
Host name
bayfront
Builds
Succeeded
Succeeded
Failed
Derivation:
/gnu/store/07m9n2mvnisd0x98vp2a1c89ms2gc7jg-
coq-equations-1.2.3.drv
Derivation:
/gnu/store/xqngzxx2fc2lqpk0bvbv1ka2cv1qdd5r-
coq-equations-1.2.3.drv
Derivation:
/gnu/store/xkwzj9nd5zdqx92jalkmm3sm6fax7qvb-
coq-equations-1.2.3.drv