/gnu/store/9171jw306w3rd46awibxfxydspq3rld6-coq-coquelicot-3.4.1

Nars

View narinfo detailsView JSON

Builds

Derivation:

/gnu/store/pjh011m631nmxvbara5rbad426mv7gxv-coq-coquelicot-3.4.1.drv

Derivation:

/gnu/store/f071xgkjh117wpdashwvijwj806wl1m4-coq-coquelicot-3.4.1.drv

Derivation:

/gnu/store/6dbii8swj5m3b95y2gm97bkgnn463l51-coq-coquelicot-3.4.1.drv