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

../
coq-menhirlib_20231231+ds-1build3.debian.tar.xz    08-Apr-2024 14:57                2136
coq-menhirlib_20231231+ds-1build3.dsc              08-Apr-2024 14:57                2223
coq-menhirlib_20231231+ds.orig.tar.xz              21-Jan-2024 12:45               45092
coq-menhirlib_20240715+ds-1build4.debian.tar.xz    19-Feb-2025 04:25                2312
coq-menhirlib_20240715+ds-1build4.dsc              19-Feb-2025 04:25                2144
coq-menhirlib_20240715+ds-1build5.debian.tar.xz    20-Jun-2025 20:22                2344
coq-menhirlib_20240715+ds-1build5.dsc              20-Jun-2025 20:22                2144
coq-menhirlib_20240715+ds-1build8.debian.tar.xz    04-Mar-2026 04:25                2420
coq-menhirlib_20240715+ds-1build8.dsc              04-Mar-2026 04:25                2144
coq-menhirlib_20240715+ds.orig.tar.xz              21-Nov-2024 01:47               45112
coq-menhirlib_20260209+ds-2.debian.tar.xz          29-Jul-2026 00:29                2232
coq-menhirlib_20260209+ds-2.dsc                    29-Jul-2026 00:29                2167
coq-menhirlib_20260209+ds-2build1.debian.tar.xz    27-Aug-2026 21:19                2308
coq-menhirlib_20260209+ds-2build1.dsc              27-Aug-2026 21:19                2154
coq-menhirlib_20260209+ds.orig.tar.xz              29-Jul-2026 00:29              367036
libcoq-menhirlib_20231231+ds-1build3_amd64.deb     08-Apr-2024 14:57             1508770
libcoq-menhirlib_20240715+ds-1build4_amd64.deb     19-Feb-2025 04:25             1533524
libcoq-menhirlib_20240715+ds-1build5_amd64.deb     20-Jun-2025 20:23             1533736
libcoq-menhirlib_20240715+ds-1build5_arm64.deb     20-Jun-2025 20:24             1533802
libcoq-menhirlib_20240715+ds-1build8_amd64.deb     04-Mar-2026 04:26             1533772
libcoq-menhirlib_20240715+ds-1build8_amd64v3.deb   04-Mar-2026 04:26             1533832
libcoq-menhirlib_20240715+ds-1build8_arm64.deb     04-Mar-2026 04:27             1533804
libcoq-menhirlib_20260209+ds-2_amd64.deb           18-Aug-2026 23:19             1081272
libcoq-menhirlib_20260209+ds-2_amd64v3.deb         18-Aug-2026 23:48             1081206
libcoq-menhirlib_20260209+ds-2_arm64.deb           18-Aug-2026 23:48             1081232
libcoq-menhirlib_20260209+ds-2build1_arm64.deb     27-Aug-2026 21:20             1081238