../ cppad_2018.00.00.0-1.debian.tar.xz 09-Jan-2018 21:30 6760 cppad_2018.00.00.0-1.dsc 09-Jan-2018 21:30 2038 cppad_2018.00.00.0-1_all.deb 09-Jan-2018 21:30 1080728 cppad_2018.00.00.0.orig.tar.gz 09-Jan-2018 21:30 2929542 cppad_2019.02.00.1-1.debian.tar.xz 06-Mar-2019 12:01 6708 cppad_2019.02.00.1-1.dsc 06-Mar-2019 12:01 1991 cppad_2019.02.00.1-1_all.deb 06-Mar-2019 12:01 530044 cppad_2019.02.00.1.orig.tar.xz 06-Mar-2019 12:01 891840