/gnu/store/llbvlyrk08hqcpjh2yp8710vxz8lfcdd-
agda-2.6.2.1-static
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/gba5zjfb9xvfmk1hqc9slrn3y3nzbg7p-
agda-2.6.2.1.drv