/gnu/store/7jqa9vxgqnwzs0222wv4mwkhqdf94k7l-
agda-2.6.0.1
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