| 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 | |
| Age | Commit message | Author | ||
| 2018-11-23 | finalise changelog for 0.17-1 uploadHEADdebian/0.17-1archive/debian/0.17-1master | Sean Whitton | ||
| 2018-11-23 | changelog tweak | Sean Whitton | ||
| 2018-11-23 | point Vcs-* at salsa | Sean Whitton | ||
| 2018-11-23 | bump dep bounds | Sean Whitton | ||
| 2018-11-23 | drop spurious period from end of Standards-Version field | Sean Whitton | ||
| 2018-11-23 | changelog | Sean Whitton | ||
| 2018-11-23 | Merge tag 'upstream/0.17' | Sean Whitton | ||
| 2018-11-23 | New upstream version 0.17 | Sean Whitton | ||
| 2017-11-26 | Upload to unstable, update changelog | Gianfranco Costamagna | ||
| 2017-11-26 | From Helmut Grohne: Tighten up agda relation ships to detect incompatibility ... | Gianfranco Costamagna | ||
| [...] | ||||
| Clone | ||||
| https://git.dgit.debian.org/agda-stdlib | ||||
 |
index : agda-stdlib | |
| Debian dgit repo for package agda-stdlib |
| summaryrefslogtreecommitdiff |