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

Icon  Name                           Last modified      Size  Description
[PARENTDIR] Parent Directory                                    -   
[   ] cvc4_1.8-3.debian.tar.xz       2022-10-29 21:57   16K  
[TXT] cvc4_1.8-3.dsc                 2022-10-29 21:57  2.2K  
[   ] cvc4_1.8-3_amd64.deb           2022-10-29 23:29   79K  
[   ] cvc4_1.8.orig.tar.gz           2020-09-14 01:17  7.2M  
[   ] libcvc4-7_1.8-3_amd64.deb      2022-10-29 23:29  5.7M  
[   ] libcvc4-dev_1.8-3_amd64.deb    2022-10-29 23:29  128K  
[   ] libcvc4parser7_1.8-3_amd64.deb 2022-10-29 23:29  354K