Index of /ubuntu/pool/universe/s/ssreflect
Name
Last modified
Size
Parent Directory
-
libcoq-mathcomp-algebra_1.15.0-1_amd64.deb
2022-07-05 13:19
7.0M
libcoq-mathcomp-algebra_1.15.0-1_arm64.deb
2022-07-05 19:58
7.0M
libcoq-mathcomp-algebra_1.15.0-1_armhf.deb
2022-07-05 13:19
7.0M
libcoq-mathcomp-algebra_1.15.0-1_ppc64el.deb
2022-07-05 13:19
7.0M
libcoq-mathcomp-algebra_1.15.0-1_riscv64.deb
2022-07-06 03:58
7.0M
libcoq-mathcomp-algebra_1.15.0-1_s390x.deb
2022-07-05 13:19
7.0M
libcoq-mathcomp-character_1.15.0-1_amd64.deb
2022-07-05 13:19
4.3M
libcoq-mathcomp-character_1.15.0-1_arm64.deb
2022-07-05 19:58
4.3M
libcoq-mathcomp-character_1.15.0-1_armhf.deb
2022-07-05 13:19
4.3M
libcoq-mathcomp-character_1.15.0-1_ppc64el.deb
2022-07-05 13:19
4.3M
libcoq-mathcomp-character_1.15.0-1_riscv64.deb
2022-07-06 03:58
4.3M
libcoq-mathcomp-character_1.15.0-1_s390x.deb
2022-07-05 13:19
4.3M
libcoq-mathcomp-field_1.15.0-1_amd64.deb
2022-07-05 13:19
3.0M
libcoq-mathcomp-field_1.15.0-1_arm64.deb
2022-07-05 19:58
3.0M
libcoq-mathcomp-field_1.15.0-1_armhf.deb
2022-07-05 13:19
3.0M
libcoq-mathcomp-field_1.15.0-1_ppc64el.deb
2022-07-05 13:19
3.0M
libcoq-mathcomp-field_1.15.0-1_riscv64.deb
2022-07-06 03:58
3.0M
libcoq-mathcomp-field_1.15.0-1_s390x.deb
2022-07-05 13:19
3.0M
libcoq-mathcomp-fingroup_1.15.0-1_amd64.deb
2022-07-05 13:19
2.0M
libcoq-mathcomp-fingroup_1.15.0-1_arm64.deb
2022-07-05 19:58
2.0M
libcoq-mathcomp-fingroup_1.15.0-1_armhf.deb
2022-07-05 13:19
2.0M
libcoq-mathcomp-fingroup_1.15.0-1_ppc64el.deb
2022-07-05 13:19
2.0M
libcoq-mathcomp-fingroup_1.15.0-1_riscv64.deb
2022-07-06 03:58
2.0M
libcoq-mathcomp-fingroup_1.15.0-1_s390x.deb
2022-07-05 13:19
2.0M
libcoq-mathcomp-solvable_1.15.0-1_amd64.deb
2022-07-05 13:19
5.0M
libcoq-mathcomp-solvable_1.15.0-1_arm64.deb
2022-07-05 19:58
5.0M
libcoq-mathcomp-solvable_1.15.0-1_armhf.deb
2022-07-05 13:19
5.0M
libcoq-mathcomp-solvable_1.15.0-1_ppc64el.deb
2022-07-05 13:19
5.0M
libcoq-mathcomp-solvable_1.15.0-1_riscv64.deb
2022-07-06 03:58
5.0M
libcoq-mathcomp-solvable_1.15.0-1_s390x.deb
2022-07-05 13:19
5.0M
libcoq-mathcomp-ssreflect_1.15.0-1_amd64.deb
2022-07-05 13:19
4.5M
libcoq-mathcomp-ssreflect_1.15.0-1_arm64.deb
2022-07-05 19:58
4.5M
libcoq-mathcomp-ssreflect_1.15.0-1_armhf.deb
2022-07-05 13:19
4.5M
libcoq-mathcomp-ssreflect_1.15.0-1_ppc64el.deb
2022-07-05 13:19
4.5M
libcoq-mathcomp-ssreflect_1.15.0-1_riscv64.deb
2022-07-06 03:58
4.5M
libcoq-mathcomp-ssreflect_1.15.0-1_s390x.deb
2022-07-05 13:19
4.5M
libcoq-mathcomp_1.15.0-1_amd64.deb
2022-07-05 13:19
2.5M
libcoq-mathcomp_1.15.0-1_arm64.deb
2022-07-05 19:58
2.5M
libcoq-mathcomp_1.15.0-1_armhf.deb
2022-07-05 13:19
2.5M
libcoq-mathcomp_1.15.0-1_ppc64el.deb
2022-07-05 13:19
2.5M
libcoq-mathcomp_1.15.0-1_riscv64.deb
2022-07-06 03:58
2.5M
libcoq-mathcomp_1.15.0-1_s390x.deb
2022-07-05 13:19
2.5M
libssreflect-coq_1.2+dfsg-3build1_all.deb
2010-03-06 08:04
3.5M
libssreflect-coq_1.2+dfsg-6_all.deb
2010-07-29 12:05
3.5M
libssreflect-coq_1.3pl1-4build1_all.deb
2011-08-25 12:03
15M
libssreflect-coq_1.3pl2-2build1_all.deb
2012-01-08 16:03
15M
libssreflect-coq_1.3pl4-1_all.deb
2012-06-10 19:04
15M
libssreflect-coq_1.4-2_all.deb
2013-05-09 18:33
24M
libssreflect-coq_1.5-2_all.deb
2014-07-30 18:38
1.1M
libssreflect-coq_1.6.1-2_all.deb
2016-12-30 19:03
23M
libssreflect-coq_1.6.1-2build4_all.deb
2017-08-31 02:03
23M
libssreflect-coq_1.6.1-3build1_all.deb
2017-10-28 17:03
23M
libssreflect-coq_1.9.0+dfsg-1_all.deb
2019-08-21 11:43
26M
libssreflect-coq_1.11.0-1build1_all.deb
2020-10-05 13:28
24M
libssreflect-coq_1.12.0-1_all.deb
2021-01-11 18:29
25M
libssreflect-ocaml-dev_1.2+dfsg-3build1_amd64.deb
2010-03-06 09:04
316K
libssreflect-ocaml-dev_1.2+dfsg-3build1_i386.deb
2010-03-06 08:05
307K
libssreflect-ocaml-dev_1.2+dfsg-3build1_ia64.deb
2010-03-06 11:04
72K
libssreflect-ocaml-dev_1.2+dfsg-3build1_powerpc.deb
2010-03-06 09:04
438K
libssreflect-ocaml-dev_1.2+dfsg-3build1_sparc.deb
2010-03-06 09:05
399K
libssreflect-ocaml-dev_1.2+dfsg-6_amd64.deb
2010-07-29 15:07
316K
libssreflect-ocaml-dev_1.2+dfsg-6_armel.deb
2010-09-19 14:04
72K
libssreflect-ocaml-dev_1.2+dfsg-6_i386.deb
2010-07-29 12:05
307K
libssreflect-ocaml-dev_1.2+dfsg-6_powerpc.deb
2010-09-20 13:32
438K
libssreflect-ocaml-dev_1.3pl1-4build1_amd64.deb
2011-08-25 11:03
375K
libssreflect-ocaml-dev_1.3pl1-4build1_armel.deb
2011-08-25 17:04
417K
libssreflect-ocaml-dev_1.3pl1-4build1_i386.deb
2011-08-25 12:03
367K
libssreflect-ocaml-dev_1.3pl1-4build1_powerpc.deb
2011-08-25 11:04
524K
libssreflect-ocaml-dev_1.3pl2-2build1_amd64.deb
2012-01-08 15:33
381K
libssreflect-ocaml-dev_1.3pl2-2build1_armel.deb
2012-01-08 15:33
424K
libssreflect-ocaml-dev_1.3pl2-2build1_i386.deb
2012-01-08 16:03
375K
libssreflect-ocaml-dev_1.3pl2-2build1_powerpc.deb
2012-01-09 00:33
534K
libssreflect-ocaml-dev_1.3pl4-1_amd64.deb
2012-06-10 19:04
381K
libssreflect-ocaml-dev_1.3pl4-1_armel.deb
2012-06-10 19:04
429K
libssreflect-ocaml-dev_1.3pl4-1_i386.deb
2012-06-10 19:05
378K
libssreflect-ocaml-dev_1.3pl4-1_powerpc.deb
2012-06-12 01:33
534K
libssreflect-ocaml-dev_1.4-2_amd64.deb
2013-05-09 18:03
81K
libssreflect-ocaml-dev_1.4-2_i386.deb
2013-05-09 18:33
80K
libssreflect-ocaml-dev_1.4-2_powerpc.deb
2013-05-09 19:03
81K
libssreflect-ocaml-dev_1.5-2_amd64.deb
2014-07-30 18:38
62K
libssreflect-ocaml-dev_1.5-2_arm64.deb
2014-07-30 18:39
62K
libssreflect-ocaml-dev_1.5-2_armhf.deb
2014-07-30 18:39
62K
libssreflect-ocaml-dev_1.5-2_i386.deb
2014-07-30 18:40
62K
libssreflect-ocaml-dev_1.5-2_powerpc.deb
2014-07-30 18:40
62K
libssreflect-ocaml-dev_1.5-2_ppc64el.deb
2014-07-30 18:41
62K
libssreflect-ocaml-dev_1.6.1-2_amd64.deb
2016-12-30 19:03
59K
libssreflect-ocaml-dev_1.6.1-2_arm64.deb
2016-12-30 19:03
59K
libssreflect-ocaml-dev_1.6.1-2_armhf.deb
2016-12-30 19:03
59K
libssreflect-ocaml-dev_1.6.1-2_i386.deb
2016-12-30 19:03
59K
libssreflect-ocaml-dev_1.6.1-2_ppc64el.deb
2016-12-30 19:03
59K
libssreflect-ocaml-dev_1.6.1-2_s390x.deb
2016-12-30 19:03
59K
libssreflect-ocaml-dev_1.6.1-2build4_amd64.deb
2017-08-31 02:03
59K
libssreflect-ocaml-dev_1.6.1-2build4_armhf.deb
2017-08-31 01:24
59K
libssreflect-ocaml-dev_1.6.1-2build4_i386.deb
2017-08-31 01:53
59K
libssreflect-ocaml-dev_1.6.1-2build4_ppc64el.deb
2017-08-31 01:24
59K
libssreflect-ocaml-dev_1.6.1-2build4_s390x.deb
2017-08-31 01:24
59K
libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb
2017-10-28 17:03
59K
libssreflect-ocaml-dev_1.6.1-3build1_arm64.deb
2017-10-28 17:44
59K
libssreflect-ocaml-dev_1.6.1-3build1_armhf.deb
2017-10-28 17:44
59K
libssreflect-ocaml-dev_1.6.1-3build1_i386.deb
2017-10-28 17:03
59K
libssreflect-ocaml-dev_1.6.1-3build1_ppc64el.deb
2017-10-28 17:03
59K
libssreflect-ocaml-dev_1.6.1-3build1_s390x.deb
2017-10-28 17:04
59K
libssreflect-ocaml_1.2+dfsg-2_armel.deb
2009-11-23 19:12
155K
libssreflect-ocaml_1.2+dfsg-3build1_amd64.deb
2010-03-06 09:04
374K
libssreflect-ocaml_1.2+dfsg-3build1_i386.deb
2010-03-06 08:05
315K
libssreflect-ocaml_1.2+dfsg-3build1_ia64.deb
2010-03-06 11:04
94K
libssreflect-ocaml_1.2+dfsg-3build1_powerpc.deb
2010-03-06 09:04
399K
libssreflect-ocaml_1.2+dfsg-3build1_sparc.deb
2010-03-06 09:05
406K
libssreflect-ocaml_1.2+dfsg-6_amd64.deb
2010-07-29 15:07
369K
libssreflect-ocaml_1.2+dfsg-6_armel.deb
2010-09-19 14:05
95K
libssreflect-ocaml_1.2+dfsg-6_i386.deb
2010-07-29 12:05
309K
libssreflect-ocaml_1.2+dfsg-6_powerpc.deb
2010-09-20 13:32
394K
libssreflect-ocaml_1.3pl1-4build1_amd64.deb
2011-08-25 11:03
453K
libssreflect-ocaml_1.3pl1-4build1_armel.deb
2011-08-25 17:04
115K
libssreflect-ocaml_1.3pl1-4build1_i386.deb
2011-08-25 12:03
381K
libssreflect-ocaml_1.3pl1-4build1_powerpc.deb
2011-08-25 11:04
482K
libssreflect-ocaml_1.3pl2-2build1_amd64.deb
2012-01-08 15:33
460K
libssreflect-ocaml_1.3pl2-2build1_armel.deb
2012-01-08 15:33
117K
libssreflect-ocaml_1.3pl2-2build1_i386.deb
2012-01-08 16:03
387K
libssreflect-ocaml_1.3pl2-2build1_powerpc.deb
2012-01-09 00:33
493K
libssreflect-ocaml_1.3pl4-1_amd64.deb
2012-06-10 19:04
460K
libssreflect-ocaml_1.3pl4-1_armel.deb
2012-06-10 19:04
117K
libssreflect-ocaml_1.3pl4-1_i386.deb
2012-06-10 19:05
388K
libssreflect-ocaml_1.3pl4-1_powerpc.deb
2012-06-12 01:33
494K
libssreflect-ocaml_1.4-2_amd64.deb
2013-05-09 18:03
566K
libssreflect-ocaml_1.4-2_i386.deb
2013-05-09 18:33
477K
libssreflect-ocaml_1.4-2_powerpc.deb
2013-05-09 19:03
603K
libssreflect-ocaml_1.5-2_amd64.deb
2014-07-30 18:38
461K
libssreflect-ocaml_1.5-2_arm64.deb
2014-07-30 18:39
106K
libssreflect-ocaml_1.5-2_armhf.deb
2014-07-30 18:39
434K
libssreflect-ocaml_1.5-2_i386.deb
2014-07-30 18:40
399K
libssreflect-ocaml_1.5-2_powerpc.deb
2014-07-30 18:40
396K
libssreflect-ocaml_1.5-2_ppc64el.deb
2014-07-30 18:41
107K
libssreflect-ocaml_1.6.1-2_amd64.deb
2016-12-30 19:03
342K
libssreflect-ocaml_1.6.1-2_arm64.deb
2016-12-30 19:03
337K
libssreflect-ocaml_1.6.1-2_armhf.deb
2016-12-30 19:03
336K
libssreflect-ocaml_1.6.1-2_i386.deb
2016-12-30 19:03
307K
libssreflect-ocaml_1.6.1-2_ppc64el.deb
2016-12-30 19:03
89K
libssreflect-ocaml_1.6.1-2_s390x.deb
2016-12-30 19:03
89K
libssreflect-ocaml_1.6.1-2build4_amd64.deb
2017-08-31 02:03
387K
libssreflect-ocaml_1.6.1-2build4_armhf.deb
2017-08-31 01:24
414K
libssreflect-ocaml_1.6.1-2build4_i386.deb
2017-08-31 01:53
335K
libssreflect-ocaml_1.6.1-2build4_ppc64el.deb
2017-08-31 01:24
395K
libssreflect-ocaml_1.6.1-2build4_s390x.deb
2017-08-31 01:24
404K
libssreflect-ocaml_1.6.1-3build1_amd64.deb
2017-10-28 17:03
390K
libssreflect-ocaml_1.6.1-3build1_arm64.deb
2017-10-28 17:44
448K
libssreflect-ocaml_1.6.1-3build1_armhf.deb
2017-10-28 17:44
375K
libssreflect-ocaml_1.6.1-3build1_i386.deb
2017-10-28 17:03
340K
libssreflect-ocaml_1.6.1-3build1_ppc64el.deb
2017-10-28 17:03
407K
libssreflect-ocaml_1.6.1-3build1_s390x.deb
2017-10-28 17:04
408K
ssreflect_1.2+dfsg-3build1.debian.tar.gz
2010-03-06 08:04
12K
ssreflect_1.2+dfsg-3build1.dsc
2010-03-06 08:04
1.8K
ssreflect_1.2+dfsg-6.debian.tar.gz
2010-07-29 11:05
12K
ssreflect_1.2+dfsg-6.dsc
2010-07-29 11:05
1.5K
ssreflect_1.2+dfsg.orig.tar.gz
2009-11-20 20:04
324K
ssreflect_1.3pl1-4build1.debian.tar.gz
2011-08-25 11:03
12K
ssreflect_1.3pl1-4build1.dsc
2011-08-25 11:03
1.5K
ssreflect_1.3pl1.orig.tar.gz
2011-04-30 18:05
809K
ssreflect_1.3pl2-2build1.debian.tar.gz
2012-01-08 15:33
13K
ssreflect_1.3pl2-2build1.dsc
2012-01-08 15:33
2.2K
ssreflect_1.3pl2.orig.tar.gz
2011-12-05 12:07
815K
ssreflect_1.3pl4-1.debian.tar.gz
2012-06-10 17:04
12K
ssreflect_1.3pl4-1.dsc
2012-06-10 17:04
2.2K
ssreflect_1.3pl4.orig.tar.gz
2012-06-10 17:04
815K
ssreflect_1.4-2.debian.tar.gz
2013-05-09 17:33
12K
ssreflect_1.4-2.dsc
2013-05-09 17:33
2.2K
ssreflect_1.4.orig.tar.gz
2013-05-09 17:33
1.0M
ssreflect_1.5-2.debian.tar.xz
2014-07-30 17:44
11K
ssreflect_1.5-2.dsc
2014-07-30 17:44
2.2K
ssreflect_1.5.orig.tar.gz
2014-04-26 12:12
213K
ssreflect_1.6.1-2.debian.tar.xz
2016-12-30 17:13
12K
ssreflect_1.6.1-2.dsc
2016-12-30 17:13
2.2K
ssreflect_1.6.1-2build4.debian.tar.xz
2017-08-31 01:23
12K
ssreflect_1.6.1-2build4.dsc
2017-08-31 01:24
2.0K
ssreflect_1.6.1-3build1.debian.tar.xz
2017-10-28 16:19
12K
ssreflect_1.6.1-3build1.dsc
2017-10-28 16:19
2.2K
ssreflect_1.6.1.orig.tar.gz
2016-12-30 17:13
4.5M
ssreflect_1.9.0+dfsg-1.debian.tar.xz
2019-08-21 11:23
12K
ssreflect_1.9.0+dfsg-1.dsc
2019-08-21 11:23
2.1K
ssreflect_1.9.0+dfsg.orig.tar.gz
2019-08-21 11:23
3.9M
ssreflect_1.11.0-1build1.debian.tar.xz
2020-10-05 12:49
13K
ssreflect_1.11.0-1build1.dsc
2020-10-05 12:49
2.1K
ssreflect_1.11.0.orig.tar.gz
2020-09-16 06:13
1.2M
ssreflect_1.12.0-1.debian.tar.xz
2021-01-11 17:18
12K
ssreflect_1.12.0-1.dsc
2021-01-11 17:18
2.0K
ssreflect_1.12.0.orig.tar.gz
2021-01-11 17:18
1.3M
ssreflect_1.15.0-1.debian.tar.xz
2022-07-05 11:28
12K
ssreflect_1.15.0-1.dsc
2022-07-05 11:28
2.5K
ssreflect_1.15.0.orig.tar.gz
2022-07-05 11:28
1.3M
Apache/2.4.52 (Ubuntu) Server at 91.189.91.91 Port 80