Index of /ubuntu/pool/universe/c/cvc5/

../
cvc5_1.0.2-1.debian.tar.xz                         10-Dec-2022 23:29                6324
cvc5_1.0.2-1.dsc                                   10-Dec-2022 23:29                2305
cvc5_1.0.2-1_amd64.deb                             11-Dec-2022 04:39               97922
cvc5_1.0.2-2.debian.tar.xz                         20-Dec-2022 05:30                6340
cvc5_1.0.2-2.dsc                                   20-Dec-2022 05:30                2305
cvc5_1.0.2-2_amd64.deb                             20-Dec-2022 05:56               97886
cvc5_1.0.2.orig.tar.gz                             10-Dec-2022 23:29             8259299
cvc5_1.0.3-1.debian.tar.xz                         20-Dec-2022 11:29                5964
cvc5_1.0.3-1.dsc                                   20-Dec-2022 11:29                2305
cvc5_1.0.3-1_amd64.deb                             20-Dec-2022 11:49               98580
cvc5_1.0.3.orig.tar.gz                             20-Dec-2022 11:29             8335175
cvc5_1.0.5-1.debian.tar.xz                         20-Jun-2023 23:39                5988
cvc5_1.0.5-1.dsc                                   20-Jun-2023 23:39                2335
cvc5_1.0.5-1_amd64.deb                             21-Jun-2023 00:09               90306
cvc5_1.0.5-3.debian.tar.xz                         24-Jun-2023 11:45                7072
cvc5_1.0.5-3.dsc                                   24-Jun-2023 11:45                2495
cvc5_1.0.5-3_amd64.deb                             25-Jun-2023 08:04               90332
cvc5_1.0.5.orig.tar.gz                             20-Jun-2023 23:39             8431503
cvc5_1.1.2-1.debian.tar.xz                         03-Mar-2024 11:23                6472
cvc5_1.1.2-1.dsc                                   03-Mar-2024 11:23                2470
cvc5_1.1.2-1_amd64.deb                             03-Mar-2024 12:07               95772
cvc5_1.1.2.orig.tar.gz                             03-Mar-2024 11:23             8581968
libcvc5-1_1.0.2-1_amd64.deb                        11-Dec-2022 04:39             4872964
libcvc5-1_1.0.2-2_amd64.deb                        20-Dec-2022 05:56             4872662
libcvc5-1_1.0.3-1_amd64.deb                        20-Dec-2022 11:49             4777062
libcvc5-1_1.0.5-1_amd64.deb                        21-Jun-2023 00:09             4793786
libcvc5-1_1.0.5-3_amd64.deb                        25-Jun-2023 08:04             4793888
libcvc5-1_1.1.2-1_amd64.deb                        03-Mar-2024 12:07             5085366
libcvc5-dev_1.0.2-1_amd64.deb                      11-Dec-2022 04:39               52606
libcvc5-dev_1.0.2-2_amd64.deb                      20-Dec-2022 05:56               52618
libcvc5-dev_1.0.3-1_amd64.deb                      20-Dec-2022 11:49               52762
libcvc5-dev_1.0.5-1_amd64.deb                      21-Jun-2023 00:09               54492
libcvc5-dev_1.0.5-3_amd64.deb                      25-Jun-2023 08:04               54488
libcvc5-dev_1.1.2-1_amd64.deb                      03-Mar-2024 12:07               84186
libcvc5parser1_1.0.2-1_amd64.deb                   11-Dec-2022 04:39              258152
libcvc5parser1_1.0.2-2_amd64.deb                   20-Dec-2022 05:56              259016
libcvc5parser1_1.0.3-1_amd64.deb                   20-Dec-2022 11:49              304354
libcvc5parser1_1.0.5-1_amd64.deb                   21-Jun-2023 00:09              352564
libcvc5parser1_1.0.5-3_amd64.deb                   25-Jun-2023 08:04              352602
libcvc5parser1_1.1.2-1_amd64.deb                   03-Mar-2024 12:07              210112
python3-cvc5_1.0.5-3_amd64.deb                     25-Jun-2023 08:04              245226
python3-cvc5_1.1.2-1_amd64.deb                     03-Mar-2024 12:07              346932