Index of /debian-ports/pool-alpha/main/c/cvc4/

../
cvc4-dbgsym_1.8-3+b3_alpha.deb                     08-Apr-2025 00:03             1000820
cvc4-dbgsym_1.8-4_alpha.deb                        13-Aug-2025 06:03             1000912
cvc4_1.8-3+b3_alpha.buildinfo                      08-Apr-2025 00:03                9986
cvc4_1.8-3+b3_alpha.deb                            08-Apr-2025 00:03               78656
cvc4_1.8-4_alpha.buildinfo                         13-Aug-2025 06:03                9561
cvc4_1.8-4_alpha.deb                               13-Aug-2025 06:03               78612
libcvc4-7-dbgsym_1.8-3+b3_alpha.deb                08-Apr-2025 00:03           203353876
libcvc4-7-dbgsym_1.8-4_alpha.deb                   13-Aug-2025 06:03           203347296
libcvc4-7_1.8-3+b3_alpha.deb                       08-Apr-2025 00:03             5981152
libcvc4-7_1.8-4_alpha.deb                          13-Aug-2025 06:03             5982756
libcvc4-dev_1.8-3+b3_alpha.deb                     08-Apr-2025 00:03              131440
libcvc4-dev_1.8-4_alpha.deb                        13-Aug-2025 06:03              131156
libcvc4parser7-dbgsym_1.8-3+b3_alpha.deb           08-Apr-2025 00:03             5287996
libcvc4parser7-dbgsym_1.8-4_alpha.deb              13-Aug-2025 06:03             5288516
libcvc4parser7_1.8-3+b3_alpha.deb                  08-Apr-2025 00:03              362440
libcvc4parser7_1.8-4_alpha.deb                     13-Aug-2025 06:03              361356