/gnu/store/9rydw56dcb3j7f9grgcw5l1x3fjslxnl-agda-2.6.0.1-static

Nars

View narinfo detailsView JSON

Builds

Derivation:

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

Derivation:

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

Derivation:

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