files.etlam.eu - /linux/debian/mirror/debian-ports-20240608/pool-ia64/main/c/cvc4/

[To Parent Directory]

 7/13/2024  4:40 AM      1040408 cvc4-dbgsym_1.8-3+b2_ia64.deb
 7/13/2024  4:40 AM        88012 cvc4_1.8-3+b2_ia64.deb
 7/13/2024  4:40 AM    210885304 libcvc4-7-dbgsym_1.8-3+b2_ia64.deb
 7/13/2024  4:40 AM      7100628 libcvc4-7_1.8-3+b2_ia64.deb
 7/13/2024  4:40 AM       131356 libcvc4-dev_1.8-3+b2_ia64.deb
 7/13/2024  4:40 AM      5622424 libcvc4parser7-dbgsym_1.8-3+b2_ia64.deb
 7/13/2024  4:40 AM       415772 libcvc4parser7_1.8-3+b2_ia64.deb