/gnu/store/002giwgi020ix10qyasm3rv2m54kkybb-
coq-core-8.14.1
Nars
View narinfo details
View JSON
1s2dd5qmx3mrs4gad1i4vga0g5w9bal2scn71kaygknbff2wcbsv
Size
Urls
554376352
Size: 106801241 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/002giwgi020ix10qyasm3rv2m54kkybb-coq-core-8.14.1
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/4cxjsn3ksgbfw00lsc8nsmr2d465r340-
coq-core-8.14.1.drv