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

../
coq-iris_4.0.0-3build1.debian.tar.xz               17-Feb-2023 02:50               12040
coq-iris_4.0.0-3build1.dsc                         17-Feb-2023 02:50                2151
coq-iris_4.0.0-4build1.debian.tar.xz               26-Jul-2023 13:19               12072
coq-iris_4.0.0-4build1.dsc                         26-Jul-2023 13:19                2151
coq-iris_4.0.0.orig.tar.gz                         20-Aug-2022 01:34              701165
coq-iris_4.1.0-1build3.debian.tar.xz               08-Apr-2024 15:57               12280
coq-iris_4.1.0-1build3.dsc                         08-Apr-2024 15:57                2240
coq-iris_4.1.0.orig.tar.gz                         24-Dec-2023 01:16              749982
coq-iris_4.2.0-1build2.debian.tar.xz               14-May-2024 02:39               12208
coq-iris_4.2.0-1build2.dsc                         14-May-2024 02:39                2161
coq-iris_4.2.0.orig.tar.gz                         02-May-2024 19:53              764668
libcoq-iris_4.0.0-3build1_arm64.deb                17-Feb-2023 04:13            13559018
libcoq-iris_4.0.0-3build1_armhf.deb                17-Feb-2023 04:44            13552078
libcoq-iris_4.0.0-3build1_ppc64el.deb              17-Feb-2023 05:50            13559038
libcoq-iris_4.0.0-3build1_riscv64.deb              17-Feb-2023 11:08            13563972
libcoq-iris_4.0.0-3build1_s390x.deb                17-Feb-2023 05:50            13556830
libcoq-iris_4.0.0-4build1_arm64.deb                26-Jul-2023 15:55            13537600
libcoq-iris_4.0.0-4build1_armhf.deb                26-Jul-2023 17:58            13538202
libcoq-iris_4.0.0-4build1_ppc64el.deb              26-Jul-2023 16:54            13538064
libcoq-iris_4.0.0-4build1_riscv64.deb              26-Jul-2023 21:07            13537468
libcoq-iris_4.0.0-4build1_s390x.deb                26-Jul-2023 16:54            13530448
libcoq-iris_4.1.0-1build3_arm64.deb                08-Apr-2024 21:14            13811640
libcoq-iris_4.1.0-1build3_armhf.deb                08-Apr-2024 21:14            13807166
libcoq-iris_4.1.0-1build3_ppc64el.deb              08-Apr-2024 21:15            13811996
libcoq-iris_4.1.0-1build3_riscv64.deb              08-Apr-2024 23:21            13811504
libcoq-iris_4.1.0-1build3_s390x.deb                08-Apr-2024 21:15            13812254
libcoq-iris_4.2.0-1build2_arm64.deb                14-May-2024 04:16            14703972
libcoq-iris_4.2.0-1build2_armhf.deb                21-May-2024 09:45            14696458
libcoq-iris_4.2.0-1build2_ppc64el.deb              14-May-2024 03:24            14704240
libcoq-iris_4.2.0-1build2_riscv64.deb              14-May-2024 07:59            14703800
libcoq-iris_4.2.0-1build2_s390x.deb                14-May-2024 03:24            14703912