Index of /debian/pool/main/s/ssreflect/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ssreflect_1.12.0-1.debian.tar.xz 127922021-Jan-11 08:58
ssreflect_1.12.0-1.dsc 20942021-Jan-11 08:58
ssreflect_1.12.0.orig.tar.gz 13188532021-Jan-11 08:58
libssreflect-coq_1.12.0-1_all.deb 264215002021-Jan-11 12:56
ssreflect_1.15.0-1.debian.tar.xz 123802022-Jul-05 07:05
ssreflect_1.15.0-1.dsc 26032022-Jul-05 07:05
ssreflect_1.15.0.orig.tar.gz 13592832022-Jul-05 07:05
libcoq-mathcomp-algebra_1.15.0-1+b4_s390x.deb 65021842023-Feb-13 09:50
libcoq-mathcomp-field_1.15.0-1+b4_s390x.deb 27648802023-Feb-13 09:50
libcoq-mathcomp-character_1.15.0-1+b4_s390x.deb 39592402023-Feb-13 09:50
libcoq-mathcomp-fingroup_1.15.0-1+b4_s390x.deb 19193042023-Feb-13 09:50
libcoq-mathcomp_1.15.0-1+b4_s390x.deb 31578522023-Feb-13 09:50
libcoq-mathcomp-solvable_1.15.0-1+b4_s390x.deb 45354082023-Feb-13 09:50
libcoq-mathcomp-ssreflect_1.15.0-1+b4_s390x.deb 42077762023-Feb-13 09:50
libcoq-mathcomp-algebra_1.15.0-1+b4_amd64.deb 65018722023-Feb-13 09:55
libcoq-mathcomp-field_1.15.0-1+b4_amd64.deb 27647642023-Feb-13 09:55
libcoq-mathcomp-fingroup_1.15.0-1+b4_amd64.deb 19199562023-Feb-13 09:55
libcoq-mathcomp-character_1.15.0-1+b4_amd64.deb 39603482023-Feb-13 09:55
libcoq-mathcomp_1.15.0-1+b4_amd64.deb 31578802023-Feb-13 09:55
libcoq-mathcomp-solvable_1.15.0-1+b4_amd64.deb 45356482023-Feb-13 09:55
libcoq-mathcomp-ssreflect_1.15.0-1+b4_amd64.deb 42078442023-Feb-13 09:55
libcoq-mathcomp-algebra_1.15.0-1+b4_i386.deb 65013562023-Feb-13 10:00
libcoq-mathcomp-field_1.15.0-1+b4_i386.deb 27651122023-Feb-13 10:00
libcoq-mathcomp-character_1.15.0-1+b4_i386.deb 39597962023-Feb-13 10:00
libcoq-mathcomp-fingroup_1.15.0-1+b4_i386.deb 19193322023-Feb-13 10:00
libcoq-mathcomp_1.15.0-1+b4_i386.deb 31577482023-Feb-13 10:00
libcoq-mathcomp-solvable_1.15.0-1+b4_i386.deb 45352762023-Feb-13 10:00
libcoq-mathcomp-ssreflect_1.15.0-1+b4_i386.deb 42069682023-Feb-13 10:00
libcoq-mathcomp-algebra_1.15.0-1+b4_armhf.deb 65022762023-Feb-13 10:25
libcoq-mathcomp-field_1.15.0-1+b4_armhf.deb 27650002023-Feb-13 10:25
libcoq-mathcomp-fingroup_1.15.0-1+b4_armhf.deb 19196402023-Feb-13 10:25
libcoq-mathcomp-character_1.15.0-1+b4_armhf.deb 39593202023-Feb-13 10:25
libcoq-mathcomp_1.15.0-1+b4_armhf.deb 31580962023-Feb-13 10:25
libcoq-mathcomp-solvable_1.15.0-1+b4_armhf.deb 45350962023-Feb-13 10:25
libcoq-mathcomp-ssreflect_1.15.0-1+b4_armhf.deb 42071602023-Feb-13 10:25
libcoq-mathcomp-algebra_1.15.0-1+b4_arm64.deb 65011162023-Feb-13 10:40
libcoq-mathcomp-field_1.15.0-1+b4_arm64.deb 27646562023-Feb-13 10:40
libcoq-mathcomp-fingroup_1.15.0-1+b4_arm64.deb 19196882023-Feb-13 10:40
libcoq-mathcomp-character_1.15.0-1+b4_arm64.deb 39596682023-Feb-13 10:40
libcoq-mathcomp-solvable_1.15.0-1+b4_arm64.deb 45351882023-Feb-13 10:40
libcoq-mathcomp_1.15.0-1+b4_arm64.deb 31577122023-Feb-13 10:40
libcoq-mathcomp-ssreflect_1.15.0-1+b4_arm64.deb 42079162023-Feb-13 10:40
libcoq-mathcomp-algebra_1.15.0-1+b4_ppc64el.deb 65014802023-Feb-13 22:59
libcoq-mathcomp-field_1.15.0-1+b4_ppc64el.deb 27650402023-Feb-13 22:59
libcoq-mathcomp-character_1.15.0-1+b4_ppc64el.deb 39592242023-Feb-13 22:59
libcoq-mathcomp-fingroup_1.15.0-1+b4_ppc64el.deb 19197122023-Feb-13 22:59
libcoq-mathcomp_1.15.0-1+b4_ppc64el.deb 31578882023-Feb-13 22:59
libcoq-mathcomp-ssreflect_1.15.0-1+b4_ppc64el.deb 42081682023-Feb-13 22:59
libcoq-mathcomp-solvable_1.15.0-1+b4_ppc64el.deb 45350882023-Feb-13 22:59
ssreflect_2.2.0.orig.tar.gz 18390932024-Apr-26 14:06
ssreflect_2.2.0-2.dsc 23912024-Aug-03 08:23
ssreflect_2.2.0-2.debian.tar.xz 126602024-Aug-03 08:23
libcoq-mathcomp-character_2.2.0-2+b7_amd64.deb 41877282024-Oct-13 11:28
libcoq-mathcomp-field_2.2.0-2+b7_amd64.deb 32473442024-Oct-13 11:28
libcoq-mathcomp-fingroup_2.2.0-2+b7_amd64.deb 21619002024-Oct-13 11:28
libcoq-mathcomp_2.2.0-2+b7_amd64.deb 28620322024-Oct-13 11:28
libcoq-mathcomp-algebra_2.2.0-2+b7_amd64.deb 100116562024-Oct-13 11:28
libcoq-mathcomp-solvable_2.2.0-2+b7_amd64.deb 47272842024-Oct-13 11:28
libcoq-mathcomp-ssreflect_2.2.0-2+b7_amd64.deb 60793602024-Oct-13 11:28
libcoq-mathcomp-algebra_2.2.0-2+b7_s390x.deb 100027842024-Oct-13 11:39
libcoq-mathcomp-character_2.2.0-2+b7_s390x.deb 41843842024-Oct-13 11:39
libcoq-mathcomp-field_2.2.0-2+b7_s390x.deb 32481482024-Oct-13 11:39
libcoq-mathcomp_2.2.0-2+b7_s390x.deb 28618842024-Oct-13 11:39
libcoq-mathcomp-fingroup_2.2.0-2+b7_s390x.deb 21620482024-Oct-13 11:39
libcoq-mathcomp-solvable_2.2.0-2+b7_s390x.deb 47270482024-Oct-13 11:39
libcoq-mathcomp-ssreflect_2.2.0-2+b7_s390x.deb 60794842024-Oct-13 11:39
libcoq-mathcomp-character_2.2.0-2+b7_arm64.deb 41859602024-Oct-13 11:54
libcoq-mathcomp-field_2.2.0-2+b7_arm64.deb 32498162024-Oct-13 11:54
libcoq-mathcomp-algebra_2.2.0-2+b7_arm64.deb 100038642024-Oct-13 11:54
libcoq-mathcomp_2.2.0-2+b7_arm64.deb 28622482024-Oct-13 11:54
libcoq-mathcomp-fingroup_2.2.0-2+b7_arm64.deb 21617842024-Oct-13 11:54
libcoq-mathcomp-solvable_2.2.0-2+b7_arm64.deb 47266122024-Oct-13 11:54
libcoq-mathcomp-ssreflect_2.2.0-2+b7_arm64.deb 60777842024-Oct-13 11:54
libcoq-mathcomp-algebra_2.2.0-2+b7_ppc64el.deb 100071762024-Oct-13 12:20
libcoq-mathcomp-character_2.2.0-2+b7_ppc64el.deb 41829002024-Oct-13 12:20
libcoq-mathcomp-field_2.2.0-2+b7_ppc64el.deb 32508642024-Oct-13 12:20
libcoq-mathcomp_2.2.0-2+b7_ppc64el.deb 28620842024-Oct-13 12:20
libcoq-mathcomp-fingroup_2.2.0-2+b7_ppc64el.deb 21616122024-Oct-13 12:20
libcoq-mathcomp-solvable_2.2.0-2+b7_ppc64el.deb 47278082024-Oct-13 12:20
libcoq-mathcomp-ssreflect_2.2.0-2+b7_ppc64el.deb 60778602024-Oct-13 12:20
libcoq-mathcomp-field_2.2.0-2+b6_riscv64.deb 32490602024-Oct-14 00:59
libcoq-mathcomp-algebra_2.2.0-2+b6_riscv64.deb 100037722024-Oct-14 00:59
libcoq-mathcomp-character_2.2.0-2+b6_riscv64.deb 41857922024-Oct-14 00:59
libcoq-mathcomp-fingroup_2.2.0-2+b6_riscv64.deb 21617362024-Oct-14 00:59
libcoq-mathcomp-solvable_2.2.0-2+b6_riscv64.deb 47272962024-Oct-14 00:59
libcoq-mathcomp-ssreflect_2.2.0-2+b6_riscv64.deb 60764802024-Oct-14 00:59
libcoq-mathcomp_2.2.0-2+b6_riscv64.deb 28619722024-Oct-14 00:59