Directory listing for /nl.archive.ubuntu.com/ubuntu/pool/universe/c/cvc4/

• cvc4_1.8-5_amd64.deb
• libcvc4-7_1.8-5_amd64.deb
• libcvc4-dev_1.8-5_amd64.deb
• libcvc4parser7_1.8-5_amd64.deb