../ 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 813K cppad_2016.00.00.1.orig.tar.gz 15-Feb-2016 22:28 2M 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 951K cppad_2017.00.00.3.orig.tar.gz 14-Mar-2017 04:17 3M