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