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