../ shellex_0.3-1.debian.tar.xz 11-Dec-2018 14:13 2788 shellex_0.3-1.dsc 11-Dec-2018 14:13 1870 shellex_0.3-1_amd64.deb 11-Dec-2018 14:43 13940 shellex_0.3.orig.tar.gz 11-Dec-2018 14:13 17124