| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | finalise changelog for 0.17-1 upload | Sean Whitton | 5 years | |
| Tag | Download | Author | Age | |
| archive/debian/0.17-1 | commit 5aa1c0b7f7... | Sean Whitton | 5 years | |
| debian/0.17-1 | commit 5aa1c0b7f7... | Sean Whitton | 5 years | |
 |
index : agda-stdlib | |
| Debian dgit repo for package agda-stdlib |
| summaryrefslogtreecommitdiff |