Index of /pureos/pool/main/s/ssreflect/


../
libssreflect-coq_1.9.0+dfsg-1_all.deb              02-Oct-2019 02:16            26871228
libssreflect-coq_1.9.0+dfsg-2_all.deb              24-Nov-2019 15:36            26842260
ssreflect_1.9.0+dfsg-1.debian.tar.xz               01-Oct-2019 00:10               12324
ssreflect_1.9.0+dfsg-1.dsc                         01-Oct-2019 00:10                2114
ssreflect_1.9.0+dfsg-2.debian.tar.xz               24-Nov-2019 14:45               12336
ssreflect_1.9.0+dfsg-2.dsc                         24-Nov-2019 14:45                1889
ssreflect_1.9.0+dfsg.orig.tar.gz                   01-Oct-2019 00:10             4056166