Index of /ubuntu-ports/pool/universe/c/coq/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-theories_8.11.0-1_arm64.deb2020-Mar-06 17:13:2120.4Mapplication/vnd.debian.binary-package
coq-theories_8.11.0-1_ppc64el.deb2020-Mar-11 18:53:2620.4Mapplication/vnd.debian.binary-package
coq-theories_8.4pl3dfsg-1_all.deb2014-Jan-20 07:58:4330.5Mapplication/vnd.debian.binary-package
coq-theories_8.4pl4dfsg-3build2_all.deb2015-Nov-04 22:04:3330.7Mapplication/vnd.debian.binary-package
coq-theories_8.6-5build1_arm64.deb2017-Oct-29 00:20:1021.7Mapplication/vnd.debian.binary-package
coq-theories_8.6-5build1_armhf.deb2017-Oct-29 00:20:3121.7Mapplication/vnd.debian.binary-package
coq-theories_8.6-5build1_ppc64el.deb2017-Oct-28 23:34:5521.7Mapplication/vnd.debian.binary-package
coq-theories_8.6-5build1_s390x.deb2017-Oct-28 23:34:5921.7Mapplication/vnd.debian.binary-package
coq_8.11.0-1.debian.tar.xz2020-Mar-06 15:53:1730.9Kapplication/x-xz
coq_8.11.0-1.dsc2020-Mar-06 15:53:162.4Kapplication/octet-stream
coq_8.11.0-1_arm64.deb2020-Mar-06 17:13:2480.0Mapplication/vnd.debian.binary-package
coq_8.11.0-1_ppc64el.deb2020-Mar-11 18:53:2875.1Mapplication/vnd.debian.binary-package
coq_8.11.0.orig.tar.gz2020-Mar-06 15:53:175.5Mapplication/gzip
coq_8.15.0+dfsg-2.debian.tar.xz2022-Feb-06 01:49:5338.7Kapplication/x-xz
coq_8.15.0+dfsg-2.dsc2022-Feb-06 01:49:532.5Kapplication/octet-stream
coq_8.15.0+dfsg-2_arm64.deb2022-Feb-06 20:54:01101.7Mapplication/vnd.debian.binary-package
coq_8.15.0+dfsg-2_armhf.deb2022-Feb-06 07:53:1288.9Mapplication/vnd.debian.binary-package
coq_8.15.0+dfsg-2_ppc64el.deb2022-Feb-06 07:53:2293.7Mapplication/vnd.debian.binary-package
coq_8.15.0+dfsg-2_riscv64.deb2022-Feb-06 07:53:3490.5Mapplication/vnd.debian.binary-package
coq_8.15.0+dfsg-2_s390x.deb2022-Feb-06 07:53:5092.7Mapplication/vnd.debian.binary-package
coq_8.15.0+dfsg.orig.tar.xz2022-Jan-18 07:14:254.4Mapplication/x-xz
coq_8.18.0+dfsg-1build2.debian.tar.xz2024-Apr-01 02:36:4732.5Kapplication/x-xz
coq_8.18.0+dfsg-1build2.dsc2024-Apr-01 02:36:472.6Kapplication/octet-stream
coq_8.18.0+dfsg-1build2_arm64.deb2024-Apr-01 09:55:44101.7Mapplication/vnd.debian.binary-package
coq_8.18.0+dfsg-1build2_armhf.deb2024-Apr-01 09:55:4889.3Mapplication/vnd.debian.binary-package
coq_8.18.0+dfsg-1build2_ppc64el.deb2024-Apr-01 05:34:3593.9Mapplication/vnd.debian.binary-package
coq_8.18.0+dfsg-1build2_riscv64.deb2024-Apr-01 09:56:3493.4Mapplication/vnd.debian.binary-package
coq_8.18.0+dfsg-1build2_s390x.deb2024-Apr-01 04:38:3092.9Mapplication/vnd.debian.binary-package
coq_8.18.0+dfsg.orig.tar.xz2023-Dec-23 03:46:564.6Mapplication/x-xz
coq_8.19.1+dfsg-3build3.debian.tar.xz2024-Sep-07 15:08:5132.2Kapplication/x-xz
coq_8.19.1+dfsg-3build3.dsc2024-Sep-07 15:08:512.5Kapplication/octet-stream
coq_8.19.1+dfsg-3build3_arm64.deb2024-Sep-07 16:10:16103.3Mapplication/vnd.debian.binary-package
coq_8.19.1+dfsg-3build3_ppc64el.deb2024-Sep-07 16:10:2198.2Mapplication/vnd.debian.binary-package
coq_8.19.1+dfsg-3build3_riscv64.deb2024-Sep-07 17:48:5098.3Mapplication/vnd.debian.binary-package
coq_8.19.1+dfsg-3build3_s390x.deb2024-Sep-07 16:10:3097.7Mapplication/vnd.debian.binary-package
coq_8.19.1+dfsg.orig.tar.bz22024-May-02 19:53:175.3Mapplication/octet-stream
coq_8.20.0+dfsg-1.debian.tar.xz2024-Nov-21 02:47:2829.5Kapplication/x-xz
coq_8.20.0+dfsg-1.dsc2024-Nov-21 02:47:282.5Kapplication/octet-stream
coq_8.20.0+dfsg-1_arm64.deb2024-Nov-21 02:48:2991.0Mapplication/vnd.debian.binary-package
coq_8.20.0+dfsg-1_ppc64el.deb2024-Nov-21 02:48:5187.2Mapplication/vnd.debian.binary-package
coq_8.20.0+dfsg-1_riscv64.deb2024-Nov-21 04:28:0087.4Mapplication/vnd.debian.binary-package
coq_8.20.0+dfsg-1_s390x.deb2024-Nov-21 02:49:0987.0Mapplication/vnd.debian.binary-package
coq_8.20.0+dfsg.orig.tar.xz2024-Nov-21 02:47:284.7Mapplication/x-xz
coq_8.4pl3dfsg-1.debian.tar.xz2014-Jan-20 07:18:5215.4Kapplication/x-xz
coq_8.4pl3dfsg-1.dsc2014-Jan-20 07:18:532.3Kapplication/octet-stream
coq_8.4pl3dfsg-1_arm64.deb2014-Jan-20 11:43:221.0Mapplication/vnd.debian.binary-package
coq_8.4pl3dfsg-1_armhf.deb2014-Jan-20 09:03:213.7Mapplication/vnd.debian.binary-package
coq_8.4pl3dfsg-1_powerpc.deb2014-Jan-20 08:23:303.4Mapplication/vnd.debian.binary-package
coq_8.4pl3dfsg-1_ppc64el.deb2014-Feb-18 10:43:401.0Mapplication/vnd.debian.binary-package
coq_8.4pl3dfsg.orig.tar.gz2014-Jan-20 07:18:533.3Mapplication/gzip
coq_8.4pl4dfsg-3build2.debian.tar.xz2015-Nov-04 21:14:2115.7Kapplication/x-xz
coq_8.4pl4dfsg-3build2.dsc2015-Nov-04 21:14:212.3Kapplication/octet-stream
coq_8.4pl4dfsg-3build2_arm64.deb2015-Nov-04 22:29:383.7Mapplication/vnd.debian.binary-package
coq_8.4pl4dfsg-3build2_armhf.deb2015-Nov-04 22:55:043.6Mapplication/vnd.debian.binary-package
coq_8.4pl4dfsg-3build2_powerpc.deb2015-Nov-04 21:39:463.2Mapplication/vnd.debian.binary-package
coq_8.4pl4dfsg-3build2_ppc64el.deb2015-Nov-04 22:55:440.9Mapplication/vnd.debian.binary-package
coq_8.4pl4dfsg-3build2_s390x.deb2016-Jan-06 00:35:270.9Mapplication/vnd.debian.binary-package
coq_8.4pl4dfsg.orig.tar.gz2014-Jul-28 07:13:173.3Mapplication/gzip
coq_8.6-5build1.debian.tar.xz2017-Oct-28 22:39:2821.3Kapplication/x-xz
coq_8.6-5build1.dsc2017-Oct-28 22:39:282.3Kapplication/octet-stream
coq_8.6-5build1_arm64.deb2017-Oct-29 00:20:1117.9Mapplication/vnd.debian.binary-package
coq_8.6-5build1_armhf.deb2017-Oct-29 00:20:3016.2Mapplication/vnd.debian.binary-package
coq_8.6-5build1_ppc64el.deb2017-Oct-28 23:34:5417.3Mapplication/vnd.debian.binary-package
coq_8.6-5build1_s390x.deb2017-Oct-28 23:35:0017.1Mapplication/vnd.debian.binary-package
coq_8.6.orig.tar.gz2016-Dec-29 01:13:414.7Mapplication/gzip
coqide_8.11.0-1_arm64.deb2020-Mar-06 17:13:242.0Mapplication/vnd.debian.binary-package
coqide_8.11.0-1_ppc64el.deb2020-Mar-11 18:53:251.8Mapplication/vnd.debian.binary-package
coqide_8.15.0+dfsg-2_arm64.deb2022-Feb-06 20:54:002.7Mapplication/vnd.debian.binary-package
coqide_8.15.0+dfsg-2_armhf.deb2022-Feb-06 07:53:122.0Mapplication/vnd.debian.binary-package
coqide_8.15.0+dfsg-2_ppc64el.deb2022-Feb-06 07:53:222.4Mapplication/vnd.debian.binary-package
coqide_8.15.0+dfsg-2_riscv64.deb2022-Feb-06 07:53:322.2Mapplication/vnd.debian.binary-package
coqide_8.15.0+dfsg-2_s390x.deb2022-Feb-06 07:53:502.3Mapplication/vnd.debian.binary-package
coqide_8.18.0+dfsg-1build2_arm64.deb2024-Apr-01 09:55:432.7Mapplication/vnd.debian.binary-package
coqide_8.18.0+dfsg-1build2_armhf.deb2024-Apr-01 09:55:482.0Mapplication/vnd.debian.binary-package
coqide_8.18.0+dfsg-1build2_ppc64el.deb2024-Apr-01 05:34:352.4Mapplication/vnd.debian.binary-package
coqide_8.18.0+dfsg-1build2_riscv64.deb2024-Apr-01 09:56:332.3Mapplication/vnd.debian.binary-package
coqide_8.18.0+dfsg-1build2_s390x.deb2024-Apr-01 04:38:292.3Mapplication/vnd.debian.binary-package
coqide_8.19.1+dfsg-3build3_arm64.deb2024-Sep-07 16:10:152.7Mapplication/vnd.debian.binary-package
coqide_8.19.1+dfsg-3build3_ppc64el.deb2024-Sep-07 16:10:202.4Mapplication/vnd.debian.binary-package
coqide_8.19.1+dfsg-3build3_riscv64.deb2024-Sep-07 17:48:492.4Mapplication/vnd.debian.binary-package
coqide_8.19.1+dfsg-3build3_s390x.deb2024-Sep-07 16:10:292.4Mapplication/vnd.debian.binary-package
coqide_8.20.0+dfsg-1_arm64.deb2024-Nov-21 02:48:282.5Mapplication/vnd.debian.binary-package
coqide_8.20.0+dfsg-1_ppc64el.deb2024-Nov-21 02:48:502.2Mapplication/vnd.debian.binary-package
coqide_8.20.0+dfsg-1_riscv64.deb2024-Nov-21 04:27:592.2Mapplication/vnd.debian.binary-package
coqide_8.20.0+dfsg-1_s390x.deb2024-Nov-21 02:49:092.2Mapplication/vnd.debian.binary-package
coqide_8.4pl3dfsg-1_arm64.deb2014-Jan-20 11:43:22198.3Kapplication/vnd.debian.binary-package
coqide_8.4pl3dfsg-1_armhf.deb2014-Jan-20 09:03:21757.5Kapplication/vnd.debian.binary-package
coqide_8.4pl3dfsg-1_powerpc.deb2014-Jan-20 08:23:30627.1Kapplication/vnd.debian.binary-package
coqide_8.4pl3dfsg-1_ppc64el.deb2014-Feb-18 10:43:40198.2Kapplication/vnd.debian.binary-package
coqide_8.4pl4dfsg-3build2_arm64.deb2015-Nov-04 22:29:38753.8Kapplication/vnd.debian.binary-package
coqide_8.4pl4dfsg-3build2_armhf.deb2015-Nov-04 22:55:05762.5Kapplication/vnd.debian.binary-package
coqide_8.4pl4dfsg-3build2_powerpc.deb2015-Nov-04 21:39:45648.7Kapplication/vnd.debian.binary-package
coqide_8.4pl4dfsg-3build2_ppc64el.deb2015-Nov-04 22:55:44207.8Kapplication/vnd.debian.binary-package
coqide_8.4pl4dfsg-3build2_s390x.deb2016-Jan-06 00:35:26207.8Kapplication/vnd.debian.binary-package
coqide_8.6-5build1_arm64.deb2017-Oct-29 00:20:121.6Mapplication/vnd.debian.binary-package
coqide_8.6-5build1_armhf.deb2017-Oct-29 00:20:301.3Mapplication/vnd.debian.binary-package
coqide_8.6-5build1_ppc64el.deb2017-Oct-28 23:34:561.7Mapplication/vnd.debian.binary-package
coqide_8.6-5build1_s390x.deb2017-Oct-28 23:34:581.7Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb2022-Feb-06 20:53:5843.4Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb2022-Feb-06 07:53:1343.7Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb2022-Feb-06 07:53:2343.5Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.0+dfsg-2_riscv64.deb2022-Feb-06 07:53:3343.4Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.0+dfsg-2_s390x.deb2022-Feb-06 07:53:4543.3Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64.deb2024-Apr-01 09:55:4249.4Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf.deb2024-Apr-01 09:55:4749.5Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_ppc64el.deb2024-Apr-01 05:34:3450.3Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_riscv64.deb2024-Apr-01 09:56:3256.0Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_s390x.deb2024-Apr-01 04:38:2948.5Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_arm64.deb2024-Sep-07 16:10:1465.0Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_ppc64el.deb2024-Sep-07 16:10:1966.0Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_riscv64.deb2024-Sep-07 17:48:4971.7Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_s390x.deb2024-Sep-07 16:10:2964.6Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.20.0+dfsg-1_arm64.deb2024-Nov-21 02:48:2867.1Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.20.0+dfsg-1_ppc64el.deb2024-Nov-21 02:48:5068.1Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.20.0+dfsg-1_riscv64.deb2024-Nov-21 04:27:5973.9Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.20.0+dfsg-1_s390x.deb2024-Nov-21 02:49:0966.6Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb2022-Feb-06 20:53:5927.0Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb2022-Feb-06 07:53:1325.7Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.0+dfsg-2_ppc64el.deb2022-Feb-06 07:53:2226.1Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.0+dfsg-2_riscv64.deb2022-Feb-06 07:53:3325.8Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.0+dfsg-2_s390x.deb2022-Feb-06 07:53:4326.2Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb2024-Apr-01 09:55:4327.8Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb2024-Apr-01 09:55:4826.2Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.18.0+dfsg-1build2_ppc64el.deb2024-Apr-01 05:34:3526.7Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.18.0+dfsg-1build2_riscv64.deb2024-Apr-01 09:56:3326.6Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.18.0+dfsg-1build2_s390x.deb2024-Apr-01 04:38:2926.8Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.19.1+dfsg-3build3_arm64.deb2024-Sep-07 16:10:1525.8Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.19.1+dfsg-3build3_ppc64el.deb2024-Sep-07 16:10:1925.0Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.19.1+dfsg-3build3_riscv64.deb2024-Sep-07 17:48:4925.0Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.19.1+dfsg-3build3_s390x.deb2024-Sep-07 16:10:2925.1Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb2024-Nov-21 02:48:2826.6Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.20.0+dfsg-1_ppc64el.deb2024-Nov-21 02:48:5025.8Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.20.0+dfsg-1_riscv64.deb2024-Nov-21 04:27:5925.8Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.20.0+dfsg-1_s390x.deb2024-Nov-21 02:49:0925.9Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.11.0-1_arm64.deb2020-Mar-06 17:13:2515.6Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.11.0-1_ppc64el.deb2020-Mar-11 18:53:2415.7Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb2014-Jan-20 11:43:211.1Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb2014-Jan-20 09:03:203.8Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl3dfsg-1_powerpc.deb2014-Jan-20 08:23:293.4Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl3dfsg-1_ppc64el.deb2014-Feb-18 10:43:401.1Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb2015-Nov-04 22:29:383.7Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb2015-Nov-04 22:55:043.9Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl4dfsg-3build2_powerpc.deb2015-Nov-04 21:39:463.5Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl4dfsg-3build2_ppc64el.deb2015-Nov-04 22:55:441.1Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl4dfsg-3build2_s390x.deb2016-Jan-06 00:35:261.1Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.6-5build1_arm64.deb2017-Oct-29 00:20:1113.3Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.6-5build1_armhf.deb2017-Oct-29 00:20:3113.6Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.6-5build1_ppc64el.deb2017-Oct-28 23:34:5313.4Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.6-5build1_s390x.deb2017-Oct-28 23:34:5913.2Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.11.0-1_arm64.deb2020-Mar-06 17:13:246.5Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.11.0-1_ppc64el.deb2020-Mar-11 18:53:256.2Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl3dfsg-1_arm64.deb2014-Jan-20 11:43:22322.4Kapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl3dfsg-1_armhf.deb2014-Jan-20 09:03:201.4Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl3dfsg-1_powerpc.deb2014-Jan-20 08:23:301.3Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl3dfsg-1_ppc64el.deb2014-Feb-18 10:43:40321.7Kapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb2015-Nov-04 22:29:371.3Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb2015-Nov-04 22:55:051.4Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl4dfsg-3build2_powerpc.deb2015-Nov-04 21:39:461.2Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl4dfsg-3build2_ppc64el.deb2015-Nov-04 22:55:43327.7Kapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl4dfsg-3build2_s390x.deb2016-Jan-06 00:35:26329.9Kapplication/vnd.debian.binary-package
libcoq-ocaml_8.6-5build1_arm64.deb2017-Oct-29 00:20:113.6Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.6-5build1_armhf.deb2017-Oct-29 00:20:303.3Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.6-5build1_ppc64el.deb2017-Oct-28 23:34:553.5Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.6-5build1_s390x.deb2017-Oct-28 23:34:583.4Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.0+dfsg-2_arm64.deb2022-Feb-06 20:54:0223.5Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.0+dfsg-2_armhf.deb2022-Feb-06 07:53:1123.5Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.0+dfsg-2_ppc64el.deb2022-Feb-06 07:53:2423.5Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.0+dfsg-2_riscv64.deb2022-Feb-06 07:53:3423.5Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.0+dfsg-2_s390x.deb2022-Feb-06 07:53:4623.5Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb2024-Apr-01 09:55:4225.2Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb2024-Apr-01 09:55:4725.2Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.18.0+dfsg-1build2_ppc64el.deb2024-Apr-01 05:34:3425.2Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.18.0+dfsg-1build2_riscv64.deb2024-Apr-01 09:56:3125.2Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.18.0+dfsg-1build2_s390x.deb2024-Apr-01 04:38:2825.2Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.19.1+dfsg-3build3_arm64.deb2024-Sep-07 16:10:1325.7Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.19.1+dfsg-3build3_ppc64el.deb2024-Sep-07 16:10:1825.7Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.19.1+dfsg-3build3_riscv64.deb2024-Sep-07 17:48:4925.7Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.19.1+dfsg-3build3_s390x.deb2024-Sep-07 16:10:2925.7Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.20.0+dfsg-1_arm64.deb2024-Nov-21 02:48:2725.7Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.20.0+dfsg-1_ppc64el.deb2024-Nov-21 02:48:4925.7Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.20.0+dfsg-1_riscv64.deb2024-Nov-21 04:27:5825.7Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.20.0+dfsg-1_s390x.deb2024-Nov-21 02:49:0825.7Mapplication/vnd.debian.binary-package
lighttpd/1.4.35