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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-mathcomp-field_2.3.0-1+b1_s390x.deb 34516882024-Dec-22 01:39
libcoq-mathcomp-solvable_2.3.0-1+b1_s390x.deb 48807722024-Dec-22 01:39
libcoq-mathcomp_2.3.0-1+b1_s390x.deb 30636082024-Dec-22 01:39
libcoq-mathcomp-ssreflect_2.3.0-1+b1_s390x.deb 83062482024-Dec-22 01:39
libcoq-mathcomp-fingroup_2.3.0-1+b1_s390x.deb 23074802024-Dec-22 01:39
libcoq-mathcomp-character_2.3.0-1+b1_s390x.deb 42860122024-Dec-22 01:39
libcoq-mathcomp-algebra_2.3.0-1+b1_s390x.deb 121605242024-Dec-22 01:39
libcoq-mathcomp-algebra_2.3.0-1+b1_arm64.deb 121685442024-Dec-19 17:41
libcoq-mathcomp-field_2.3.0-1+b1_arm64.deb 34503962024-Dec-19 17:41
libcoq-mathcomp_2.3.0-1+b1_arm64.deb 30634882024-Dec-19 17:41
libcoq-mathcomp-fingroup_2.3.0-1+b1_arm64.deb 23083682024-Dec-19 17:41
libcoq-mathcomp-ssreflect_2.3.0-1+b1_arm64.deb 83142562024-Dec-19 17:41
libcoq-mathcomp-solvable_2.3.0-1+b1_arm64.deb 48810962024-Dec-19 17:41
libcoq-mathcomp-character_2.3.0-1+b1_arm64.deb 42867042024-Dec-19 17:41
libcoq-mathcomp-fingroup_2.3.0-1_riscv64.deb 23074642024-Dec-19 17:31
libcoq-mathcomp-solvable_2.3.0-1_riscv64.deb 48809322024-Dec-19 17:31
libcoq-mathcomp-field_2.3.0-1_riscv64.deb 34552842024-Dec-19 17:31
libcoq-mathcomp-algebra_2.3.0-1_riscv64.deb 121884962024-Dec-19 17:31
libcoq-mathcomp-ssreflect_2.3.0-1_riscv64.deb 83271122024-Dec-19 17:31
libcoq-mathcomp_2.3.0-1_riscv64.deb 30631922024-Dec-19 17:31
libcoq-mathcomp-character_2.3.0-1_riscv64.deb 42848082024-Dec-19 17:31
libcoq-mathcomp-solvable_2.3.0-1+b1_ppc64el.deb 48811322024-Dec-19 16:19
libcoq-mathcomp_2.3.0-1+b1_ppc64el.deb 30636642024-Dec-19 16:19
libcoq-mathcomp-ssreflect_2.3.0-1+b1_ppc64el.deb 83089562024-Dec-19 16:19
libcoq-mathcomp-fingroup_2.3.0-1+b1_ppc64el.deb 22995202024-Dec-19 16:19
libcoq-mathcomp-field_2.3.0-1+b1_ppc64el.deb 34500842024-Dec-19 16:19
libcoq-mathcomp-character_2.3.0-1+b1_ppc64el.deb 42909282024-Dec-19 16:19
libcoq-mathcomp-algebra_2.3.0-1+b1_ppc64el.deb 121671162024-Dec-19 16:19
libcoq-mathcomp-ssreflect_2.3.0-1+b1_amd64.deb 83082322024-Dec-19 16:09
libcoq-mathcomp-character_2.3.0-1+b1_amd64.deb 42835442024-Dec-19 16:09
libcoq-mathcomp-field_2.3.0-1+b1_amd64.deb 34521802024-Dec-19 16:09
libcoq-mathcomp-solvable_2.3.0-1+b1_amd64.deb 48810722024-Dec-19 16:09
libcoq-mathcomp-fingroup_2.3.0-1+b1_amd64.deb 23073522024-Dec-19 16:09
libcoq-mathcomp_2.3.0-1+b1_amd64.deb 30635562024-Dec-19 16:09
libcoq-mathcomp-algebra_2.3.0-1+b1_amd64.deb 121680842024-Dec-19 16:09
libcoq-mathcomp-algebra_2.3.0-1_s390x.deb 105788402024-Dec-18 17:44
libcoq-mathcomp-fingroup_2.3.0-1_s390x.deb 22252922024-Dec-18 17:44
libcoq-mathcomp-field_2.3.0-1_s390x.deb 32159722024-Dec-18 17:44
libcoq-mathcomp-character_2.3.0-1_s390x.deb 42142882024-Dec-18 17:44
libcoq-mathcomp_2.3.0-1_s390x.deb 30632882024-Dec-18 17:44
libcoq-mathcomp-ssreflect_2.3.0-1_s390x.deb 68252322024-Dec-18 17:44
libcoq-mathcomp-solvable_2.3.0-1_s390x.deb 48158002024-Dec-18 17:44
ssreflect_2.3.0-1.dsc 26342024-Dec-18 16:08
ssreflect_2.3.0-1.debian.tar.xz 126722024-Dec-18 16:08
ssreflect_2.3.0.orig.tar.gz 18807882024-Dec-18 16:08
libcoq-mathcomp-solvable_2.2.0-2+b9_s390x.deb 48084362024-Nov-21 22:02
libcoq-mathcomp_2.2.0-2+b9_s390x.deb 28525322024-Nov-21 22:02
libcoq-mathcomp-ssreflect_2.2.0-2+b9_s390x.deb 58696442024-Nov-21 22:02
libcoq-mathcomp-fingroup_2.2.0-2+b9_s390x.deb 21468562024-Nov-21 22:02
libcoq-mathcomp-field_2.2.0-2+b9_s390x.deb 32335242024-Nov-21 22:02
libcoq-mathcomp-character_2.2.0-2+b9_s390x.deb 42130162024-Nov-21 22:02
libcoq-mathcomp-algebra_2.2.0-2+b9_s390x.deb 97292602024-Nov-21 22:02
libcoq-mathcomp-solvable_2.2.0-2+b7_riscv64.deb 48085682024-Nov-21 03:56
libcoq-mathcomp-fingroup_2.2.0-2+b7_riscv64.deb 21467642024-Nov-21 03:56
libcoq-mathcomp-field_2.2.0-2+b7_riscv64.deb 32346522024-Nov-21 03:56
libcoq-mathcomp-algebra_2.2.0-2+b7_riscv64.deb 97296522024-Nov-21 03:56
libcoq-mathcomp-ssreflect_2.2.0-2+b7_riscv64.deb 58692722024-Nov-21 03:56
libcoq-mathcomp_2.2.0-2+b7_riscv64.deb 28525922024-Nov-21 03:56
libcoq-mathcomp-character_2.2.0-2+b7_riscv64.deb 42119282024-Nov-21 03:56
libcoq-mathcomp-ssreflect_2.2.0-2+b8_arm64.deb 58680842024-Nov-20 19:45
libcoq-mathcomp_2.2.0-2+b8_arm64.deb 28523562024-Nov-20 19:45
libcoq-mathcomp-field_2.2.0-2+b8_arm64.deb 32332122024-Nov-20 19:44
libcoq-mathcomp-algebra_2.2.0-2+b8_arm64.deb 97282242024-Nov-20 19:44
libcoq-mathcomp-fingroup_2.2.0-2+b8_arm64.deb 21475242024-Nov-20 19:44
libcoq-mathcomp-character_2.2.0-2+b8_arm64.deb 42145762024-Nov-20 19:44
libcoq-mathcomp-solvable_2.2.0-2+b8_arm64.deb 48083042024-Nov-20 19:44
libcoq-mathcomp-solvable_2.2.0-2+b8_ppc64el.deb 48054842024-Nov-20 18:33
libcoq-mathcomp_2.2.0-2+b8_ppc64el.deb 28526882024-Nov-20 18:33
libcoq-mathcomp-ssreflect_2.2.0-2+b8_ppc64el.deb 58695082024-Nov-20 18:33
libcoq-mathcomp-fingroup_2.2.0-2+b8_ppc64el.deb 21466802024-Nov-20 18:33
libcoq-mathcomp-field_2.2.0-2+b8_ppc64el.deb 32325762024-Nov-20 18:33
libcoq-mathcomp-character_2.2.0-2+b8_ppc64el.deb 42139482024-Nov-20 18:33
libcoq-mathcomp-algebra_2.2.0-2+b8_ppc64el.deb 97335562024-Nov-20 18:33
libcoq-mathcomp-field_2.2.0-2+b9_amd64.deb 32334082024-Nov-20 17:02
libcoq-mathcomp-character_2.2.0-2+b9_amd64.deb 42152922024-Nov-20 17:02
libcoq-mathcomp-fingroup_2.2.0-2+b9_amd64.deb 21467282024-Nov-20 17:02
libcoq-mathcomp-ssreflect_2.2.0-2+b9_amd64.deb 58694042024-Nov-20 17:02
libcoq-mathcomp-algebra_2.2.0-2+b9_amd64.deb 97277002024-Nov-20 17:02
libcoq-mathcomp-solvable_2.2.0-2+b9_amd64.deb 48081802024-Nov-20 17:02
libcoq-mathcomp_2.2.0-2+b9_amd64.deb 28527922024-Nov-20 17:02
ssreflect_2.2.0-2.dsc 23912024-Aug-03 08:23
ssreflect_2.2.0-2.debian.tar.xz 126602024-Aug-03 08:23
ssreflect_2.2.0.orig.tar.gz 18390932024-Apr-26 14:06
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-character_1.15.0-1+b4_ppc64el.deb 39592242023-Feb-13 22:59
libcoq-mathcomp-field_1.15.0-1+b4_ppc64el.deb 27650402023-Feb-13 22:59
libcoq-mathcomp_1.15.0-1+b4_ppc64el.deb 31578882023-Feb-13 22:59
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-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_1.15.0-1+b4_arm64.deb 31577122023-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-field_1.15.0-1+b4_arm64.deb 27646562023-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_armhf.deb 65022762023-Feb-13 10:25
libcoq-mathcomp_1.15.0-1+b4_armhf.deb 31580962023-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-fingroup_1.15.0-1+b4_armhf.deb 19196402023-Feb-13 10:25
libcoq-mathcomp-field_1.15.0-1+b4_armhf.deb 27650002023-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_i386.deb 42069682023-Feb-13 10:00
libcoq-mathcomp-algebra_1.15.0-1+b4_i386.deb 65013562023-Feb-13 10:00
libcoq-mathcomp-character_1.15.0-1+b4_i386.deb 39597962023-Feb-13 10:00
libcoq-mathcomp_1.15.0-1+b4_i386.deb 31577482023-Feb-13 10:00
libcoq-mathcomp-fingroup_1.15.0-1+b4_i386.deb 19193322023-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_i386.deb 27651122023-Feb-13 10:00
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_1.15.0-1+b4_amd64.deb 31578802023-Feb-13 09:55
libcoq-mathcomp-character_1.15.0-1+b4_amd64.deb 39603482023-Feb-13 09:55
libcoq-mathcomp-fingroup_1.15.0-1+b4_amd64.deb 19199562023-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-ssreflect_1.15.0-1+b4_s390x.deb 42077762023-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-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-algebra_1.15.0-1+b4_s390x.deb 65021842023-Feb-13 09:50
libcoq-mathcomp-solvable_1.15.0-1+b4_s390x.deb 45354082023-Feb-13 09:50
ssreflect_1.15.0.orig.tar.gz 13592832022-Jul-05 07:05
ssreflect_1.15.0-1.dsc 26032022-Jul-05 07:05
ssreflect_1.15.0-1.debian.tar.xz 123802022-Jul-05 07:05
libssreflect-coq_1.12.0-1_all.deb 264215002021-Jan-11 12:56
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
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