Index of /debian-ports/pool-x32/main/c/cvc4

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 cvc4-dbgsym_1.6-2+b2_x32.deb           10-Jul-2020 20:03  3.6M  
 cvc4_1.6-2+b2_x32.buildinfo            10-Jul-2020 20:03  8.4K  
 cvc4_1.6-2+b2_x32.deb                  10-Jul-2020 20:03  137K  
 libcvc4-5-dbgsym_1.6-2+b2_x32.deb      10-Jul-2020 20:03  146M  
 libcvc4-5_1.6-2+b2_x32.deb             10-Jul-2020 20:03  4.4M  
 libcvc4-dev_1.6-2+b2_x32.deb           10-Jul-2020 20:03  6.9M  
 libcvc4parser5-dbgsym_1.6-2+b2_x32.deb 10-Jul-2020 20:03  6.1M  
 libcvc4parser5_1.6-2+b2_x32.deb        10-Jul-2020 20:03  363K