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

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


../
coq-unimath_20220816-1.debian.tar.xz               23-Aug-2022 00:34    1728
coq-unimath_20220816-1.dsc                         23-Aug-2022 00:34    2094
coq-unimath_20220816-1build2.debian.tar.xz         03-Dec-2022 16:59    1828
coq-unimath_20220816-1build2.dsc                   03-Dec-2022 16:59    2093
coq-unimath_20220816-2.debian.tar.xz               26-Jan-2023 01:17    1776
coq-unimath_20220816-2.dsc                         26-Jan-2023 01:17    2099
coq-unimath_20220816-2build1.debian.tar.xz         26-Jan-2023 20:54    1852
coq-unimath_20220816-2build1.dsc                   26-Jan-2023 20:54    2098
coq-unimath_20220816-2build2.debian.tar.xz         17-Feb-2023 01:50    1864
coq-unimath_20220816-2build2.dsc                   17-Feb-2023 01:50    2098
coq-unimath_20220816.orig.tar.gz                   23-Aug-2022 00:34      2M
libcoq-unimath_20220816-1_arm64.deb                23-Aug-2022 15:25     50M
libcoq-unimath_20220816-1_armhf.deb                23-Aug-2022 18:39     50M
libcoq-unimath_20220816-1_ppc64el.deb              23-Aug-2022 05:54     50M
libcoq-unimath_20220816-1_riscv64.deb              25-Aug-2022 20:58     50M
libcoq-unimath_20220816-1_s390x.deb                23-Aug-2022 12:40     50M
libcoq-unimath_20220816-1build2_arm64.deb          04-Dec-2022 03:33     48M
libcoq-unimath_20220816-1build2_armhf.deb          04-Dec-2022 02:04     48M
libcoq-unimath_20220816-1build2_ppc64el.deb        03-Dec-2022 21:54     48M
libcoq-unimath_20220816-1build2_riscv64.deb        06-Dec-2022 23:54     48M
libcoq-unimath_20220816-1build2_s390x.deb          03-Dec-2022 22:33     48M
libcoq-unimath_20220816-2build1_arm64.deb          27-Jan-2023 14:14     48M
libcoq-unimath_20220816-2build1_armhf.deb          27-Jan-2023 10:43     48M
libcoq-unimath_20220816-2build1_ppc64el.deb        27-Jan-2023 01:24     48M
libcoq-unimath_20220816-2build1_riscv64.deb        29-Jan-2023 19:33     48M
libcoq-unimath_20220816-2build1_s390x.deb          27-Jan-2023 02:58     48M
libcoq-unimath_20220816-2build2_arm64.deb          17-Feb-2023 12:09     48M
libcoq-unimath_20220816-2build2_armhf.deb          17-Feb-2023 09:34     48M
libcoq-unimath_20220816-2build2_ppc64el.deb        17-Feb-2023 06:55     48M
libcoq-unimath_20220816-2build2_riscv64.deb        20-Feb-2023 06:03     48M
libcoq-unimath_20220816-2build2_s390x.deb          17-Feb-2023 08:54     48M