/gnu/store/cafli4fg8a0g165bdmx82hwmg06qkqk5-agda-2.6.0.1-static

Nars

View narinfo detailsView JSON

Builds

Derivation:

/gnu/store/9l3vmgn5lm966yb6k8g52r2frpa482g2-agda-2.6.0.1.drv

Derivation:

/gnu/store/aqmfdzpjyzc947xsnci9jcrh2jyyyamz-agda-2.6.0.1.drv