/gnu/store/amqxp5fkhv2khfwkzq8l4bnj0lkj67l8-
agda-ial-1.5.0
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/jp069p3q8q4ghkjrv7r1hbyg79kgdgzz-
agda-ial-1.5.0.drv