Index of /kali/pool/main/s/ssreflect/


../
libssreflect-coq_1.10.0+dfsg-1_all.deb             06-Dec-2019 10:07            27068232
libssreflect-coq_1.9.0+dfsg-1_all.deb              21-Aug-2019 08:28            26871228
libssreflect-coq_1.9.0+dfsg-2_all.deb              15-Nov-2019 10:49            26842260
ssreflect_1.10.0+dfsg-1.debian.tar.xz              06-Dec-2019 08:11               12660
ssreflect_1.10.0+dfsg-1.dsc                        06-Dec-2019 08:11                2129
ssreflect_1.10.0+dfsg.orig.tar.gz                  06-Dec-2019 08:11             1218046
ssreflect_1.9.0+dfsg-1.debian.tar.xz               21-Aug-2019 07:48               12324
ssreflect_1.9.0+dfsg-1.dsc                         21-Aug-2019 07:48                2114
ssreflect_1.9.0+dfsg-2.debian.tar.xz               15-Nov-2019 09:54               12336
ssreflect_1.9.0+dfsg-2.dsc                         15-Nov-2019 09:54                1889
ssreflect_1.9.0+dfsg.orig.tar.gz                   21-Aug-2019 07:48             4056166