/gnu/store/m2mi5170hgbph635vapwmbamgnp0g3x4-
agda-2.6.0.1
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/kqlk5gkn6lrdhg1vh9r4wdnszvwc7xr7-
agda-2.6.0.1.drv