Index of /univention-repository/pool/main/c/cvc4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cvc4_1.6-2+b1_amd64.deb2019-08-27 08:19 133K 
[ ]cvc4_1.8-2_amd64.deb2023-02-25 17:40 80K 
[ ]cvc4_1.8-3_amd64.deb2023-03-12 08:20 79K 
[ ]libcvc4-5_1.6-2+b1_amd64.deb2019-08-27 08:19 3.9M 
[ ]libcvc4-7_1.8-2_amd64.deb2023-02-25 17:40 5.4M 
[ ]libcvc4-7_1.8-3_amd64.deb2023-03-12 08:20 5.7M 
[ ]libcvc4-dev_1.6-2+b1_amd64.deb2019-08-27 08:19 6.4M 
[ ]libcvc4-dev_1.8-2_amd64.deb2023-02-25 17:40 128K 
[ ]libcvc4-dev_1.8-3_amd64.deb2023-03-12 08:20 128K 
[ ]libcvc4parser5_1.6-2+b1_amd64.deb2019-08-27 08:19 354K 
[ ]libcvc4parser7_1.8-2_amd64.deb2023-02-25 17:40 358K 
[ ]libcvc4parser7_1.8-3_amd64.deb2023-03-12 08:20 354K 
Apache/2.4.41 (Ubuntu) Server at paedml-linux.support-netz.de Port 80