Index of /ubuntu/pool/universe/c/coq-extructures/

../
coq-extructures_0.4.0-1build5.debian.tar.xz        08-Apr-2024 13:57                2484
coq-extructures_0.4.0-1build5.dsc                  08-Apr-2024 13:57                2244
coq-extructures_0.4.0.orig.tar.gz                  26-Dec-2023 23:17               42179
coq-extructures_0.5.0-1build10.debian.tar.xz       01-Sep-2025 01:42                2616
coq-extructures_0.5.0-1build10.dsc                 01-Sep-2025 01:42                2169
coq-extructures_0.5.0-1build13.debian.tar.xz       05-Jan-2026 05:06                2668
coq-extructures_0.5.0-1build13.dsc                 05-Jan-2026 05:06                2169
coq-extructures_0.5.0-1build14.debian.tar.xz       28-Jan-2026 06:59                2676
coq-extructures_0.5.0-1build14.dsc                 28-Jan-2026 06:59                2169
coq-extructures_0.5.0-1build15.debian.tar.xz       08-Mar-2026 23:18                2720
coq-extructures_0.5.0-1build15.dsc                 08-Mar-2026 23:18                2169
coq-extructures_0.5.0-1build6.debian.tar.xz        19-Feb-2025 13:52                2548
coq-extructures_0.5.0-1build6.dsc                  19-Feb-2025 13:52                2165
coq-extructures_0.5.0.orig.tar.gz                  19-Dec-2024 05:41               42630
libcoq-extructures_0.4.0-1build5_amd64.deb         09-Apr-2024 12:03              731708
libcoq-extructures_0.5.0-1build10_amd64.deb        02-Sep-2025 14:36              840776
libcoq-extructures_0.5.0-1build13_amd64.deb        06-Jan-2026 14:32              840738
libcoq-extructures_0.5.0-1build13_amd64v3.deb      06-Jan-2026 14:32              840750
libcoq-extructures_0.5.0-1build14_amd64.deb        31-Jan-2026 14:17              840714
libcoq-extructures_0.5.0-1build14_amd64v3.deb      31-Jan-2026 14:17              840728
libcoq-extructures_0.5.0-1build15_amd64.deb        08-Mar-2026 23:19              841254
libcoq-extructures_0.5.0-1build15_amd64v3.deb      08-Mar-2026 23:19              841276
libcoq-extructures_0.5.0-1build6_amd64.deb         20-Feb-2025 15:57              842512