../ cppad_2016.00.00.1-1.debian.tar.xz 15-Feb-2016 22:28 6232 cppad_2016.00.00.1-1.dsc 15-Feb-2016 22:28 2008 cppad_2016.00.00.1-1_all.deb 15-Feb-2016 22:28 832604 cppad_2016.00.00.1.orig.tar.gz 15-Feb-2016 22:28 2256203 cppad_2017.00.00.3-1.debian.tar.xz 14-Mar-2017 04:17 6420 cppad_2017.00.00.3-1.dsc 14-Mar-2017 04:17 2025 cppad_2017.00.00.3-1_all.deb 14-Mar-2017 04:17 973600 cppad_2017.00.00.3.orig.tar.gz 14-Mar-2017 04:17 2627729