1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
|
ppx-tools (5.0+4.02.0-1) unstable; urgency=medium
* New upstream release
- remove patches (merged upstream)
* Update Vcs-*
* Bump Standards-Version to 3.9.8
-- Stéphane Glondu <glondu@debian.org> Wed, 27 Jul 2016 12:36:32 +0200
ppx-tools (0.99.2-4) unstable; urgency=medium
* Upload to unstable
-- Stéphane Glondu <glondu@debian.org> Sun, 11 Oct 2015 20:34:21 +0200
ppx-tools (0.99.2-3) experimental; urgency=medium
* Fix FTBFS on ppc64el
-- Stéphane Glondu <glondu@debian.org> Fri, 27 Mar 2015 13:24:24 +0100
ppx-tools (0.99.2-2) experimental; urgency=medium
* Add support for bytecode architectures
-- Stéphane Glondu <glondu@debian.org> Fri, 27 Mar 2015 10:12:14 +0100
ppx-tools (0.99.2-1) experimental; urgency=low
* Initial upload (Closes: #779574).
-- Stéphane Glondu <glondu@debian.org> Tue, 10 Mar 2015 11:50:49 +0100
|