Index of /debian/pool/main/c/cvc5/

../
cvc5_1.0.3-1_amd64.deb                             20-Dec-2022 05:55              107900
cvc5_1.0.3-1_arm64.deb                             20-Dec-2022 05:29               97488
cvc5_1.1.2-2+b3_amd64.deb                          09-Jan-2025 11:11              109176
cvc5_1.1.2-2+b3_arm64.deb                          09-Jan-2025 11:31               97292
cvc5_1.3.2-1+b1_amd64.deb                          23-Apr-2026 15:56              143304
cvc5_1.3.2-1+b1_arm64.deb                          23-Apr-2026 14:01              128872
cvc5_1.3.2-1_amd64.deb                             24-Dec-2025 01:49              143700
cvc5_1.3.2-1_arm64.deb                             24-Dec-2025 01:54              128672
libcvc5-1_1.0.3-1_amd64.deb                        20-Dec-2022 05:55             5841260
libcvc5-1_1.0.3-1_arm64.deb                        20-Dec-2022 05:29             4944548
libcvc5-1_1.1.2-2+b3_amd64.deb                     09-Jan-2025 11:11             6682620
libcvc5-1_1.1.2-2+b3_arm64.deb                     09-Jan-2025 11:31             5708748
libcvc5-1_1.3.2-1+b1_amd64.deb                     23-Apr-2026 15:56             7741008
libcvc5-1_1.3.2-1+b1_arm64.deb                     23-Apr-2026 14:01             6637100
libcvc5-1_1.3.2-1_amd64.deb                        24-Dec-2025 01:49             7725568
libcvc5-1_1.3.2-1_arm64.deb                        24-Dec-2025 01:54             6623380
libcvc5-dev_1.0.3-1_amd64.deb                      20-Dec-2022 05:55               58584
libcvc5-dev_1.0.3-1_arm64.deb                      20-Dec-2022 05:29               58576
libcvc5-dev_1.1.2-2+b3_amd64.deb                   09-Jan-2025 11:11               93296
libcvc5-dev_1.1.2-2+b3_arm64.deb                   09-Jan-2025 11:31               93260
libcvc5-dev_1.3.2-1+b1_amd64.deb                   23-Apr-2026 15:56              124284
libcvc5-dev_1.3.2-1+b1_arm64.deb                   23-Apr-2026 14:01              124248
libcvc5-dev_1.3.2-1_amd64.deb                      24-Dec-2025 01:49              124012
libcvc5-dev_1.3.2-1_arm64.deb                      24-Dec-2025 01:54              124008
libcvc5parser1_1.0.3-1_amd64.deb                   20-Dec-2022 05:55              306872
libcvc5parser1_1.0.3-1_arm64.deb                   20-Dec-2022 05:29              273148
libcvc5parser1_1.1.2-2+b3_amd64.deb                09-Jan-2025 11:11              236752
libcvc5parser1_1.1.2-2+b3_arm64.deb                09-Jan-2025 11:31              207592
libcvc5parser1_1.3.2-1+b1_amd64.deb                23-Apr-2026 15:56              273048
libcvc5parser1_1.3.2-1+b1_arm64.deb                23-Apr-2026 14:01              237420
libcvc5parser1_1.3.2-1_amd64.deb                   24-Dec-2025 01:49              273180
libcvc5parser1_1.3.2-1_arm64.deb                   24-Dec-2025 01:54              237412
python3-cvc5_1.1.2-2+b3_amd64.deb                  09-Jan-2025 11:11              339080
python3-cvc5_1.1.2-2+b3_arm64.deb                  09-Jan-2025 11:31              298164
python3-cvc5_1.3.2-1+b1_amd64.deb                  23-Apr-2026 15:56              386896
python3-cvc5_1.3.2-1+b1_arm64.deb                  23-Apr-2026 14:01              323292
python3-cvc5_1.3.2-1_amd64.deb                     24-Dec-2025 01:49              385008
python3-cvc5_1.3.2-1_arm64.deb                     24-Dec-2025 01:54              322688