/gnu/store/zwk16jnyg8fpbwxang5wfn9377hhk1pw-
coq-mathcomp-1.12.0
Nars
View narinfo details
View JSON
0ybn3mnll20iwsjd9a3g4a9hgbp0l3k920mcwvvsimihz8kfilrv
Size
Urls
90252496
Size: 22739168 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/zwk16jnyg8fpbwxang5wfn9377hhk1pw-coq-mathcomp-1.12.0
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/57qwp4hr598r79qmhqs139wpbzjqi36r-
coq-mathcomp-1.12.0.drv
Derivation:
/gnu/store/p5pzf9a9y275y9a6dacrxv65ygvy0k3m-
coq-mathcomp-1.12.0.drv
Derivation:
/gnu/store/dr9c65pl855s32h0bmiqxn5v2z57g4ra-
coq-mathcomp-1.12.0.drv
Derivation:
/gnu/store/wh22z43g2kfy8pxcy3r9hci06y85hzrx-
coq-mathcomp-1.12.0.drv