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

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