nixpkgs / agda-pkg - Package manager for Agda

Homepage - https://agda.github.io/agda-pkg/

License - MIT

Maintainers - Alex Rice

Outputs

out (expand/collapse)

Releases

0.1.51 (expand/collapse)
From commit 06749ba3 to 00460bd6
0.1.50 (expand/collapse)
From commit 05fe6112 to 05fe6112
0.1.51 (expand/collapse)
From commit 06f2fd5f to 0096eb92
0.1.50 (expand/collapse)
From commit 00afc855 to 00afc855
0.1.51 (expand/collapse)
From commit 0722158d to 07e49512
0.1.50 (expand/collapse)
From commit 04b7c0af to 04b7c0af
0.1.51 (expand/collapse)
From commit 05d4955a to 03df9f54
0.1.50 (expand/collapse)
From commit 00251c06 to 00251c06
0.1.51 (expand/collapse)
From commit 05659a44 to 06d328c3
0.1.50 (expand/collapse)
From commit 069e485c to 069e485c
0.1.51 (expand/collapse)
From commit 04774974 to 019fa5f6
0.1.50 (expand/collapse)
From commit 0628b032 to 01ec8c09
0.1.51 (expand/collapse)
From commit 00f0b1d7 to 072e98a7
0.1.50 (expand/collapse)
From commit 063f1d73 to 0339b205
0.1.51 (expand/collapse)
From commit 0367125b to 0367125b
0.1.50 (expand/collapse)
From commit 06bcd9a3 to 0331c39d