../ manuel_1.8.0-3.debian.tar.xz 01-Jul-2015 19:58 3908 manuel_1.8.0-3.dsc 01-Jul-2015 19:58 2249 manuel_1.8.0.orig.tar.gz 14-Jun-2015 08:53 35068 python-manuel_1.8.0-3_all.deb 01-Jul-2015 19:58 58118 python3-manuel_1.8.0-3_all.deb 01-Jul-2015 19:58 58184