/gnu/store/klbss5xryhp962q9761kawyjjq0fv9mg-agda-2.6.0.1

Nars

View narinfo detailsView JSON

Builds

Scheduled

Derivation:

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

Derivation:

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

Derivation:

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