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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]cvc4_1.6-2+b1_amd64.deb17-Nov-2018 20:57 133K
[   ]cvc4_1.8-2_amd64.deb18-Sep-2020 13:11 80K
[   ]cvc4_1.8-3+b4_amd64.deb08-Apr-2025 03:25 81K
[   ]cvc4_1.8-3_amd64.deb30-Oct-2022 08:29 79K
[   ]libcvc4-5_1.6-2+b1_amd64.deb17-Nov-2018 20:57 3.9M
[   ]libcvc4-7_1.8-2_amd64.deb18-Sep-2020 13:11 5.4M
[   ]libcvc4-7_1.8-3+b4_amd64.deb08-Apr-2025 03:25 6.3M
[   ]libcvc4-7_1.8-3_amd64.deb30-Oct-2022 08:29 5.7M
[   ]libcvc4-dev_1.6-2+b1_amd64.deb17-Nov-2018 20:57 6.4M
[   ]libcvc4-dev_1.8-2_amd64.deb18-Sep-2020 13:11 128K
[   ]libcvc4-dev_1.8-3+b4_amd64.deb08-Apr-2025 03:25 128K
[   ]libcvc4-dev_1.8-3_amd64.deb30-Oct-2022 08:29 128K
[   ]libcvc4parser5_1.6-2+b1_amd64.deb17-Nov-2018 20:57 354K
[   ]libcvc4parser7_1.8-2_amd64.deb18-Sep-2020 13:11 358K
[   ]libcvc4parser7_1.8-3+b4_amd64.deb08-Apr-2025 03:25 373K
[   ]libcvc4parser7_1.8-3_amd64.deb30-Oct-2022 08:29 354K

Apache/2.2.9 (Debian) PHP/5.2.6-1+lenny9 with Suhosin-Patch Server at ftp.debian.snc.ru Port 80