/gnu/store/nvhwrb2kqqdy5q1648x56nx72sk5by3r-agda-stdlib-2.1.1

Nars

View narinfo detailsView JSON

Builds

Scheduled

Derivation:

/gnu/store/jyqqcqarl1p9rhvx30j91q2h37vda6sj-agda-stdlib-2.1.1.drv

Derivation:

/gnu/store/vhs0vbpcf6h2ylblbws609yx2pkkxpv1-agda-stdlib-2.1.1.drv