Index of /pub/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.orig.tar.gz 13592832022-Jul-05 07:05
ssreflect_1.15.0-1.debian.tar.xz 123802022-Jul-05 07:05
ssreflect_1.15.0-1.dsc 26032022-Jul-05 07:05
libcoq-mathcomp_1.15.0-1+b4_s390x.deb 31578522023-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_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-fingroup_1.15.0-1+b4_s390x.deb 19193042023-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_amd64.deb 42078442023-Feb-13 09:55
libcoq-mathcomp-character_1.15.0-1+b4_amd64.deb 39603482023-Feb-13 09:55
libcoq-mathcomp-algebra_1.15.0-1+b4_amd64.deb 65018722023-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_1.15.0-1+b4_amd64.deb 31578802023-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_i386.deb 31577482023-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_i386.deb 27651122023-Feb-13 10:00
libcoq-mathcomp-ssreflect_1.15.0-1+b4_i386.deb 42069682023-Feb-13 10:00
libcoq-mathcomp-character_1.15.0-1+b4_i386.deb 39597962023-Feb-13 10:00
libcoq-mathcomp-ssreflect_1.15.0-1+b4_armhf.deb 42071602023-Feb-13 10:25
libcoq-mathcomp-field_1.15.0-1+b4_armhf.deb 27650002023-Feb-13 10:25
libcoq-mathcomp_1.15.0-1+b4_armhf.deb 31580962023-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-algebra_1.15.0-1+b4_armhf.deb 65022762023-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_arm64.deb 19196882023-Feb-13 10:40
libcoq-mathcomp-character_1.15.0-1+b4_arm64.deb 39596682023-Feb-13 10:40
libcoq-mathcomp-field_1.15.0-1+b4_arm64.deb 27646562023-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-algebra_1.15.0-1+b4_arm64.deb 65011162023-Feb-13 10:40
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-fingroup_1.15.0-1+b4_ppc64el.deb 19197122023-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.3.0.orig.tar.gz 18807882024-Dec-18 16:08
ssreflect_2.3.0-1.debian.tar.xz 126722024-Dec-18 16:08
ssreflect_2.3.0-1.dsc 26342024-Dec-18 16:08
libcoq-mathcomp_2.3.0-1+b7_amd64.deb 30635802025-Jun-15 04:01
libcoq-mathcomp-algebra_2.3.0-1+b7_amd64.deb 120386482025-Jun-15 04:01
libcoq-mathcomp-character_2.3.0-1+b7_amd64.deb 42892802025-Jun-15 04:01
libcoq-mathcomp-field_2.3.0-1+b7_amd64.deb 34062962025-Jun-15 04:01
libcoq-mathcomp-fingroup_2.3.0-1+b7_amd64.deb 23001002025-Jun-15 04:01
libcoq-mathcomp-solvable_2.3.0-1+b7_amd64.deb 48659082025-Jun-15 04:01
libcoq-mathcomp-ssreflect_2.3.0-1+b7_amd64.deb 82554402025-Jun-15 04:01
libcoq-mathcomp-ssreflect_2.3.0-1+b7_arm64.deb 82544322025-Jun-15 07:18
libcoq-mathcomp-fingroup_2.3.0-1+b7_arm64.deb 22996322025-Jun-15 07:18
libcoq-mathcomp-algebra_2.3.0-1+b7_arm64.deb 120365722025-Jun-15 07:18
libcoq-mathcomp_2.3.0-1+b7_arm64.deb 30636362025-Jun-15 07:18
libcoq-mathcomp-character_2.3.0-1+b7_arm64.deb 42853282025-Jun-15 07:18
libcoq-mathcomp-solvable_2.3.0-1+b7_arm64.deb 48654122025-Jun-15 07:18
libcoq-mathcomp-field_2.3.0-1+b7_arm64.deb 34075042025-Jun-15 07:18
libcoq-mathcomp-solvable_2.3.0-1+b7_ppc64el.deb 48652282025-Jun-15 08:03
libcoq-mathcomp-algebra_2.3.0-1+b7_ppc64el.deb 120369122025-Jun-15 08:03
libcoq-mathcomp-character_2.3.0-1+b7_ppc64el.deb 42864562025-Jun-15 08:03
libcoq-mathcomp-field_2.3.0-1+b7_ppc64el.deb 34077042025-Jun-15 08:03
libcoq-mathcomp_2.3.0-1+b7_ppc64el.deb 30634642025-Jun-15 08:03
libcoq-mathcomp-fingroup_2.3.0-1+b7_ppc64el.deb 22995802025-Jun-15 08:03
libcoq-mathcomp-ssreflect_2.3.0-1+b7_ppc64el.deb 82529962025-Jun-15 08:03
libcoq-mathcomp-character_2.3.0-1+b6_riscv64.deb 42849722025-Jun-17 20:24
libcoq-mathcomp-algebra_2.3.0-1+b6_riscv64.deb 120370082025-Jun-17 20:24
libcoq-mathcomp-solvable_2.3.0-1+b6_riscv64.deb 48654442025-Jun-17 20:24
libcoq-mathcomp-ssreflect_2.3.0-1+b6_riscv64.deb 82545162025-Jun-17 20:24
libcoq-mathcomp-fingroup_2.3.0-1+b6_riscv64.deb 22996962025-Jun-17 20:24
libcoq-mathcomp_2.3.0-1+b6_riscv64.deb 30635482025-Jun-17 20:24
libcoq-mathcomp-field_2.3.0-1+b6_riscv64.deb 34070802025-Jun-17 20:24
libcoq-mathcomp-field_2.3.0-1+b7_s390x.deb 34068282025-Jun-17 22:32
libcoq-mathcomp_2.3.0-1+b7_s390x.deb 30635802025-Jun-17 22:32
libcoq-mathcomp-ssreflect_2.3.0-1+b7_s390x.deb 82536642025-Jun-17 22:32
libcoq-mathcomp-solvable_2.3.0-1+b7_s390x.deb 48658482025-Jun-17 22:32
libcoq-mathcomp-fingroup_2.3.0-1+b7_s390x.deb 22997362025-Jun-17 22:32
libcoq-mathcomp-character_2.3.0-1+b7_s390x.deb 42876162025-Jun-17 22:32
libcoq-mathcomp-algebra_2.3.0-1+b7_s390x.deb 120353562025-Jun-17 22:32
libcoq-mathcomp-fingroup_2.3.0-1+b10_arm64.deb 22996722025-Sep-16 08:19
libcoq-mathcomp_2.3.0-1+b10_arm64.deb 30636722025-Sep-16 08:19
libcoq-mathcomp-solvable_2.3.0-1+b10_arm64.deb 48649322025-Sep-16 08:19
libcoq-mathcomp-character_2.3.0-1+b10_arm64.deb 42878682025-Sep-16 08:19
libcoq-mathcomp-algebra_2.3.0-1+b10_arm64.deb 120339722025-Sep-16 08:19
libcoq-mathcomp-field_2.3.0-1+b10_arm64.deb 34076202025-Sep-16 08:19
libcoq-mathcomp-ssreflect_2.3.0-1+b10_arm64.deb 82555402025-Sep-16 08:19
libcoq-mathcomp-solvable_2.3.0-1+b10_amd64.deb 48654682025-Sep-16 08:19
libcoq-mathcomp_2.3.0-1+b10_amd64.deb 30635762025-Sep-16 08:19
libcoq-mathcomp-ssreflect_2.3.0-1+b10_amd64.deb 82532802025-Sep-16 08:19
libcoq-mathcomp-algebra_2.3.0-1+b10_amd64.deb 120400042025-Sep-16 08:19
libcoq-mathcomp-field_2.3.0-1+b10_amd64.deb 34071242025-Sep-16 08:19
libcoq-mathcomp-character_2.3.0-1+b10_amd64.deb 42855842025-Sep-16 08:19
libcoq-mathcomp-fingroup_2.3.0-1+b10_amd64.deb 22997602025-Sep-16 08:19
libcoq-mathcomp_2.3.0-1+b10_ppc64el.deb 30639682025-Sep-16 09:00
libcoq-mathcomp-algebra_2.3.0-1+b10_ppc64el.deb 120361802025-Sep-16 09:00
libcoq-mathcomp-character_2.3.0-1+b10_ppc64el.deb 42840722025-Sep-16 09:00
libcoq-mathcomp-field_2.3.0-1+b10_ppc64el.deb 34073522025-Sep-16 09:00
libcoq-mathcomp-fingroup_2.3.0-1+b10_ppc64el.deb 23000442025-Sep-16 09:00
libcoq-mathcomp-solvable_2.3.0-1+b10_ppc64el.deb 48646802025-Sep-16 09:00
libcoq-mathcomp-ssreflect_2.3.0-1+b10_ppc64el.deb 82529842025-Sep-16 09:00
libcoq-mathcomp-ssreflect_2.3.0-1+b10_s390x.deb 82549922025-Sep-16 09:30
libcoq-mathcomp-field_2.3.0-1+b10_s390x.deb 34074082025-Sep-16 09:30
libcoq-mathcomp_2.3.0-1+b10_s390x.deb 30638242025-Sep-16 09:30
libcoq-mathcomp-fingroup_2.3.0-1+b10_s390x.deb 22997602025-Sep-16 09:30
libcoq-mathcomp-character_2.3.0-1+b10_s390x.deb 42862522025-Sep-16 09:30
libcoq-mathcomp-algebra_2.3.0-1+b10_s390x.deb 120347922025-Sep-16 09:30
libcoq-mathcomp-solvable_2.3.0-1+b10_s390x.deb 48655602025-Sep-16 09:30
libcoq-mathcomp_2.3.0-1+b9_riscv64.deb 30636162025-Sep-16 21:34
libcoq-mathcomp-algebra_2.3.0-1+b9_riscv64.deb 120357562025-Sep-16 21:34
libcoq-mathcomp-character_2.3.0-1+b9_riscv64.deb 42875602025-Sep-16 21:34
libcoq-mathcomp-field_2.3.0-1+b9_riscv64.deb 34066042025-Sep-16 21:34
libcoq-mathcomp-fingroup_2.3.0-1+b9_riscv64.deb 22993282025-Sep-16 21:34
libcoq-mathcomp-solvable_2.3.0-1+b9_riscv64.deb 48647962025-Sep-16 21:34
libcoq-mathcomp-ssreflect_2.3.0-1+b9_riscv64.deb 82536362025-Sep-16 21:34
libcoq-mathcomp-fingroup_2.3.0-1+b11_amd64.deb 22997482025-Sep-24 10:04
libcoq-mathcomp_2.3.0-1+b11_amd64.deb 30637322025-Sep-24 10:04
libcoq-mathcomp-solvable_2.3.0-1+b11_amd64.deb 48645962025-Sep-24 10:04
libcoq-mathcomp-field_2.3.0-1+b11_amd64.deb 34055282025-Sep-24 10:04
libcoq-mathcomp-character_2.3.0-1+b11_amd64.deb 42865842025-Sep-24 10:04
libcoq-mathcomp-algebra_2.3.0-1+b11_amd64.deb 120354282025-Sep-24 10:04
libcoq-mathcomp-ssreflect_2.3.0-1+b11_amd64.deb 82538962025-Sep-24 10:04
libcoq-mathcomp_2.3.0-1+b11_arm64.deb 30637842025-Sep-24 10:39
libcoq-mathcomp-algebra_2.3.0-1+b11_arm64.deb 120345402025-Sep-24 10:39
libcoq-mathcomp-character_2.3.0-1+b11_arm64.deb 42840362025-Sep-24 10:39
libcoq-mathcomp-field_2.3.0-1+b11_arm64.deb 34066242025-Sep-24 10:39
libcoq-mathcomp-fingroup_2.3.0-1+b11_arm64.deb 22995642025-Sep-24 10:39
libcoq-mathcomp-solvable_2.3.0-1+b11_arm64.deb 48653882025-Sep-24 10:39
libcoq-mathcomp-ssreflect_2.3.0-1+b11_arm64.deb 82548282025-Sep-24 10:39
libcoq-mathcomp_2.3.0-1+b11_ppc64el.deb 30637442025-Sep-24 10:44
libcoq-mathcomp-solvable_2.3.0-1+b11_ppc64el.deb 48656522025-Sep-24 10:44
libcoq-mathcomp-character_2.3.0-1+b11_ppc64el.deb 42894282025-Sep-24 10:44
libcoq-mathcomp-algebra_2.3.0-1+b11_ppc64el.deb 120354242025-Sep-24 10:44
libcoq-mathcomp-ssreflect_2.3.0-1+b11_ppc64el.deb 82542122025-Sep-24 10:44
libcoq-mathcomp-fingroup_2.3.0-1+b11_ppc64el.deb 23001122025-Sep-24 10:44
libcoq-mathcomp-field_2.3.0-1+b11_ppc64el.deb 34073082025-Sep-24 10:44
libcoq-mathcomp-ssreflect_2.3.0-1+b11_s390x.deb 82543642025-Sep-24 19:14
libcoq-mathcomp-algebra_2.3.0-1+b11_s390x.deb 120357962025-Sep-24 19:14
libcoq-mathcomp-character_2.3.0-1+b11_s390x.deb 42884202025-Sep-24 19:14
libcoq-mathcomp-field_2.3.0-1+b11_s390x.deb 34077482025-Sep-24 19:14
libcoq-mathcomp-fingroup_2.3.0-1+b11_s390x.deb 22996642025-Sep-24 19:14
libcoq-mathcomp-solvable_2.3.0-1+b11_s390x.deb 48648642025-Sep-24 19:14
libcoq-mathcomp_2.3.0-1+b11_s390x.deb 30634962025-Sep-24 19:14
libcoq-mathcomp-ssreflect_2.3.0-1+b10_riscv64.deb 82541082025-Sep-25 11:29
libcoq-mathcomp-algebra_2.3.0-1+b10_riscv64.deb 120350522025-Sep-25 11:29
libcoq-mathcomp-character_2.3.0-1+b10_riscv64.deb 42873922025-Sep-25 11:29
libcoq-mathcomp-field_2.3.0-1+b10_riscv64.deb 34078242025-Sep-25 11:29
libcoq-mathcomp-fingroup_2.3.0-1+b10_riscv64.deb 23000442025-Sep-25 11:29
libcoq-mathcomp-solvable_2.3.0-1+b10_riscv64.deb 48651722025-Sep-25 11:29
libcoq-mathcomp_2.3.0-1+b10_riscv64.deb 30637922025-Sep-25 11:29
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