-
camlp5 (6.14-2) unstable; urgency=medium
* Team upload.
* Fix bug on methods wrongly interpreted as vals (Closes: #802264)
* Fix bug on optional types, patch picked from upstream's git repository.
-- Mehdi Dogguy <email address hidden> Mon, 25 Jan 2016 21:57:52 +0100
-
camlp5 (6.14-1) unstable; urgency=medium
* New upstream release
* Upload to unstable
-- Stéphane Glondu <email address hidden> Fri, 09 Oct 2015 15:47:05 +0200
-
camlp5 (6.11+dfsg-3) unstable; urgency=medium
* Repackage upstream tarball to remove non-free W3C icons
(Closes: #735341)
-- Stéphane Glondu <email address hidden> Sat, 18 Jan 2014 11:46:03 +0100
