Index of /ubuntu-snapshots/2024-01-01-0655/ubuntu/pool/universe/c/coq-menhirlib/

../
coq-menhirlib_20220210+ds-4build2.debian.tar.xz    16-Feb-2023 18:50                1840
coq-menhirlib_20220210+ds-4build2.dsc              16-Feb-2023 18:50                2144
coq-menhirlib_20220210+ds.orig.tar.xz              09-Jul-2022 05:18               38152
coq-menhirlib_20230608+ds-1build1.debian.tar.xz    26-Jul-2023 05:19                1888
coq-menhirlib_20230608+ds-1build1.dsc              26-Jul-2023 05:19                2144
coq-menhirlib_20230608+ds-2.debian.tar.xz          22-Dec-2023 17:26                1916
coq-menhirlib_20230608+ds-2.dsc                    22-Dec-2023 17:26                2145
coq-menhirlib_20230608+ds-2build1.debian.tar.xz    23-Dec-2023 01:42                1980
coq-menhirlib_20230608+ds-2build1.dsc              23-Dec-2023 01:42                2144
coq-menhirlib_20230608+ds.orig.tar.xz              26-Jun-2023 12:09               38088
libcoq-menhirlib_20220210+ds-4build2_amd64.deb     16-Feb-2023 18:50             1746402
libcoq-menhirlib_20230608+ds-1build1_amd64.deb     26-Jul-2023 06:22             1743726
libcoq-menhirlib_20230608+ds-2_amd64.deb           22-Dec-2023 17:27             2366514
libcoq-menhirlib_20230608+ds-2build1_amd64.deb     23-Dec-2023 01:42             2006824