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

NameLast ModifiedSizeType
../ -  Directory
libcoq-mathcomp-algebra_1.14.0-7_all.deb2022-Feb-17 01:11:097.0Mapplication/octet-stream
libcoq-mathcomp-algebra_1.15.0-1build5_amd64.deb2023-Feb-16 11:34:287.0Mapplication/octet-stream
libcoq-mathcomp-algebra_2.1.0-1build4_amd64.deb2024-Apr-08 09:14:419.8Mapplication/octet-stream
libcoq-mathcomp-algebra_2.2.0-2build6_amd64.deb2024-Sep-19 17:54:4010.9Mapplication/octet-stream
libcoq-mathcomp-algebra_2.2.0-2build7_amd64.deb2024-Nov-19 18:41:3610.9Mapplication/octet-stream
libcoq-mathcomp-algebra_2.2.0-2build8_amd64.deb2024-Nov-21 06:11:3110.6Mapplication/octet-stream
libcoq-mathcomp-character_1.14.0-7_all.deb2022-Feb-17 01:11:094.3Mapplication/octet-stream
libcoq-mathcomp-character_1.15.0-1build5_amd64.deb2023-Feb-16 11:34:284.2Mapplication/octet-stream
libcoq-mathcomp-character_2.1.0-1build4_amd64.deb2024-Apr-08 09:14:414.2Mapplication/octet-stream
libcoq-mathcomp-character_2.2.0-2build6_amd64.deb2024-Sep-19 17:54:404.4Mapplication/octet-stream
libcoq-mathcomp-character_2.2.0-2build7_amd64.deb2024-Nov-19 18:41:364.4Mapplication/octet-stream
libcoq-mathcomp-character_2.2.0-2build8_amd64.deb2024-Nov-21 06:11:314.5Mapplication/octet-stream
libcoq-mathcomp-field_1.14.0-7_all.deb2022-Feb-17 01:11:093.0Mapplication/octet-stream
libcoq-mathcomp-field_1.15.0-1build5_amd64.deb2023-Feb-16 11:34:282.9Mapplication/octet-stream
libcoq-mathcomp-field_2.1.0-1build4_amd64.deb2024-Apr-08 09:14:413.2Mapplication/octet-stream
libcoq-mathcomp-field_2.2.0-2build6_amd64.deb2024-Sep-19 17:54:403.4Mapplication/octet-stream
libcoq-mathcomp-field_2.2.0-2build7_amd64.deb2024-Nov-19 18:41:363.4Mapplication/octet-stream
libcoq-mathcomp-field_2.2.0-2build8_amd64.deb2024-Nov-21 06:11:313.4Mapplication/octet-stream
libcoq-mathcomp-fingroup_1.14.0-7_all.deb2022-Feb-17 01:11:082.0Mapplication/octet-stream
libcoq-mathcomp-fingroup_1.15.0-1build5_amd64.deb2023-Feb-16 11:34:282.0Mapplication/octet-stream
libcoq-mathcomp-fingroup_2.1.0-1build4_amd64.deb2024-Apr-08 09:14:412.1Mapplication/octet-stream
libcoq-mathcomp-fingroup_2.2.0-2build6_amd64.deb2024-Sep-19 17:54:392.2Mapplication/octet-stream
libcoq-mathcomp-fingroup_2.2.0-2build7_amd64.deb2024-Nov-19 18:41:362.2Mapplication/octet-stream
libcoq-mathcomp-fingroup_2.2.0-2build8_amd64.deb2024-Nov-21 06:11:302.2Mapplication/octet-stream
libcoq-mathcomp-solvable_1.14.0-7_all.deb2022-Feb-17 01:11:085.0Mapplication/octet-stream
libcoq-mathcomp-solvable_1.15.0-1build5_amd64.deb2023-Feb-16 11:34:284.8Mapplication/octet-stream
libcoq-mathcomp-solvable_2.1.0-1build4_amd64.deb2024-Apr-08 09:14:414.9Mapplication/octet-stream
libcoq-mathcomp-solvable_2.2.0-2build6_amd64.deb2024-Sep-19 17:54:395.0Mapplication/octet-stream
libcoq-mathcomp-solvable_2.2.0-2build7_amd64.deb2024-Nov-19 18:41:365.0Mapplication/octet-stream
libcoq-mathcomp-solvable_2.2.0-2build8_amd64.deb2024-Nov-21 06:11:305.1Mapplication/octet-stream
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb2022-Feb-17 01:11:084.4Mapplication/octet-stream
libcoq-mathcomp-ssreflect_1.15.0-1build5_amd64.deb2023-Feb-16 11:34:284.5Mapplication/octet-stream
libcoq-mathcomp-ssreflect_2.1.0-1build4_amd64.deb2024-Apr-08 09:14:416.3Mapplication/octet-stream
libcoq-mathcomp-ssreflect_2.2.0-2build6_amd64.deb2024-Sep-19 17:54:396.5Mapplication/octet-stream
libcoq-mathcomp-ssreflect_2.2.0-2build7_amd64.deb2024-Nov-19 18:41:366.5Mapplication/octet-stream
libcoq-mathcomp-ssreflect_2.2.0-2build8_amd64.deb2024-Nov-21 06:11:306.3Mapplication/octet-stream
libcoq-mathcomp_1.14.0-7_all.deb2022-Feb-17 01:11:092.5Mapplication/octet-stream
libcoq-mathcomp_1.15.0-1build5_amd64.deb2023-Feb-16 11:34:282.5Mapplication/octet-stream
libcoq-mathcomp_2.1.0-1build4_amd64.deb2024-Apr-08 09:14:412.3Mapplication/octet-stream
libcoq-mathcomp_2.2.0-2build6_amd64.deb2024-Sep-19 17:54:402.3Mapplication/octet-stream
libcoq-mathcomp_2.2.0-2build7_amd64.deb2024-Nov-19 18:41:362.3Mapplication/octet-stream
libcoq-mathcomp_2.2.0-2build8_amd64.deb2024-Nov-21 06:11:322.3Mapplication/octet-stream
libssreflect-coq_1.10.0+dfsg-2_all.deb2020-Mar-19 05:23:2124.7Mapplication/octet-stream
libssreflect-coq_1.5-3build1_all.deb2015-Nov-04 22:58:511.1Mapplication/octet-stream
libssreflect-coq_1.5~rc1-3_all.deb2014-Jan-21 00:53:501.1Mapplication/octet-stream
libssreflect-coq_1.6.1-3build1_all.deb2017-Oct-28 13:03:3923.0Mapplication/octet-stream
libssreflect-ocaml-dev_1.5-3build1_amd64.deb2015-Nov-04 22:58:5162.6Kapplication/octet-stream
libssreflect-ocaml-dev_1.5-3build1_i386.deb2015-Nov-04 22:59:0262.5Kapplication/octet-stream
libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb2014-Jan-21 00:53:5060.2Kapplication/octet-stream
libssreflect-ocaml-dev_1.5~rc1-3_i386.deb2014-Jan-21 00:54:0260.1Kapplication/octet-stream
libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb2017-Oct-28 13:03:3858.8Kapplication/octet-stream
libssreflect-ocaml-dev_1.6.1-3build1_i386.deb2017-Oct-28 13:03:5258.8Kapplication/octet-stream
libssreflect-ocaml_1.5-3build1_amd64.deb2015-Nov-04 22:58:51435.3Kapplication/octet-stream
libssreflect-ocaml_1.5-3build1_i386.deb2015-Nov-04 22:59:02384.5Kapplication/octet-stream
libssreflect-ocaml_1.5~rc1-3_amd64.deb2014-Jan-21 00:53:50439.9Kapplication/octet-stream
libssreflect-ocaml_1.5~rc1-3_i386.deb2014-Jan-21 00:54:02381.6Kapplication/octet-stream
libssreflect-ocaml_1.6.1-3build1_amd64.deb2017-Oct-28 13:03:38389.5Kapplication/octet-stream
libssreflect-ocaml_1.6.1-3build1_i386.deb2017-Oct-28 13:03:52340.4Kapplication/octet-stream
ssreflect_1.10.0+dfsg-2.debian.tar.xz2020-Mar-19 04:48:1612.3Kapplication/octet-stream
ssreflect_1.10.0+dfsg-2.dsc2020-Mar-19 04:48:162.0Kapplication/octet-stream
ssreflect_1.10.0+dfsg.orig.tar.gz2019-Dec-06 12:38:371.1Mapplication/octet-stream
ssreflect_1.14.0-7.debian.tar.xz2022-Feb-17 01:10:2112.0Kapplication/octet-stream
ssreflect_1.14.0-7.dsc2022-Feb-17 01:10:212.5Kapplication/octet-stream
ssreflect_1.14.0.orig.tar.gz2022-Jan-24 18:34:301.2Mapplication/octet-stream
ssreflect_1.15.0-1build5.debian.tar.xz2023-Feb-16 10:54:2112.2Kapplication/octet-stream
ssreflect_1.15.0-1build5.dsc2023-Feb-16 10:54:212.5Kapplication/octet-stream
ssreflect_1.15.0.orig.tar.gz2022-Jul-05 07:28:561.3Mapplication/octet-stream
ssreflect_1.5-3build1.debian.tar.xz2015-Nov-04 22:48:4511.3Kapplication/octet-stream
ssreflect_1.5-3build1.dsc2015-Nov-04 22:48:441.8Kapplication/octet-stream
ssreflect_1.5.orig.tar.gz2014-Apr-26 08:12:50212.7Kapplication/octet-stream
ssreflect_1.5~rc1-3.debian.tar.xz2014-Jan-21 00:18:3311.1Kapplication/octet-stream
ssreflect_1.5~rc1-3.dsc2014-Jan-21 00:18:332.1Kapplication/octet-stream
ssreflect_1.5~rc1.orig.tar.gz2013-Dec-06 12:23:26199.1Kapplication/octet-stream
ssreflect_1.6.1-3build1.debian.tar.xz2017-Oct-28 12:19:0912.2Kapplication/octet-stream
ssreflect_1.6.1-3build1.dsc2017-Oct-28 12:19:092.2Kapplication/octet-stream
ssreflect_1.6.1.orig.tar.gz2016-Dec-30 12:13:144.4Mapplication/octet-stream
ssreflect_2.1.0-1build4.debian.tar.xz2024-Apr-01 01:44:0612.5Kapplication/octet-stream
ssreflect_2.1.0-1build4.dsc2024-Apr-01 01:44:062.6Kapplication/octet-stream
ssreflect_2.1.0.orig.tar.gz2023-Dec-24 12:26:551.7Mapplication/octet-stream
ssreflect_2.2.0-2build6.debian.tar.xz2024-Sep-17 11:51:4412.5Kapplication/octet-stream
ssreflect_2.2.0-2build6.dsc2024-Sep-17 11:51:442.5Kapplication/octet-stream
ssreflect_2.2.0-2build7.debian.tar.xz2024-Nov-19 17:45:2712.5Kapplication/octet-stream
ssreflect_2.2.0-2build7.dsc2024-Nov-19 17:45:272.5Kapplication/octet-stream
ssreflect_2.2.0-2build8.debian.tar.xz2024-Nov-21 05:15:4712.5Kapplication/octet-stream
ssreflect_2.2.0-2build8.dsc2024-Nov-21 05:15:472.5Kapplication/octet-stream
ssreflect_2.2.0.orig.tar.gz2024-May-02 22:35:331.7Mapplication/octet-stream