Index of /debian/pool/main/c/coq-unimath/

../
coq-unimath_20220816-2.debian.tar.xz               25-Jan-2023 19:55                1776
coq-unimath_20220816-2.dsc                         25-Jan-2023 19:55                2099
coq-unimath_20220816.orig.tar.gz                   22-Aug-2022 20:11             1986848
coq-unimath_20231010-1.debian.tar.xz               23-Dec-2023 00:29                2088
coq-unimath_20231010-1.dsc                         23-Dec-2023 00:29                2109
coq-unimath_20231010.orig.tar.gz                   23-Dec-2023 00:29             2893033
coq-unimath_20240331-1.debian.tar.xz               26-Apr-2024 22:01                2116
coq-unimath_20240331-1.dsc                         26-Apr-2024 22:01                2109
coq-unimath_20240331-2.debian.tar.xz               04-Aug-2024 12:44                2224
coq-unimath_20240331-2.dsc                         04-Aug-2024 12:44                1883
coq-unimath_20240331.orig.tar.gz                   26-Apr-2024 22:01             3324158
coq-unimath_20240923-1.debian.tar.xz               20-Nov-2024 18:02                2252
coq-unimath_20240923-1.dsc                         20-Nov-2024 18:02                2109
coq-unimath_20240923-2.debian.tar.xz               25-Nov-2024 21:32                2284
coq-unimath_20240923-2.dsc                         25-Nov-2024 21:32                2109
coq-unimath_20240923.orig.tar.gz                   20-Nov-2024 18:02             3609745
coq-unimath_20250923-1.debian.tar.xz               29-Oct-2025 17:24                2372
coq-unimath_20250923-1.dsc                         29-Oct-2025 17:24                2121
coq-unimath_20250923-2.debian.tar.xz               12-Nov-2025 02:20                2400
coq-unimath_20250923-2.dsc                         12-Nov-2025 02:20                2118
coq-unimath_20250923.orig.tar.gz                   29-Oct-2025 17:24             4006350
libcoq-unimath_20220816-2+b1_amd64.deb             13-Feb-2023 16:59            40803152
libcoq-unimath_20231010-1_amd64.deb                23-Dec-2023 05:52            42954460
libcoq-unimath_20240331-1+b1_amd64.deb             15-Jun-2024 23:43            49963652
libcoq-unimath_20240331-1_amd64.deb                28-Apr-2024 16:10            49964792
libcoq-unimath_20240331-2+b1_amd64.deb             11-Aug-2024 13:55            50020856
libcoq-unimath_20240331-2+b2_amd64.deb             21-Aug-2024 12:45            50018220
libcoq-unimath_20240331-2_amd64.deb                04-Aug-2024 14:01            49965500
libcoq-unimath_20240923-1_amd64.deb                20-Nov-2024 20:38            51872456
libcoq-unimath_20240923-2+b1_amd64.deb             30-Jan-2025 11:40            51873680
libcoq-unimath_20240923-2+b3_amd64.deb             18-Feb-2025 09:06            51867556
libcoq-unimath_20240923-2+b4_amd64.deb             15-Jun-2025 19:45            51868872
libcoq-unimath_20240923-2+b5_amd64.deb             28-Dec-2025 13:10            51869016
libcoq-unimath_20240923-2_amd64.deb                25-Nov-2024 22:22            51872104
libcoq-unimath_20250923-1_amd64.deb                29-Oct-2025 17:24            56455420
libcoq-unimath_20250923-2_amd64.deb                12-Nov-2025 02:20            56456996