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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ssreflect_1.12.0.orig.tar.gz 13188532021-Jan-11 08:58
ssreflect_1.12.0-1.debian.tar.xz 127922021-Jan-11 08:58
ssreflect_1.12.0-1.dsc 20942021-Jan-11 08:58
libssreflect-coq_1.12.0-1_all.deb 264215002021-Jan-11 12:56
ssreflect_1.15.0-1.dsc 26032022-Jul-05 07:05
ssreflect_1.15.0.orig.tar.gz 13592832022-Jul-05 07:05
ssreflect_1.15.0-1.debian.tar.xz 123802022-Jul-05 07:05
libcoq-mathcomp-solvable_1.15.0-1+b4_s390x.deb 45354082023-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-character_1.15.0-1+b4_s390x.deb 39592402023-Feb-13 09:50
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-ssreflect_1.15.0-1+b4_s390x.deb 42077762023-Feb-13 09:50
libcoq-mathcomp-character_1.15.0-1+b4_amd64.deb 39603482023-Feb-13 09:55
libcoq-mathcomp-ssreflect_1.15.0-1+b4_amd64.deb 42078442023-Feb-13 09:55
libcoq-mathcomp-solvable_1.15.0-1+b4_amd64.deb 45356482023-Feb-13 09:55
libcoq-mathcomp-algebra_1.15.0-1+b4_amd64.deb 65018722023-Feb-13 09:55
libcoq-mathcomp_1.15.0-1+b4_amd64.deb 31578802023-Feb-13 09:55
libcoq-mathcomp-fingroup_1.15.0-1+b4_amd64.deb 19199562023-Feb-13 09:55
libcoq-mathcomp-field_1.15.0-1+b4_amd64.deb 27647642023-Feb-13 09:55
libcoq-mathcomp-ssreflect_1.15.0-1+b4_i386.deb 42069682023-Feb-13 10:00
libcoq-mathcomp_1.15.0-1+b4_i386.deb 31577482023-Feb-13 10:00
libcoq-mathcomp-character_1.15.0-1+b4_i386.deb 39597962023-Feb-13 10:00
libcoq-mathcomp-field_1.15.0-1+b4_i386.deb 27651122023-Feb-13 10:00
libcoq-mathcomp-fingroup_1.15.0-1+b4_i386.deb 19193322023-Feb-13 10:00
libcoq-mathcomp-algebra_1.15.0-1+b4_i386.deb 65013562023-Feb-13 10:00
libcoq-mathcomp-solvable_1.15.0-1+b4_i386.deb 45352762023-Feb-13 10:00
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-algebra_1.15.0-1+b4_armhf.deb 65022762023-Feb-13 10:25
libcoq-mathcomp_1.15.0-1+b4_armhf.deb 31580962023-Feb-13 10:25
libcoq-mathcomp-character_1.15.0-1+b4_armhf.deb 39593202023-Feb-13 10:25
libcoq-mathcomp-ssreflect_1.15.0-1+b4_armhf.deb 42071602023-Feb-13 10:25
libcoq-mathcomp-solvable_1.15.0-1+b4_armhf.deb 45350962023-Feb-13 10:25
libcoq-mathcomp-character_1.15.0-1+b4_arm64.deb 39596682023-Feb-13 10:40
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-solvable_1.15.0-1+b4_arm64.deb 45351882023-Feb-13 10:40
libcoq-mathcomp-ssreflect_1.15.0-1+b4_arm64.deb 42079162023-Feb-13 10:40
libcoq-mathcomp_1.15.0-1+b4_arm64.deb 31577122023-Feb-13 10:40
libcoq-mathcomp-fingroup_1.15.0-1+b4_ppc64el.deb 19197122023-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
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_1.15.0-1+b4_ppc64el.deb 31578882023-Feb-13 22:59
ssreflect_2.1.0-1.dsc 26222023-Dec-22 11:07
ssreflect_2.1.0-1.debian.tar.xz 126082023-Dec-22 11:07
ssreflect_2.1.0.orig.tar.gz 18354822023-Dec-22 11:07
libcoq-mathcomp-algebra_2.1.0-1+b1_s390x.deb 90319362024-Feb-16 13:48
libcoq-mathcomp-character_2.1.0-1+b1_s390x.deb 39413242024-Feb-16 13:48
libcoq-mathcomp-field_2.1.0-1+b1_s390x.deb 30414882024-Feb-16 13:48
libcoq-mathcomp_2.1.0-1+b1_s390x.deb 28677002024-Feb-16 13:48
libcoq-mathcomp-fingroup_2.1.0-1+b1_s390x.deb 20207122024-Feb-16 13:48
libcoq-mathcomp-solvable_2.1.0-1+b1_s390x.deb 46575802024-Feb-16 13:48
libcoq-mathcomp-ssreflect_2.1.0-1+b1_s390x.deb 57974882024-Feb-16 13:48
libcoq-mathcomp-character_2.1.0-1+b1_i386.deb 39408962024-Feb-16 14:04
libcoq-mathcomp-algebra_2.1.0-1+b1_i386.deb 90310642024-Feb-16 14:04
libcoq-mathcomp-ssreflect_2.1.0-1+b1_i386.deb 57985682024-Feb-16 14:04
libcoq-mathcomp-solvable_2.1.0-1+b1_i386.deb 46573082024-Feb-16 14:04
libcoq-mathcomp-fingroup_2.1.0-1+b1_i386.deb 20199042024-Feb-16 14:04
libcoq-mathcomp-field_2.1.0-1+b1_i386.deb 30394722024-Feb-16 14:04
libcoq-mathcomp_2.1.0-1+b1_i386.deb 28676962024-Feb-16 14:04
libcoq-mathcomp-solvable_2.1.0-1+b1_amd64.deb 46573082024-Feb-16 14:14
libcoq-mathcomp_2.1.0-1+b1_amd64.deb 28677362024-Feb-16 14:14
libcoq-mathcomp-ssreflect_2.1.0-1+b1_amd64.deb 57965522024-Feb-16 14:14
libcoq-mathcomp-fingroup_2.1.0-1+b1_amd64.deb 20208002024-Feb-16 14:14
libcoq-mathcomp-field_2.1.0-1+b1_amd64.deb 30412162024-Feb-16 14:14
libcoq-mathcomp-character_2.1.0-1+b1_amd64.deb 39416802024-Feb-16 14:14
libcoq-mathcomp-algebra_2.1.0-1+b1_amd64.deb 90331802024-Feb-16 14:14
libcoq-mathcomp-ssreflect_2.1.0-1+b1_ppc64el.deb 57975762024-Feb-16 14:59
libcoq-mathcomp-solvable_2.1.0-1+b1_ppc64el.deb 46571882024-Feb-16 14:59
libcoq-mathcomp_2.1.0-1+b1_ppc64el.deb 28675242024-Feb-16 14:59
libcoq-mathcomp-field_2.1.0-1+b1_ppc64el.deb 30417402024-Feb-16 14:59
libcoq-mathcomp-character_2.1.0-1+b1_ppc64el.deb 39418642024-Feb-16 14:59
libcoq-mathcomp-fingroup_2.1.0-1+b1_ppc64el.deb 20210002024-Feb-16 14:59
libcoq-mathcomp-algebra_2.1.0-1+b1_ppc64el.deb 90329122024-Feb-16 14:59
libcoq-mathcomp-ssreflect_2.1.0-1+b1_arm64.deb 57961842024-Feb-16 17:11
libcoq-mathcomp_2.1.0-1+b1_arm64.deb 28674042024-Feb-16 17:11
libcoq-mathcomp-fingroup_2.1.0-1+b1_arm64.deb 20206362024-Feb-16 17:11
libcoq-mathcomp-solvable_2.1.0-1+b1_arm64.deb 46573602024-Feb-16 17:11
libcoq-mathcomp-field_2.1.0-1+b1_arm64.deb 30412442024-Feb-16 17:11
libcoq-mathcomp-character_2.1.0-1+b1_arm64.deb 39414242024-Feb-16 17:11
libcoq-mathcomp-algebra_2.1.0-1+b1_arm64.deb 90326162024-Feb-16 17:11
libcoq-mathcomp-algebra_2.1.0-1+b2_armhf.deb 90308722024-Mar-31 23:03
libcoq-mathcomp-character_2.1.0-1+b2_armhf.deb 39405082024-Mar-31 23:03
libcoq-mathcomp-solvable_2.1.0-1+b2_armhf.deb 46575922024-Mar-31 23:03
libcoq-mathcomp_2.1.0-1+b2_armhf.deb 28677442024-Mar-31 23:03
libcoq-mathcomp-ssreflect_2.1.0-1+b2_armhf.deb 57978442024-Mar-31 23:03
libcoq-mathcomp-field_2.1.0-1+b2_armhf.deb 30401162024-Mar-31 23:03
libcoq-mathcomp-fingroup_2.1.0-1+b2_armhf.deb 20203402024-Mar-31 23:03
ssreflect_2.2.0-1.dsc 26222024-Apr-26 14:06
ssreflect_2.2.0-1.debian.tar.xz 126162024-Apr-26 14:06
ssreflect_2.2.0.orig.tar.gz 18390932024-Apr-26 14:06
libcoq-mathcomp-solvable_2.2.0-1+b2_i386.deb 47233082024-Jun-15 12:36
libcoq-mathcomp-fingroup_2.2.0-1+b2_i386.deb 21609722024-Jun-15 12:36
libcoq-mathcomp_2.2.0-1+b2_i386.deb 28620002024-Jun-15 12:36
libcoq-mathcomp-algebra_2.2.0-1+b2_i386.deb 100043002024-Jun-15 12:36
libcoq-mathcomp-character_2.2.0-1+b2_i386.deb 41869602024-Jun-15 12:36
libcoq-mathcomp-ssreflect_2.2.0-1+b2_i386.deb 60787322024-Jun-15 12:36
libcoq-mathcomp-field_2.2.0-1+b2_i386.deb 32488562024-Jun-15 12:36
libcoq-mathcomp-field_2.2.0-1+b2_amd64.deb 32499282024-Jun-15 12:41
libcoq-mathcomp-solvable_2.2.0-1+b2_amd64.deb 47276282024-Jun-15 12:41
libcoq-mathcomp-ssreflect_2.2.0-1+b2_amd64.deb 60761402024-Jun-15 12:41
libcoq-mathcomp-fingroup_2.2.0-1+b2_amd64.deb 21614482024-Jun-15 12:41
libcoq-mathcomp-algebra_2.2.0-1+b2_amd64.deb 100030002024-Jun-15 12:41
libcoq-mathcomp_2.2.0-1+b2_amd64.deb 28619482024-Jun-15 12:41
libcoq-mathcomp-character_2.2.0-1+b2_amd64.deb 41845882024-Jun-15 12:41
libcoq-mathcomp-field_2.2.0-1+b2_ppc64el.deb 32495162024-Jun-15 12:46
libcoq-mathcomp-algebra_2.2.0-1+b2_ppc64el.deb 100029002024-Jun-15 12:46
libcoq-mathcomp-character_2.2.0-1+b2_ppc64el.deb 41887002024-Jun-15 12:46
libcoq-mathcomp-fingroup_2.2.0-1+b2_ppc64el.deb 21615282024-Jun-15 12:46
libcoq-mathcomp-solvable_2.2.0-1+b2_ppc64el.deb 47260202024-Jun-15 12:46
libcoq-mathcomp-ssreflect_2.2.0-1+b2_ppc64el.deb 60783762024-Jun-15 12:46
libcoq-mathcomp_2.2.0-1+b2_ppc64el.deb 28620042024-Jun-15 12:46
libcoq-mathcomp-solvable_2.2.0-1+b1_armhf.deb 47261802024-Jun-15 12:51
libcoq-mathcomp-fingroup_2.2.0-1+b1_armhf.deb 21615242024-Jun-15 12:51
libcoq-mathcomp-field_2.2.0-1+b1_armhf.deb 32480522024-Jun-15 12:51
libcoq-mathcomp-ssreflect_2.2.0-1+b1_armhf.deb 60786042024-Jun-15 12:51
libcoq-mathcomp_2.2.0-1+b1_armhf.deb 28620762024-Jun-15 12:51
libcoq-mathcomp-character_2.2.0-1+b1_armhf.deb 41799442024-Jun-15 12:51
libcoq-mathcomp-algebra_2.2.0-1+b1_armhf.deb 100027442024-Jun-15 12:51
libcoq-mathcomp_2.2.0-1+b2_arm64.deb 28619962024-Jun-15 14:02
libcoq-mathcomp-algebra_2.2.0-1+b2_arm64.deb 100055842024-Jun-15 14:02
libcoq-mathcomp-character_2.2.0-1+b2_arm64.deb 41873282024-Jun-15 14:02
libcoq-mathcomp-field_2.2.0-1+b2_arm64.deb 32500882024-Jun-15 14:02
libcoq-mathcomp-fingroup_2.2.0-1+b2_arm64.deb 21614882024-Jun-15 14:02
libcoq-mathcomp-solvable_2.2.0-1+b2_arm64.deb 47266282024-Jun-15 14:02
libcoq-mathcomp-ssreflect_2.2.0-1+b2_arm64.deb 60780242024-Jun-15 14:02
libcoq-mathcomp_2.2.0-1+b1_s390x.deb 28620442024-Jun-16 00:18
libcoq-mathcomp-algebra_2.2.0-1+b1_s390x.deb 100060122024-Jun-16 00:18
libcoq-mathcomp-solvable_2.2.0-1+b1_s390x.deb 47264642024-Jun-16 00:18
libcoq-mathcomp-fingroup_2.2.0-1+b1_s390x.deb 21616562024-Jun-16 00:18
libcoq-mathcomp-ssreflect_2.2.0-1+b1_s390x.deb 60782842024-Jun-16 00:18
libcoq-mathcomp-field_2.2.0-1+b1_s390x.deb 32499962024-Jun-16 00:18
libcoq-mathcomp-character_2.2.0-1+b1_s390x.deb 41878842024-Jun-16 00:18
libcoq-mathcomp-ssreflect_2.2.0-1+b2_riscv64.deb 60784602024-Jun-16 00:33
libcoq-mathcomp-algebra_2.2.0-1+b2_riscv64.deb 100037562024-Jun-16 00:33
libcoq-mathcomp-character_2.2.0-1+b2_riscv64.deb 41903562024-Jun-16 00:33
libcoq-mathcomp-field_2.2.0-1+b2_riscv64.deb 32477362024-Jun-16 00:33
libcoq-mathcomp-fingroup_2.2.0-1+b2_riscv64.deb 21618202024-Jun-16 00:33
libcoq-mathcomp_2.2.0-1+b2_riscv64.deb 28619642024-Jun-16 00:33
libcoq-mathcomp-solvable_2.2.0-1+b2_riscv64.deb 47268922024-Jun-16 00:33
This server can also be reached on the Tor network at
lysator7eknrfl47rlyxvgeamrv7ucefgrrlhk7rouv3sna25asetwid.onion
Information:
Data handling policy
The mirror administration can be reached at ftp-master (at) lysator.liu.se