/gnu/store/phldsp03ndp6q74wy8i54i9900hd51n2-
agda-2.6.0.1-static
Nars
View narinfo details
View JSON
Builds
Scheduled
Derivation:
/gnu/store/d6vb49fzq6bv4iv7lrdhj2hsk4crjwr8-
agda-2.6.0.1.drv
Derivation:
/gnu/store/icgk1ls25bhjb3mxc845j5sp51qqmm40-
agda-2.6.0.1.drv
Derivation:
/gnu/store/i6ww7p0hnmbp0mvq2abggb5ymcv50mbf-
agda-2.6.0.1.drv