Maintainer Mode
Sign in with GitHub
Work in progress.
Maintainer Mode changes every day: pages, numbers and links can change or break.
Tell us what is wrong or missing
.
Home
Review
Packages
nixpkgs
pkgs/build-support/agda/
pkgs/build-support/
· 0 packages and modules · 3 open pull requests
Sign in to watch
ci/OWNERS
pkgs/build-support
philiptaron
Pull requests
3
agda: make infrastructure aware of Mikan
#572074 by
ncfavier
· opened 8d ago
Dev agda shellfor
draft
#98087 by
turion
· opened 6y ago
WIP agda: Add libraries semi-automatically from package-index
draft
#87903 by
turion
· opened 6y ago
Issues
0
None open.