/gnu/store/w6m13fbnkzf6px527s0qlvn0md8ikv66-
agda-2.6.0.1
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/s1wrsa6jizbgranbk80dvrfih960gv2i-
agda-2.6.0.1.drv
Derivation:
/gnu/store/ps4l3sx7gx9aq7wamvk7k9k3jffs0hcy-
agda-2.6.0.1.drv
Derivation:
/gnu/store/a3ix1ii6jwcmh999knrfhhn05rj2j46a-
agda-2.6.0.1.drv