/gnu/store/gv55l1vc31nysr9fgz26q47z8gbys8gd-
coq-core-8.15.1
Nars
View narinfo details
View JSON
02kvfs0z0jq5v2khydr53l05gj4jwzan8ckw1n471rpmdndwxwjw
Size
Urls
487514568
Size: 107875138 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/gv55l1vc31nysr9fgz26q47z8gbys8gd-coq-core-8.15.1
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/5bghl3x2why4wbbidy8f3dwq1h7zys7g-
coq-core-8.15.1.drv
Derivation:
/gnu/store/72fdy7x51d38inabmkn6vcf5zb847mby-
coq-core-8.15.1.drv
Derivation:
/gnu/store/y1cqakxclcjpyzfpyz564bq4dnff3mnh-
coq-core-8.15.1.drv