/gnu/store/0sprjkqn65ks3h82snhjgyn0cghrfi7p-
agda-2.6.0.1
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/0m5plz6lrxlwkzdyq3imzyhahrwzsrxl-
agda-2.6.0.1.drv
Derivation:
/gnu/store/1ckvn3msvv1vpqbkw431w9ywawilx7m1-
agda-2.6.0.1.drv
Derivation:
/gnu/store/ilblyijgz8pmlmr833y5iv27hij3nrdi-
agda-2.6.0.1.drv
Derivation:
/gnu/store/br2kvvw1rgz0flg80w72g3cgm5as8x61-
agda-2.6.0.1.drv
Derivation:
/gnu/store/57d7iic8v4ldwbrkg7szdb6v8w52d0i1-
agda-2.6.0.1.drv