dune-functions (2.5.0-1) unstable; urgency=medium * New upstream release. -- Ansgar Burchardt <email address hidden> Sun, 18 Dec 2016 18:09:28 +0100