Index of /debian/pool/main/c/cvc5/
../
cvc5_1.0.3-1_amd64.deb 20-Dec-2022 05:55 107900
cvc5_1.0.5-3+b1_amd64.deb 05-Jan-2024 21:57 103068
cvc5_1.0.5-3_amd64.deb 23-Jun-2023 21:29 99992
cvc5_1.0.8-1_amd64.deb 21-Jan-2024 03:59 106264
cvc5_1.1.1-1_amd64.deb 12-Feb-2024 03:53 109188
cvc5_1.1.2-2+b1_amd64.deb 26-Jun-2024 09:01 111012
cvc5_1.1.2-2+b2_amd64.deb 28-Oct-2024 17:08 108004
cvc5_1.1.2-2_amd64.deb 20-Mar-2024 01:42 110792
libcvc5-1_1.0.3-1_amd64.deb 20-Dec-2022 05:55 5841260
libcvc5-1_1.0.5-3+b1_amd64.deb 05-Jan-2024 21:57 6111996
libcvc5-1_1.0.5-3_amd64.deb 23-Jun-2023 21:29 5908996
libcvc5-1_1.0.8-1_amd64.deb 21-Jan-2024 03:59 6152128
libcvc5-1_1.1.1-1_amd64.deb 12-Feb-2024 03:53 6295236
libcvc5-1_1.1.2-2+b1_amd64.deb 26-Jun-2024 09:01 6412324
libcvc5-1_1.1.2-2+b2_amd64.deb 28-Oct-2024 17:08 6679788
libcvc5-1_1.1.2-2_amd64.deb 20-Mar-2024 01:42 6413360
libcvc5-dev_1.0.3-1_amd64.deb 20-Dec-2022 05:55 58584
libcvc5-dev_1.0.5-3+b1_amd64.deb 05-Jan-2024 21:57 60940
libcvc5-dev_1.0.5-3_amd64.deb 23-Jun-2023 21:29 60640
libcvc5-dev_1.0.8-1_amd64.deb 21-Jan-2024 03:59 64588
libcvc5-dev_1.1.1-1_amd64.deb 12-Feb-2024 03:53 79640
libcvc5-dev_1.1.2-2+b1_amd64.deb 26-Jun-2024 09:01 93216
libcvc5-dev_1.1.2-2+b2_amd64.deb 28-Oct-2024 17:08 93268
libcvc5-dev_1.1.2-2_amd64.deb 20-Mar-2024 01:42 92956
libcvc5parser1_1.0.3-1_amd64.deb 20-Dec-2022 05:55 306872
libcvc5parser1_1.0.5-3+b1_amd64.deb 05-Jan-2024 21:57 375332
libcvc5parser1_1.0.5-3_amd64.deb 23-Jun-2023 21:29 367492
libcvc5parser1_1.0.8-1_amd64.deb 21-Jan-2024 03:59 220084
libcvc5parser1_1.1.1-1_amd64.deb 12-Feb-2024 03:53 231856
libcvc5parser1_1.1.2-2+b1_amd64.deb 26-Jun-2024 09:01 235060
libcvc5parser1_1.1.2-2+b2_amd64.deb 28-Oct-2024 17:08 236316
libcvc5parser1_1.1.2-2_amd64.deb 20-Mar-2024 01:42 234136
python3-cvc5_1.0.5-3+b1_amd64.deb 05-Jan-2024 21:57 276016
python3-cvc5_1.0.5-3_amd64.deb 23-Jun-2023 21:29 227624
python3-cvc5_1.0.8-1_amd64.deb 21-Jan-2024 03:59 278640
python3-cvc5_1.1.1-1_amd64.deb 12-Feb-2024 03:53 324272
python3-cvc5_1.1.2-2+b1_amd64.deb 26-Jun-2024 09:01 335544
python3-cvc5_1.1.2-2+b2_amd64.deb 28-Oct-2024 17:08 339356
python3-cvc5_1.1.2-2_amd64.deb 20-Mar-2024 01:42 328644