Index of /debian/pool/main/c/cvc4

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]libcvc4parser7_1.8-3_amd64.deb2022-10-30 10:29 354K
[   ]libcvc4parser7_1.8-3+b4_amd64.deb2025-04-08 04:25 373K
[   ]libcvc4-dev_1.8-3_amd64.deb2022-10-30 10:29 128K
[   ]libcvc4-dev_1.8-3+b4_amd64.deb2025-04-08 04:25 128K
[   ]libcvc4-7_1.8-3_amd64.deb2022-10-30 10:29 5.7M
[   ]libcvc4-7_1.8-3+b4_amd64.deb2025-04-08 04:25 6.3M
[   ]cvc4_1.8-3_amd64.deb2022-10-30 10:29 79K
[   ]cvc4_1.8-3+b4_amd64.deb2025-04-08 04:25 81K

Apache/2.4.52 (Ubuntu) Server at ubuntu.btit.nz Port 80