| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Prepare upload to unstabledebian/5.4.0-1 | Stephane Glondu | 2020-07-25 |
| * | Update changelog | Stephane Glondu | 2020-07-25 |
| * | New upstream release | Stephane Glondu | 2020-07-25 |
| * | Update changelog and prepare upload to unstabledebian/5.2.3-1 | Stephane Glondu | 2019-08-22 |
| * | Update changelog | Stephane Glondu | 2019-08-22 |
| * | Update changelog and prepare upload to unstabledebian/5.2.1-2 | Stephane Glondu | 2019-08-02 |
| * | fix autopkgtest | Andy Li | 2018-12-26 |
| * | Bump Standards-Version to 4.3.0 (no changes). | Andy Li | 2018-12-26 |
| * | Update d/rules | Andy Li | 2018-12-26 |
| * | initial packaging | Andy Li | 2018-06-20 |
 |
index : ppx-tools-versioned | |
| Debian dgit repo for package ppx-tools-versioned |
| summaryrefslogtreecommitdiff |