summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* finalise changelog for 0.17-1 uploadHEADdebian/0.17-1archive/debian/0.17-1masterSean Whitton2018-11-23
* changelog tweakSean Whitton2018-11-23
* point Vcs-* at salsaSean Whitton2018-11-23
* bump dep boundsSean Whitton2018-11-23
* drop spurious period from end of Standards-Version fieldSean Whitton2018-11-23
* changelogSean Whitton2018-11-23
* Merge tag 'upstream/0.17'Sean Whitton2018-11-23
|\
| * New upstream version 0.17Sean Whitton2018-11-23
* | Upload to unstable, update changelogGianfranco Costamagna2017-11-26
* | From Helmut Grohne: Tighten up agda relation ships to detect incompatibility ...Gianfranco Costamagna2017-11-26
* | Export UTF8, from Helmut GrohneGianfranco Costamagna2017-11-26
* | Updated version 0.14 from 'upstream/0.14'Gianfranco Costamagna2017-11-26
|\|
| * New upstream version 0.14Gianfranco Costamagna2017-11-26
* | Team upload to unstableGianfranco Costamagna2017-07-06
* | Bump compat level to 10, and std-version to 4.0.0Gianfranco Costamagna2017-07-06
* | Merge tag 'upstream/0.13'Gianfranco Costamagna2017-07-06
|\|
| * New upstream version 0.13Gianfranco Costamagna2017-07-06
* | remove myself as an uploaderSean Whitton2017-06-18
* | upload 0.12-2Helmut Grohne2016-06-23
* | Skip running tests when DEB_BUILD_OPTIONS contains nocheck.Helmut Grohne2016-06-23
* | 60agda-stdlib.el: Switch to agda2-program-args as agda2-include-dirs is depre...Helmut Grohne2016-06-22
* | Switch Enhances from agda-mode to elpa-agda2-modeHelmut Grohne2016-06-21
* | Add Breaks: agda-bin << 2.5.1: agdai files incompatibleHelmut Grohne2016-06-21
* | Debian package version 0.12-1Sean Whitton2016-06-15
* | fix changelogSean Whitton2016-06-15
* | Revert "Debian package version 0.12-1"Sean Whitton2016-06-15
* | Debian package version 0.12-1Sean Whitton2016-06-12
* | fix another dep boundSean Whitton2016-06-12
* | close 827014 in changelogSean Whitton2016-06-12
* | also delete Everything.agdaSean Whitton2016-06-12
* | rules files don't support curly bracket expansionSean Whitton2016-06-12
* | fix typo in clean targetSean Whitton2016-06-10
* | improve changelogSean Whitton2016-06-10
* | bump standards version & update Vcs-* URIsSean Whitton2016-06-10
* | er, add uploader not maintainerSean Whitton2016-06-10
* | add uploader & bump relationships with agdaSean Whitton2016-06-10
* | changelogSean Whitton2016-06-10
* | Merge tag '0.12'Sean Whitton2016-06-10
|\|
| * Imported Upstream version 0.12Sean Whitton2016-06-10
* | Finalise changelogIain Lane2016-01-04
* | Update changelogIain Lane2016-01-04
* | Bump relationships with agda to ≥ 2.4.2.4Iain Lane2016-01-04
* | Merge tag 'upstream/0.11'Iain Lane2016-01-04
|\|
| * Imported Upstream version 0.11Iain Lane2016-01-04
* | Update & finalise changelogIain Lane2015-05-20
* | Bump BDs and deps to ≥ 2.4.2.2Iain Lane2015-05-20
* | Merge tag 'upstream/0.9'Iain Lane2015-05-20
|\|
| * Imported Upstream version 0.9Iain Lane2015-05-20
* | Update & finalise changelogIain Lane2014-08-12
* | Build-Depend on FileManip to fix GenerateEverything.hs generationIain Lane2014-08-11
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-22 08:56:42 +0000