../ cppad_2014.00.00.3-1.debian.tar.xz 09-Apr-2014 21:12 6040 cppad_2014.00.00.3-1_all.deb 09-Apr-2014 21:12 732966 cppad_2017.00.00.0-1.debian.tar.xz 13-Jan-2017 12:59 6364 cppad_2017.00.00.0-1_all.deb 13-Jan-2017 12:59 973280 cppad_2017.00.00.1-1.debian.tar.xz 05-Feb-2017 22:19 6392 cppad_2017.00.00.1-1_all.deb 05-Feb-2017 22:19 973516