/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-
coq-for-coqtail-8.17.1
Nars
View narinfo details
View JSON
1dq0azp1i55az3rf280pvva2i2jrfzhr6kgvcl4z04g7ig2mhn2g
Size
Urls
24808
Size: 1695 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1
Version
1
Host name
bayfront
Builds
Succeeded
Canceled
Canceled
Derivation:
/gnu/store/pl1n9az0davgsfyzspdwbfbnc8wqfar2-
coq-for-coqtail-8.17.1.drv
Derivation:
/gnu/store/q73s6szlrvgr3i4ynvyrvxrnpjkk49vs-
coq-for-coqtail-8.17.1.drv
Derivation:
/gnu/store/h0swcppw2pi560wppd2wvlxviczjwmbw-
coq-for-coqtail-8.17.1.drv