../ manuel_1.8.0-4.debian.tar.xz 03-Nov-2015 23:11 4596 manuel_1.8.0-4.dsc 03-Nov-2015 23:11 2242 manuel_1.8.0.orig.tar.gz 15-Jun-2015 23:13 35068 python-manuel_1.8.0-4_all.deb 03-Nov-2015 23:40 53014 python3-manuel_1.8.0-4_all.deb 03-Nov-2015 23:40 53092