/gnu/store/74k0sdz4s5778a64jljap27ikngz5612-coq-coquelicot-3.1.0

Nars

View narinfo detailsView JSON

Builds

Scheduled

Derivation:

/gnu/store/xgf3344dlwmi0f6hr40j5i89id3hsmsc-coq-coquelicot-3.1.0.drv

Derivation:

/gnu/store/9d2yi7lwppj9xgi9ld4n0wakxmbg4g8l-coq-coquelicot-3.1.0.drv

Derivation:

/gnu/store/jq06iphkcx1bqfzm8ps1dhiagj21dcvn-coq-coquelicot-3.1.0.drv

Derivation:

/gnu/store/13djsi8djiv8bs1g6v1g2bd1rjadi7ca-coq-coquelicot-3.1.0.drv