../ cppad_2018.00.00.0-1.debian.tar.xz 10-Jan-2018 05:13 6760 cppad_2018.00.00.0-1.dsc 10-Jan-2018 05:13 2038 cppad_2018.00.00.0-1_all.deb 11-Jan-2018 12:00 1080276 cppad_2018.00.00.0.orig.tar.gz 10-Jan-2018 05:13 2929542