../ manuel_1.8.0-5.debian.tar.xz 01-Jul-2016 01:44 4508 manuel_1.8.0-5.dsc 01-Jul-2016 01:44 2204 manuel_1.8.0.orig.tar.gz 14-Jun-2015 16:53 34K python-manuel_1.8.0-5_all.deb 01-Jul-2016 01:44 58K python3-manuel_1.8.0-5_all.deb 01-Jul-2016 01:44 59K