../ 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.4-3.debian.tar.xz 27-Apr-2017 20:28 7460 cppad_2017.00.00.4-3.dsc 27-Apr-2017 20:28 2025 cppad_2017.00.00.4-3_all.deb 27-Apr-2017 20:28 974424 cppad_2017.00.00.4.orig.tar.gz 26-Apr-2017 15:12 2627618