../ cppad_2017.00.00.4-3.debian.tar.xz 28-Apr-2017 04:28 7460 cppad_2017.00.00.4-3.dsc 28-Apr-2017 04:28 2025 cppad_2017.00.00.4-3_all.deb 28-Apr-2017 04:28 952K cppad_2017.00.00.4.orig.tar.gz 26-Apr-2017 23:12 3M cppad_2018.00.00.0-1.debian.tar.xz 10-Jan-2018 05:30 6760 cppad_2018.00.00.0-1.dsc 10-Jan-2018 05:30 2038 cppad_2018.00.00.0-1_all.deb 10-Jan-2018 05:30 1M cppad_2018.00.00.0.orig.tar.gz 10-Jan-2018 05:30 3M