Index of /pool/universe/c/cvc4/

../
cvc4_1.5-1_amd64.deb                               11-Sep-2025 17:38              138624
cvc4_1.6-2build2_amd64.deb                         03-Sep-2025 17:51              137732
cvc4_1.8-2_amd64.deb                               04-Sep-2025 21:52               73336
cvc4_1.8-3build2_amd64.deb                         04-Sep-2025 17:16               75388
libcvc4-4_1.5-1_amd64.deb                          11-Sep-2025 18:03             3375660
libcvc4-5_1.6-2build2_amd64.deb                    03-Sep-2025 18:24             4512744
libcvc4-7_1.8-2_amd64.deb                          04-Sep-2025 21:26             5659900
libcvc4-7_1.8-3build2_amd64.deb                    04-Sep-2025 17:50             4734878
libcvc4-dev_1.5-1_amd64.deb                        11-Sep-2025 17:45             5968312
libcvc4-dev_1.6-2build2_amd64.deb                  03-Sep-2025 17:58             7295824
libcvc4-dev_1.8-2_amd64.deb                        04-Sep-2025 21:51              123212
libcvc4-dev_1.8-3build2_amd64.deb                  04-Sep-2025 17:04              125256
libcvc4parser4_1.5-1_amd64.deb                     11-Sep-2025 18:10              363676
libcvc4parser5_1.6-2build2_amd64.deb               03-Sep-2025 17:49              364108
libcvc4parser7_1.8-2_amd64.deb                     04-Sep-2025 21:31              357524
libcvc4parser7_1.8-3build2_amd64.deb               04-Sep-2025 17:51              373822