/gnu/store/h77581nsk5c6gskkn5wmjxf1vcsrnj2g-
agda-ial-1.5.0
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/aihf99zq8jv8swcclqcbq60ngqmfx00a-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/847dr02pxk87firr882dk1qhva9jl70r-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/9n6y5s1gkvz5ggspb832jcqnjpnm6lsa-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/gi8yyvr9zdp3swspa3b5h781r6mf34rr-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/249dyq1jf54bmzax8awaf7k9bg0gpmv9-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/ibp58sx3waf1fil4yvmsw1xz9rpdjk1l-
agda-ial-1.5.0.drv