../ auctex_11.87-1ubuntu1.debian.tar.gz 12-Sep-2013 20:17 58977 auctex_11.87-1ubuntu1.dsc 12-Sep-2013 20:17 1404 auctex_11.87.orig.tar.gz 12-Sep-2013 20:17 1206073 auctex_11.91-2.debian.tar.xz 24-Dec-2018 06:56 52840 auctex_11.91-2.dsc 24-Dec-2018 06:56 2074 auctex_11.91.orig.tar.gz 24-Dec-2018 06:56 1098646