summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Fix build with recent dunedebian/1.2.2-2Stephane Glondu2023-07-15
|
* Prepare upload to unstabledebian/1.2.2-1Stephane Glondu2023-01-21
|
* Update changelogStéphane Glondu2023-01-20
|
* Update packagingStéphane Glondu2023-01-20
|
* New upstream releaseStéphane Glondu2023-01-20
|
* Update upstream source from tag 'upstream/1.2.2'Stéphane Glondu2023-01-20
|\ | | | | | | Update to upstream version '1.2.2' with Debian dir 123181617dddaba711647fef4535955c217e3ca0
| * New upstream version 1.2.2Stéphane Glondu2023-01-20
| |
* | Merge branch 'lintian-fixes' into 'master'Stéphane Glondu2023-01-20
|\ \ | | | | | | | | | | | | Fix some issues reported by lintian See merge request ocaml-team/biniou!1
| * | Update standards version to 4.6.1, no changes needed.Debian Janitor2022-11-29
| | | | | | | | | | | | | | | | | | Changes-By: lintian-brush Fixes: lintian: out-of-date-standards-version See-also: https://lintian.debian.org/tags/out-of-date-standards-version.html
| * | Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.Debian Janitor2022-11-29
| | | | | | | | | | | | | | | | | | | | | | | | Changes-By: lintian-brush Fixes: lintian: upstream-metadata-file-is-missing See-also: https://lintian.debian.org/tags/upstream-metadata-file-is-missing.html Fixes: lintian: upstream-metadata-missing-bug-tracking See-also: https://lintian.debian.org/tags/upstream-metadata-missing-bug-tracking.html
| * | Bump debhelper from old 12 to 13.Debian Janitor2022-11-29
| | | | | | | | | | | | | | | | | | | | | | | | + debian/rules: Drop --fail-missing argument to dh_missing, which is now the default. Changes-By: lintian-brush Fixes: lintian: package-uses-old-debhelper-compat-version See-also: https://lintian.debian.org/tags/package-uses-old-debhelper-compat-version.html
| * | Update watch file format version to 4.Debian Janitor2022-11-29
|/ / | | | | | | | | | | Changes-By: lintian-brush Fixes: lintian: older-debian-watch-file-standard See-also: https://lintian.debian.org/tags/older-debian-watch-file-standard.html
* | (Closes: #898272)Stephane Glondu2019-12-19
| |
* | Update changelog and prepare upload to unstabledebian/1.2.1-1Stephane Glondu2019-12-19
| |
* | Update packagingStephane Glondu2019-12-17
| |
* | Update changelogStephane Glondu2019-12-17
| |
* | Update upstream source from tag 'upstream/1.2.1'Stephane Glondu2019-12-17
|\| | | | | | | Update to upstream version '1.2.1' with Debian dir b08fa083effe930327d23525721832d7a048ba96
| * New upstream version 1.2.1Stephane Glondu2019-12-17
| |
* | Update debian/watchStephane Glondu2019-12-17
| |
* | Prepare upload to unstabledebian/1.2.0-1Stephane Glondu2019-08-12
| |
* | Use secure URL in Format in debian/copyrightStephane Glondu2019-08-12
| |
* | Update changelogStephane Glondu2019-08-12
| |
* | Update Homepage and debian/watchStephane Glondu2019-08-12
| |
* | Bump Standards-Version to 4.4.0Stephane Glondu2019-08-12
| |
* | Remove Hendrik from UploadersStephane Glondu2019-08-12
| |
* | Update packagingStephane Glondu2019-08-12
| |
* | Remove trailing whitespaceStephane Glondu2019-08-12
| |
* | Update changelogStephane Glondu2019-08-12
| |
* | Update upstream source from tag 'upstream/1.2.0'Stephane Glondu2019-08-12
|\| | | | | | | Update to upstream version '1.2.0' with Debian dir c9b988f5c9846652b4fde26560b9c0f55c065c04
| * New upstream version 1.2.0Stephane Glondu2019-08-12
| |
| * New upstream version 1.1.1Stephane Glondu2019-08-12
| |
| * New upstream version 1.1.0Stephane Glondu2019-08-12
| |
| * New upstream version 1.0.13Stephane Glondu2019-08-12
| |
* | Update Vcs-*Stephane Glondu2019-07-30
| |
* | Update changelog and prepare upload to unstableStephane Glondu2016-08-03
| |
* | Fix FTBFS on bytecode architecturesStephane Glondu2016-08-03
| |
* | Update changelog and prepare upload to unstableStephane Glondu2016-08-03
| |
* | Bump Standards-Version to 3.9.8Stephane Glondu2016-08-03
| |
* | Update Vcs-*Stephane Glondu2016-08-03
| |
* | Update packagingStephane Glondu2016-08-03
| |
* | Remove obsolete patchStephane Glondu2016-08-03
| |
* | New upstream releaseStephane Glondu2016-08-03
| |
* | Merge tag 'upstream/1.0.12'Stephane Glondu2016-08-03
|\| | | | | | | Upstream version 1.0.12
| * Imported Upstream version 1.0.12Stephane Glondu2016-08-03
| |
| * Imported Upstream version 1.0.11Stephane Glondu2016-08-03
| |
| * Imported Upstream version 1.0.10Stephane Glondu2016-08-03
| |
* | Update Homepage and debian/watchStephane Glondu2016-08-03
| |
* | Update changelog and prepare upload to unstableStephane Glondu2014-01-31
| |
* | Bump Standards-Version to 3.9.5Stephane Glondu2014-01-31
| |
* | Install native pluginStephane Glondu2014-01-31
| |