summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Update changelog and prepare upload to unstabledebian/5.2.3-1Stephane Glondu2019-08-22
* Bump Standards-Version to 4.4.0Stephane Glondu2019-08-22
* Update packagingStephane Glondu2019-08-22
* Update changelogStephane Glondu2019-08-22
* Update upstream source from tag 'upstream/5.2.3'Stephane Glondu2019-08-22
|\
| * New upstream version 5.2.3Stephane Glondu2019-08-22
| * New upstream version 5.2.2Stephane Glondu2019-08-22
* | Update changelog and prepare upload to unstabledebian/5.2.1-2Stephane Glondu2019-08-02
* | fix autopkgtestAndy Li2018-12-26
* | Bump Standards-Version to 4.3.0 (no changes).Andy Li2018-12-26
* | Update d/rulesAndy Li2018-12-26
* | Update upstream source from tag 'upstream/5.2.1'Andy Li2018-12-26
|\|
| * New upstream version 5.2.1Andy Li2018-12-26
* | Move README.md file into -doc packageMehdi Dogguy2018-06-21
* | add autopkgtestAndy Li2018-06-20
* | Borrow the Description text from ppx-tools.Andy Li2018-06-20
* | initial packagingAndy Li2018-06-20
|/
* Imported Upstream version 5.2Andy Li2018-06-20