/gnu/store/y65axr6b05bask7dnhd2pcglh9bdkwmr-
agda-ial-1.5.0
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/5275ap8ksjhgfxhg6z2dfpvjyr868ph0-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/87jdgqldkl2mfl85mjpi5wl3ky4f0xh1-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/7ccd1alpdyrz3cks6821bqw0073mrw9h-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/mgbz8dpgj1lghnx74dp58ybgv7xvl1bb-
agda-ial-1.5.0.drv