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_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.3.0-1build1_amd64.deb2024-Dec-20 00:02:2813.3Mapplication/octet-stream
libcoq-mathcomp-character_1.14.0-7_all.deb2022-Feb-17 01:11:094.3Mapplication/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.3.0-1build1_amd64.deb2024-Dec-20 00:02:284.5Mapplication/octet-stream
libcoq-mathcomp-field_1.14.0-7_all.deb2022-Feb-17 01:11:093.0Mapplication/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.3.0-1build1_amd64.deb2024-Dec-20 00:02:283.7Mapplication/octet-stream
libcoq-mathcomp-fingroup_1.14.0-7_all.deb2022-Feb-17 01:11:082.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.3.0-1build1_amd64.deb2024-Dec-20 00:02:282.4Mapplication/octet-stream
libcoq-mathcomp-solvable_1.14.0-7_all.deb2022-Feb-17 01:11:085.0Mapplication/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.3.0-1build1_amd64.deb2024-Dec-20 00:02:275.1Mapplication/octet-stream
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb2022-Feb-17 01:11:084.4Mapplication/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.3.0-1build1_amd64.deb2024-Dec-20 00:02:279.1Mapplication/octet-stream
libcoq-mathcomp_1.14.0-7_all.deb2022-Feb-17 01:11:092.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.3.0-1build1_amd64.deb2024-Dec-20 00:02:282.5Mapplication/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.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.orig.tar.gz2024-May-02 22:35:331.7Mapplication/octet-stream
ssreflect_2.3.0-1build1.debian.tar.xz2024-Dec-19 23:00:2012.4Kapplication/octet-stream
ssreflect_2.3.0-1build1.dsc2024-Dec-19 23:00:202.5Kapplication/octet-stream
ssreflect_2.3.0.orig.tar.gz2024-Dec-18 18:41:281.8Mapplication/octet-stream