Index of /ubuntu-ports/pool/universe/c/coq-simple-io/
../ coq-simple-io_1.7.0-2ubuntu1.debian.tar.xz 16-Aug-2022 15:39 2080 coq-simple-io_1.7.0-2ubuntu1.dsc 16-Aug-2022 15:39 2149 coq-simple-io_1.7.0.orig.tar.gz 09-Jul-2022 12:18 26K coq-simple-io_1.8.0-1ubuntu3.debian.tar.xz 03-Dec-2022 19:29 2224 coq-simple-io_1.8.0-1ubuntu3.dsc 03-Dec-2022 19:29 2149 coq-simple-io_1.8.0-2ubuntu1.debian.tar.xz 27-Jan-2023 05:04 2292 coq-simple-io_1.8.0-2ubuntu1.dsc 27-Jan-2023 05:04 2154 coq-simple-io_1.8.0-2ubuntu2.debian.tar.xz 17-Feb-2023 01:50 2300 coq-simple-io_1.8.0-2ubuntu2.dsc 17-Feb-2023 01:50 2154 coq-simple-io_1.8.0.orig.tar.gz 05-Nov-2022 21:08 32K libcoq-simple-io_1.7.0-2ubuntu1_arm64.deb 16-Aug-2022 15:39 87K libcoq-simple-io_1.7.0-2ubuntu1_armhf.deb 16-Aug-2022 15:39 85K libcoq-simple-io_1.7.0-2ubuntu1_ppc64el.deb 16-Aug-2022 15:39 86K libcoq-simple-io_1.7.0-2ubuntu1_riscv64.deb 16-Aug-2022 15:39 85K libcoq-simple-io_1.7.0-2ubuntu1_s390x.deb 16-Aug-2022 15:39 86K libcoq-simple-io_1.8.0-1ubuntu3_arm64.deb 03-Dec-2022 19:29 98K libcoq-simple-io_1.8.0-1ubuntu3_armhf.deb 03-Dec-2022 19:29 94K libcoq-simple-io_1.8.0-1ubuntu3_ppc64el.deb 03-Dec-2022 19:29 96K libcoq-simple-io_1.8.0-1ubuntu3_riscv64.deb 03-Dec-2022 19:29 94K libcoq-simple-io_1.8.0-1ubuntu3_s390x.deb 03-Dec-2022 19:29 95K libcoq-simple-io_1.8.0-2ubuntu1_arm64.deb 27-Jan-2023 05:05 99K libcoq-simple-io_1.8.0-2ubuntu1_armhf.deb 27-Jan-2023 05:05 94K libcoq-simple-io_1.8.0-2ubuntu1_ppc64el.deb 27-Jan-2023 05:05 96K libcoq-simple-io_1.8.0-2ubuntu1_riscv64.deb 27-Jan-2023 05:05 95K libcoq-simple-io_1.8.0-2ubuntu1_s390x.deb 27-Jan-2023 05:05 95K libcoq-simple-io_1.8.0-2ubuntu2_arm64.deb 17-Feb-2023 01:50 99K libcoq-simple-io_1.8.0-2ubuntu2_armhf.deb 17-Feb-2023 03:44 94K libcoq-simple-io_1.8.0-2ubuntu2_ppc64el.deb 17-Feb-2023 03:44 96K libcoq-simple-io_1.8.0-2ubuntu2_riscv64.deb 17-Feb-2023 03:44 94K libcoq-simple-io_1.8.0-2ubuntu2_s390x.deb 17-Feb-2023 03:44 95K