-
cppad (2017.00.00.7-1) unstable; urgency=medium
* New upstream release
* Remove cherry-picked upstream quilt patch
-- Barak A. Pearlmutter <email address hidden> Wed, 28 Jun 2017 14:41:45 +0100
-
cppad (2017.00.00.4-3) unstable; urgency=medium
* oops, wrong Div test patch, the right one actually (closes: #860657)
-- Barak A. Pearlmutter <email address hidden> Thu, 27 Apr 2017 21:07:40 +0100
-
cppad (2017.00.00.1-1) unstable; urgency=medium
* New upstream release
-- Barak A. Pearlmutter <email address hidden> Sun, 05 Feb 2017 21:52:49 +0000