Index of /ubuntu/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
coq-unimath_20230420-2.debian.tar.xz               18-Jun-2023 06:34    1860
coq-unimath_20230420-2.dsc                         18-Jun-2023 06:34    2109
coq-unimath_20230420-3ubuntu1.debian.tar.xz        22-Jun-2023 01:25    2000
coq-unimath_20230420-3ubuntu1.dsc                  22-Jun-2023 01:25    2190
coq-unimath_20230420-4.debian.tar.xz               22-Jun-2023 20:09    3320
coq-unimath_20230420-4.dsc                         22-Jun-2023 20:09    2109
coq-unimath_20230420-4build1.debian.tar.xz         26-Jul-2023 12:19    3384
coq-unimath_20230420-4build1.dsc                   26-Jul-2023 12:19    2108
coq-unimath_20230420-4build3.debian.tar.xz         23-Nov-2023 07:05    3420
coq-unimath_20230420-4build3.dsc                   23-Nov-2023 07:05    2108
coq-unimath_20230420.orig.tar.gz                   13-Jun-2023 12:30      2M
coq-unimath_20231010-1.debian.tar.xz               23-Dec-2023 06:27    2088
coq-unimath_20231010-1.dsc                         23-Dec-2023 06:27    2109
coq-unimath_20231010.orig.tar.gz                   23-Dec-2023 06:27      3M
libcoq-unimath_20220816-1_amd64.deb                23-Aug-2022 03:39     50M
libcoq-unimath_20220816-1build2_amd64.deb          03-Dec-2022 20:24     48M
libcoq-unimath_20220816-2build1_amd64.deb          26-Jan-2023 23:39     48M
libcoq-unimath_20220816-2build2_amd64.deb          17-Feb-2023 04:50     48M
libcoq-unimath_20230420-2_amd64.deb                18-Jun-2023 10:29     62M
libcoq-unimath_20230420-3ubuntu1_amd64.deb         22-Jun-2023 05:34     62M
libcoq-unimath_20230420-4_amd64.deb                23-Jun-2023 00:25     61M
libcoq-unimath_20230420-4build1_amd64.deb          26-Jul-2023 16:58     61M
libcoq-unimath_20230420-4build3_amd64.deb          23-Nov-2023 11:14     61M
libcoq-unimath_20231010-1_amd64.deb                23-Dec-2023 11:32     62M

---