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