Index of /ubuntu/pool/universe/c/coq-record-update/

../
coq-record-update_0.3.1-1.debian.tar.xz            18-Jul-2022 23:49                1820
coq-record-update_0.3.1-1.dsc                      18-Jul-2022 23:48                2143
coq-record-update_0.3.1-1build2.debian.tar.xz      25-Nov-2022 18:40                1916
coq-record-update_0.3.1-1build2.dsc                25-Nov-2022 18:40                2142
coq-record-update_0.3.1-1build3.debian.tar.xz      03-Dec-2022 09:59                1936
coq-record-update_0.3.1-1build3.dsc                03-Dec-2022 09:59                2142
coq-record-update_0.3.1-2.debian.tar.xz            25-Jan-2023 11:49                1872
coq-record-update_0.3.1-2.dsc                      25-Jan-2023 11:49                2148
coq-record-update_0.3.1-2build1.debian.tar.xz      26-Jan-2023 13:54                1944
coq-record-update_0.3.1-2build1.dsc                26-Jan-2023 13:54                2147
coq-record-update_0.3.1-2build2.debian.tar.xz      16-Feb-2023 18:50                1964
coq-record-update_0.3.1-2build2.dsc                16-Feb-2023 18:50                2147
coq-record-update_0.3.1.orig.tar.gz                18-Jul-2022 23:49               13484
coq-record-update_0.3.2-1.debian.tar.xz            13-Jun-2023 05:30                1920
coq-record-update_0.3.2-1.dsc                      13-Jun-2023 05:30                2148
coq-record-update_0.3.2-1build1.debian.tar.xz      26-Jul-2023 05:19                1996
coq-record-update_0.3.2-1build1.dsc                26-Jul-2023 05:19                2147
coq-record-update_0.3.2.orig.tar.gz                13-Jun-2023 05:30               13624
coq-record-update_0.3.3-1build1.debian.tar.xz      23-Dec-2023 02:26                2044
coq-record-update_0.3.3-1build1.dsc                23-Dec-2023 02:26                2147
coq-record-update_0.3.3-1build2.debian.tar.xz      24-Mar-2024 00:53                2136
coq-record-update_0.3.3-1build2.dsc                24-Mar-2024 00:53                2263
coq-record-update_0.3.3.orig.tar.gz                22-Dec-2023 17:26               13644
libcoq-record-update_0.3.1-1_amd64.deb             19-Jul-2022 01:08               15354
libcoq-record-update_0.3.1-1build2_amd64.deb       25-Nov-2022 18:41               15250
libcoq-record-update_0.3.1-1build3_amd64.deb       03-Dec-2022 09:59               15264
libcoq-record-update_0.3.1-2build1_amd64.deb       26-Jan-2023 13:54               15312
libcoq-record-update_0.3.1-2build2_amd64.deb       16-Feb-2023 18:50               15328
libcoq-record-update_0.3.2-1_amd64.deb             13-Jun-2023 05:30               15280
libcoq-record-update_0.3.2-1build1_amd64.deb       26-Jul-2023 06:22               15390
libcoq-record-update_0.3.3-1build1_amd64.deb       23-Dec-2023 03:06               17532
libcoq-record-update_0.3.3-1build2_amd64.deb       24-Mar-2024 00:53               15504