Index of /ubuntu-ports/pool/universe/s/ssreflect/

Index of /ubuntu-ports/pool/universe/s/ssreflect/


../
libcoq-mathcomp-algebra_1.14.0-7_all.deb           17-Feb-2022 13:11      7M
libcoq-mathcomp-algebra_1.15.0-1_arm64.deb         06-Jul-2022 02:58      7M
libcoq-mathcomp-algebra_1.15.0-1_armhf.deb         05-Jul-2022 20:19      7M
libcoq-mathcomp-algebra_1.15.0-1_ppc64el.deb       05-Jul-2022 20:19      7M
libcoq-mathcomp-algebra_1.15.0-1_riscv64.deb       06-Jul-2022 10:58      7M
libcoq-mathcomp-algebra_1.15.0-1_s390x.deb         05-Jul-2022 20:19      7M
libcoq-mathcomp-algebra_1.15.0-1build3_arm64.deb   03-Dec-2022 19:29      7M
libcoq-mathcomp-algebra_1.15.0-1build3_armhf.deb   03-Dec-2022 19:29      7M
libcoq-mathcomp-algebra_1.15.0-1build3_ppc64el.deb 03-Dec-2022 17:39      7M
libcoq-mathcomp-algebra_1.15.0-1build3_riscv64.deb 04-Dec-2022 00:44      7M
libcoq-mathcomp-algebra_1.15.0-1build3_s390x.deb   03-Dec-2022 17:58      7M
libcoq-mathcomp-algebra_1.15.0-1build4_arm64.deb   26-Jan-2023 21:48      7M
libcoq-mathcomp-algebra_1.15.0-1build4_armhf.deb   26-Jan-2023 21:24      7M
libcoq-mathcomp-algebra_1.15.0-1build4_ppc64el.deb 26-Jan-2023 20:54      7M
libcoq-mathcomp-algebra_1.15.0-1build4_riscv64.deb 27-Jan-2023 12:24      7M
libcoq-mathcomp-algebra_1.15.0-1build4_s390x.deb   26-Jan-2023 21:48      7M
libcoq-mathcomp-algebra_1.15.0-1build5_arm64.deb   17-Feb-2023 00:09      7M
libcoq-mathcomp-algebra_1.15.0-1build5_armhf.deb   17-Feb-2023 00:09      7M
libcoq-mathcomp-algebra_1.15.0-1build5_ppc64el.deb 16-Feb-2023 23:34      7M
libcoq-mathcomp-algebra_1.15.0-1build5_riscv64.deb 17-Feb-2023 08:15      7M
libcoq-mathcomp-algebra_1.15.0-1build5_s390x.deb   17-Feb-2023 00:40      7M
libcoq-mathcomp-character_1.14.0-7_all.deb         17-Feb-2022 13:11      4M
libcoq-mathcomp-character_1.15.0-1_arm64.deb       06-Jul-2022 02:58      4M
libcoq-mathcomp-character_1.15.0-1_armhf.deb       05-Jul-2022 20:19      4M
libcoq-mathcomp-character_1.15.0-1_ppc64el.deb     05-Jul-2022 20:19      4M
libcoq-mathcomp-character_1.15.0-1_riscv64.deb     06-Jul-2022 10:58      4M
libcoq-mathcomp-character_1.15.0-1_s390x.deb       05-Jul-2022 20:19      4M
libcoq-mathcomp-character_1.15.0-1build3_arm64.deb 03-Dec-2022 19:29      4M
libcoq-mathcomp-character_1.15.0-1build3_armhf.deb 03-Dec-2022 19:29      4M
libcoq-mathcomp-character_1.15.0-1build3_ppc64e..> 03-Dec-2022 17:39      4M
libcoq-mathcomp-character_1.15.0-1build3_riscv6..> 04-Dec-2022 00:44      4M
libcoq-mathcomp-character_1.15.0-1build3_s390x.deb 03-Dec-2022 17:58      4M
libcoq-mathcomp-character_1.15.0-1build4_arm64.deb 26-Jan-2023 21:48      4M
libcoq-mathcomp-character_1.15.0-1build4_armhf.deb 26-Jan-2023 21:24      4M
libcoq-mathcomp-character_1.15.0-1build4_ppc64e..> 26-Jan-2023 20:54      4M
libcoq-mathcomp-character_1.15.0-1build4_riscv6..> 27-Jan-2023 12:24      4M
libcoq-mathcomp-character_1.15.0-1build4_s390x.deb 26-Jan-2023 21:48      4M
libcoq-mathcomp-character_1.15.0-1build5_arm64.deb 17-Feb-2023 00:09      4M
libcoq-mathcomp-character_1.15.0-1build5_armhf.deb 17-Feb-2023 00:09      4M
libcoq-mathcomp-character_1.15.0-1build5_ppc64e..> 16-Feb-2023 23:34      4M
libcoq-mathcomp-character_1.15.0-1build5_riscv6..> 17-Feb-2023 08:15      4M
libcoq-mathcomp-character_1.15.0-1build5_s390x.deb 17-Feb-2023 00:40      4M
libcoq-mathcomp-field_1.14.0-7_all.deb             17-Feb-2022 13:11      3M
libcoq-mathcomp-field_1.15.0-1_arm64.deb           06-Jul-2022 02:58      3M
libcoq-mathcomp-field_1.15.0-1_armhf.deb           05-Jul-2022 20:19      3M
libcoq-mathcomp-field_1.15.0-1_ppc64el.deb         05-Jul-2022 20:19      3M
libcoq-mathcomp-field_1.15.0-1_riscv64.deb         06-Jul-2022 10:58      3M
libcoq-mathcomp-field_1.15.0-1_s390x.deb           05-Jul-2022 20:19      3M
libcoq-mathcomp-field_1.15.0-1build3_arm64.deb     03-Dec-2022 19:29      3M
libcoq-mathcomp-field_1.15.0-1build3_armhf.deb     03-Dec-2022 19:29      3M
libcoq-mathcomp-field_1.15.0-1build3_ppc64el.deb   03-Dec-2022 17:39      3M
libcoq-mathcomp-field_1.15.0-1build3_riscv64.deb   04-Dec-2022 00:44      3M
libcoq-mathcomp-field_1.15.0-1build3_s390x.deb     03-Dec-2022 17:58      3M
libcoq-mathcomp-field_1.15.0-1build4_arm64.deb     26-Jan-2023 21:48      3M
libcoq-mathcomp-field_1.15.0-1build4_armhf.deb     26-Jan-2023 21:24      3M
libcoq-mathcomp-field_1.15.0-1build4_ppc64el.deb   26-Jan-2023 20:54      3M
libcoq-mathcomp-field_1.15.0-1build4_riscv64.deb   27-Jan-2023 12:24      3M
libcoq-mathcomp-field_1.15.0-1build4_s390x.deb     26-Jan-2023 21:48      3M
libcoq-mathcomp-field_1.15.0-1build5_arm64.deb     17-Feb-2023 00:09      3M
libcoq-mathcomp-field_1.15.0-1build5_armhf.deb     17-Feb-2023 00:09      3M
libcoq-mathcomp-field_1.15.0-1build5_ppc64el.deb   16-Feb-2023 23:34      3M
libcoq-mathcomp-field_1.15.0-1build5_riscv64.deb   17-Feb-2023 08:15      3M
libcoq-mathcomp-field_1.15.0-1build5_s390x.deb     17-Feb-2023 00:40      3M
libcoq-mathcomp-fingroup_1.14.0-7_all.deb          17-Feb-2022 13:11      2M
libcoq-mathcomp-fingroup_1.15.0-1_arm64.deb        06-Jul-2022 02:58      2M
libcoq-mathcomp-fingroup_1.15.0-1_armhf.deb        05-Jul-2022 20:19      2M
libcoq-mathcomp-fingroup_1.15.0-1_ppc64el.deb      05-Jul-2022 20:19      2M
libcoq-mathcomp-fingroup_1.15.0-1_riscv64.deb      06-Jul-2022 10:58      2M
libcoq-mathcomp-fingroup_1.15.0-1_s390x.deb        05-Jul-2022 20:19      2M
libcoq-mathcomp-fingroup_1.15.0-1build3_arm64.deb  03-Dec-2022 19:29      2M
libcoq-mathcomp-fingroup_1.15.0-1build3_armhf.deb  03-Dec-2022 19:29      2M
libcoq-mathcomp-fingroup_1.15.0-1build3_ppc64el..> 03-Dec-2022 17:39      2M
libcoq-mathcomp-fingroup_1.15.0-1build3_riscv64..> 04-Dec-2022 00:44      2M
libcoq-mathcomp-fingroup_1.15.0-1build3_s390x.deb  03-Dec-2022 17:58      2M
libcoq-mathcomp-fingroup_1.15.0-1build4_arm64.deb  26-Jan-2023 21:48      2M
libcoq-mathcomp-fingroup_1.15.0-1build4_armhf.deb  26-Jan-2023 21:24      2M
libcoq-mathcomp-fingroup_1.15.0-1build4_ppc64el..> 26-Jan-2023 20:54      2M
libcoq-mathcomp-fingroup_1.15.0-1build4_riscv64..> 27-Jan-2023 12:24      2M
libcoq-mathcomp-fingroup_1.15.0-1build4_s390x.deb  26-Jan-2023 21:48      2M
libcoq-mathcomp-fingroup_1.15.0-1build5_arm64.deb  17-Feb-2023 00:09      2M
libcoq-mathcomp-fingroup_1.15.0-1build5_armhf.deb  17-Feb-2023 00:09      2M
libcoq-mathcomp-fingroup_1.15.0-1build5_ppc64el..> 16-Feb-2023 23:34      2M
libcoq-mathcomp-fingroup_1.15.0-1build5_riscv64..> 17-Feb-2023 08:15      2M
libcoq-mathcomp-fingroup_1.15.0-1build5_s390x.deb  17-Feb-2023 00:40      2M
libcoq-mathcomp-solvable_1.14.0-7_all.deb          17-Feb-2022 13:11      5M
libcoq-mathcomp-solvable_1.15.0-1_arm64.deb        06-Jul-2022 02:58      5M
libcoq-mathcomp-solvable_1.15.0-1_armhf.deb        05-Jul-2022 20:19      5M
libcoq-mathcomp-solvable_1.15.0-1_ppc64el.deb      05-Jul-2022 20:19      5M
libcoq-mathcomp-solvable_1.15.0-1_riscv64.deb      06-Jul-2022 10:58      5M
libcoq-mathcomp-solvable_1.15.0-1_s390x.deb        05-Jul-2022 20:19      5M
libcoq-mathcomp-solvable_1.15.0-1build3_arm64.deb  03-Dec-2022 19:29      5M
libcoq-mathcomp-solvable_1.15.0-1build3_armhf.deb  03-Dec-2022 19:29      5M
libcoq-mathcomp-solvable_1.15.0-1build3_ppc64el..> 03-Dec-2022 17:39      5M
libcoq-mathcomp-solvable_1.15.0-1build3_riscv64..> 04-Dec-2022 00:44      5M
libcoq-mathcomp-solvable_1.15.0-1build3_s390x.deb  03-Dec-2022 17:58      5M
libcoq-mathcomp-solvable_1.15.0-1build4_arm64.deb  26-Jan-2023 21:48      5M
libcoq-mathcomp-solvable_1.15.0-1build4_armhf.deb  26-Jan-2023 21:24      5M
libcoq-mathcomp-solvable_1.15.0-1build4_ppc64el..> 26-Jan-2023 20:54      5M
libcoq-mathcomp-solvable_1.15.0-1build4_riscv64..> 27-Jan-2023 12:24      5M
libcoq-mathcomp-solvable_1.15.0-1build4_s390x.deb  26-Jan-2023 21:48      5M
libcoq-mathcomp-solvable_1.15.0-1build5_arm64.deb  17-Feb-2023 00:09      5M
libcoq-mathcomp-solvable_1.15.0-1build5_armhf.deb  17-Feb-2023 00:09      5M
libcoq-mathcomp-solvable_1.15.0-1build5_ppc64el..> 16-Feb-2023 23:34      5M
libcoq-mathcomp-solvable_1.15.0-1build5_riscv64..> 17-Feb-2023 08:15      5M
libcoq-mathcomp-solvable_1.15.0-1build5_s390x.deb  17-Feb-2023 00:40      5M
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb         17-Feb-2022 13:11      4M
libcoq-mathcomp-ssreflect_1.15.0-1_arm64.deb       06-Jul-2022 02:58      5M
libcoq-mathcomp-ssreflect_1.15.0-1_armhf.deb       05-Jul-2022 20:19      5M
libcoq-mathcomp-ssreflect_1.15.0-1_ppc64el.deb     05-Jul-2022 20:19      5M
libcoq-mathcomp-ssreflect_1.15.0-1_riscv64.deb     06-Jul-2022 10:58      5M
libcoq-mathcomp-ssreflect_1.15.0-1_s390x.deb       05-Jul-2022 20:19      5M
libcoq-mathcomp-ssreflect_1.15.0-1build3_arm64.deb 03-Dec-2022 19:29      5M
libcoq-mathcomp-ssreflect_1.15.0-1build3_armhf.deb 03-Dec-2022 19:29      5M
libcoq-mathcomp-ssreflect_1.15.0-1build3_ppc64e..> 03-Dec-2022 17:39      5M
libcoq-mathcomp-ssreflect_1.15.0-1build3_riscv6..> 04-Dec-2022 00:44      5M
libcoq-mathcomp-ssreflect_1.15.0-1build3_s390x.deb 03-Dec-2022 17:58      5M
libcoq-mathcomp-ssreflect_1.15.0-1build4_arm64.deb 26-Jan-2023 21:48      5M
libcoq-mathcomp-ssreflect_1.15.0-1build4_armhf.deb 26-Jan-2023 21:24      5M
libcoq-mathcomp-ssreflect_1.15.0-1build4_ppc64e..> 26-Jan-2023 20:54      5M
libcoq-mathcomp-ssreflect_1.15.0-1build4_riscv6..> 27-Jan-2023 12:24      5M
libcoq-mathcomp-ssreflect_1.15.0-1build4_s390x.deb 26-Jan-2023 21:48      5M
libcoq-mathcomp-ssreflect_1.15.0-1build5_arm64.deb 17-Feb-2023 00:09      5M
libcoq-mathcomp-ssreflect_1.15.0-1build5_armhf.deb 17-Feb-2023 00:09      5M
libcoq-mathcomp-ssreflect_1.15.0-1build5_ppc64e..> 16-Feb-2023 23:34      5M
libcoq-mathcomp-ssreflect_1.15.0-1build5_riscv6..> 17-Feb-2023 08:15      5M
libcoq-mathcomp-ssreflect_1.15.0-1build5_s390x.deb 17-Feb-2023 00:40      5M
libcoq-mathcomp_1.14.0-7_all.deb                   17-Feb-2022 13:11      3M
libcoq-mathcomp_1.15.0-1_arm64.deb                 06-Jul-2022 02:58      3M
libcoq-mathcomp_1.15.0-1_armhf.deb                 05-Jul-2022 20:19      3M
libcoq-mathcomp_1.15.0-1_ppc64el.deb               05-Jul-2022 20:19      3M
libcoq-mathcomp_1.15.0-1_riscv64.deb               06-Jul-2022 10:58      3M
libcoq-mathcomp_1.15.0-1_s390x.deb                 05-Jul-2022 20:19      3M
libcoq-mathcomp_1.15.0-1build3_arm64.deb           03-Dec-2022 19:29      3M
libcoq-mathcomp_1.15.0-1build3_armhf.deb           03-Dec-2022 19:29      3M
libcoq-mathcomp_1.15.0-1build3_ppc64el.deb         03-Dec-2022 17:39      3M
libcoq-mathcomp_1.15.0-1build3_riscv64.deb         04-Dec-2022 00:44      3M
libcoq-mathcomp_1.15.0-1build3_s390x.deb           03-Dec-2022 17:58      3M
libcoq-mathcomp_1.15.0-1build4_arm64.deb           26-Jan-2023 21:48      3M
libcoq-mathcomp_1.15.0-1build4_armhf.deb           26-Jan-2023 21:24      3M
libcoq-mathcomp_1.15.0-1build4_ppc64el.deb         26-Jan-2023 20:54      3M
libcoq-mathcomp_1.15.0-1build4_riscv64.deb         27-Jan-2023 12:24      3M
libcoq-mathcomp_1.15.0-1build4_s390x.deb           26-Jan-2023 21:48      3M
libcoq-mathcomp_1.15.0-1build5_arm64.deb           17-Feb-2023 00:09      3M
libcoq-mathcomp_1.15.0-1build5_armhf.deb           17-Feb-2023 00:09      3M
libcoq-mathcomp_1.15.0-1build5_ppc64el.deb         16-Feb-2023 23:34      3M
libcoq-mathcomp_1.15.0-1build5_riscv64.deb         17-Feb-2023 08:15      3M
libcoq-mathcomp_1.15.0-1build5_s390x.deb           17-Feb-2023 00:40      3M
libssreflect-coq_1.10.0+dfsg-2_all.deb             19-Mar-2020 16:23     25M
libssreflect-coq_1.5-3build1_all.deb               05-Nov-2015 10:58      1M
libssreflect-coq_1.5~rc1-3_all.deb                 21-Jan-2014 12:53      1M
libssreflect-coq_1.6.1-3build1_all.deb             29-Oct-2017 00:03     23M
libssreflect-ocaml-dev_1.5-3build1_arm64.deb       05-Nov-2015 11:13     63K
libssreflect-ocaml-dev_1.5-3build1_armhf.deb       05-Nov-2015 11:13     63K
libssreflect-ocaml-dev_1.5-3build1_powerpc.deb     05-Nov-2015 10:59     63K
libssreflect-ocaml-dev_1.5-3build1_ppc64el.deb     05-Nov-2015 10:59     62K
libssreflect-ocaml-dev_1.5-3build1_s390x.deb       06-Jan-2016 00:05     62K
libssreflect-ocaml-dev_1.5~rc1-3_arm64.deb         21-Jan-2014 13:33     60K
libssreflect-ocaml-dev_1.5~rc1-3_armhf.deb         21-Jan-2014 12:29     60K
libssreflect-ocaml-dev_1.5~rc1-3_powerpc.deb       21-Jan-2014 12:54     60K
libssreflect-ocaml-dev_1.5~rc1-3_ppc64el.deb       18-Feb-2014 17:55     60K
libssreflect-ocaml-dev_1.6.1-3build1_arm64.deb     29-Oct-2017 00:44     59K
libssreflect-ocaml-dev_1.6.1-3build1_armhf.deb     29-Oct-2017 00:44     59K
libssreflect-ocaml-dev_1.6.1-3build1_ppc64el.deb   29-Oct-2017 00:03     59K
libssreflect-ocaml-dev_1.6.1-3build1_s390x.deb     29-Oct-2017 00:04     59K
libssreflect-ocaml_1.5-3build1_arm64.deb           05-Nov-2015 11:13    400K
libssreflect-ocaml_1.5-3build1_armhf.deb           05-Nov-2015 11:13    417K
libssreflect-ocaml_1.5-3build1_powerpc.deb         05-Nov-2015 10:59    378K
libssreflect-ocaml_1.5-3build1_ppc64el.deb         05-Nov-2015 10:59    107K
libssreflect-ocaml_1.5-3build1_s390x.deb           06-Jan-2016 00:05    107K
libssreflect-ocaml_1.5~rc1-3_arm64.deb             21-Jan-2014 13:33    103K
libssreflect-ocaml_1.5~rc1-3_armhf.deb             21-Jan-2014 12:29    416K
libssreflect-ocaml_1.5~rc1-3_powerpc.deb           21-Jan-2014 12:54    377K
libssreflect-ocaml_1.5~rc1-3_ppc64el.deb           18-Feb-2014 17:55    102K
libssreflect-ocaml_1.6.1-3build1_arm64.deb         29-Oct-2017 00:44    448K
libssreflect-ocaml_1.6.1-3build1_armhf.deb         29-Oct-2017 00:44    375K
libssreflect-ocaml_1.6.1-3build1_ppc64el.deb       29-Oct-2017 00:03    407K
libssreflect-ocaml_1.6.1-3build1_s390x.deb         29-Oct-2017 00:04    408K
ssreflect_1.10.0+dfsg-2.debian.tar.xz              19-Mar-2020 15:48     12K
ssreflect_1.10.0+dfsg-2.dsc                        19-Mar-2020 15:48    2129
ssreflect_1.10.0+dfsg.orig.tar.gz                  07-Dec-2019 00:38      1M
ssreflect_1.14.0-7.debian.tar.xz                   17-Feb-2022 13:10     12K
ssreflect_1.14.0-7.dsc                             17-Feb-2022 13:10    2580
ssreflect_1.14.0.orig.tar.gz                       25-Jan-2022 06:34      1M
ssreflect_1.15.0-1.debian.tar.xz                   05-Jul-2022 18:28     12K
ssreflect_1.15.0-1.dsc                             05-Jul-2022 18:28    2603
ssreflect_1.15.0-1build3.debian.tar.xz             03-Dec-2022 16:59     12K
ssreflect_1.15.0-1build3.dsc                       03-Dec-2022 16:59    2602
ssreflect_1.15.0-1build4.debian.tar.xz             26-Jan-2023 20:54     12K
ssreflect_1.15.0-1build4.dsc                       26-Jan-2023 20:54    2602
ssreflect_1.15.0-1build5.debian.tar.xz             16-Feb-2023 22:54     12K
ssreflect_1.15.0-1build5.dsc                       16-Feb-2023 22:54    2602
ssreflect_1.15.0.orig.tar.gz                       05-Jul-2022 18:28      1M
ssreflect_1.5-3build1.debian.tar.xz                05-Nov-2015 10:48     11K
ssreflect_1.5-3build1.dsc                          05-Nov-2015 10:48    1911
ssreflect_1.5.orig.tar.gz                          26-Apr-2014 19:12    213K
ssreflect_1.5~rc1-3.debian.tar.xz                  21-Jan-2014 12:18     11K
ssreflect_1.5~rc1-3.dsc                            21-Jan-2014 12:18    2240
ssreflect_1.5~rc1.orig.tar.gz                      07-Dec-2013 00:23    199K
ssreflect_1.6.1-3build1.debian.tar.xz              28-Oct-2017 23:19     12K
ssreflect_1.6.1-3build1.dsc                        28-Oct-2017 23:19    2281
ssreflect_1.6.1.orig.tar.gz                        31-Dec-2016 00:13      4M