../ cppad_2014.00.00.3-1.debian.tar.xz 09-Apr-2014 21:12 6040 cppad_2014.00.00.3-1.dsc 09-Apr-2014 21:12 2003 cppad_2014.00.00.3-1_all.deb 09-Apr-2014 21:12 732966 cppad_2014.00.00.3.orig.tar.gz 09-Apr-2014 21:12 2154508 cppad_2017.00.00.0-1.debian.tar.xz 13-Jan-2017 12:59 6364 cppad_2017.00.00.0-1.dsc 13-Jan-2017 12:59 2025 cppad_2017.00.00.0-1_all.deb 13-Jan-2017 12:59 973280 cppad_2017.00.00.0.orig.tar.gz 13-Jan-2017 12:59 2619098