summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterfinalise changelog for 0.17-1 uploadSean Whitton9 months
 
TagDownloadAuthorAge
archive/debian/0.17-1commit 5aa1c0b7f7...Sean Whitton9 months
debian/0.17-1commit 5aa1c0b7f7...Sean Whitton9 months
 
AgeCommit messageAuthor
2018-11-23finalise changelog for 0.17-1 uploadHEADdebian/0.17-1archive/debian/0.17-1masterSean Whitton
2018-11-23changelog tweakSean Whitton
2018-11-23point Vcs-* at salsaSean Whitton
2018-11-23bump dep boundsSean Whitton
2018-11-23drop spurious period from end of Standards-Version fieldSean Whitton
2018-11-23changelogSean Whitton
2018-11-23Merge tag 'upstream/0.17'Sean Whitton
2018-11-23New upstream version 0.17Sean Whitton
2017-11-26Upload to unstable, update changelogGianfranco Costamagna
2017-11-26From Helmut Grohne: Tighten up agda relation ships to detect incompatibility ...Gianfranco Costamagna
[...]
 
Clone
https://git.dgit.debian.org/agda-stdlib