/gnu/store/gpp6b9hcm9pg0ycmcxhi2r4jkm64plh6-agda-2.6.0.1

Nars

View narinfo detailsView JSON

Builds

Scheduled

Derivation:

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

Derivation:

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

Derivation:

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