Welcome to ftp.nluug.nl Current directory: /ftp/pub/os/Linux/distr/deepin/pool/main/c/cvc4/

Current bandwidth utilization 501.55 Mbit/s

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 cvc4_1.6-2+b1_amd64.deb                     11-Apr-2022 04:57  133K  
 cvc4_1.6-2+b1_i386.deb                      11-Apr-2022 05:26  136K  
 cvc4_1.6-2.debian.tar.xz                    11-Apr-2022 05:20  8.0K  
 cvc4_1.6-2.dsc                              11-Apr-2022 05:20  2.6K  
 cvc4_1.6.orig.tar.gz                        11-Apr-2022 05:20  7.5M  
 libcvc4-5_1.6-2+b1_amd64.deb                11-Apr-2022 05:33  3.9M  
 libcvc4-5_1.6-2+b1_i386.deb                 11-Apr-2022 05:33  4.3M  
 libcvc4-dev_1.6-2+b1_amd64.deb              11-Apr-2022 05:44  6.4M  
 libcvc4-dev_1.6-2+b1_i386.deb               11-Apr-2022 05:12  6.9M  
 libcvc4parser5_1.6-2+b1_amd64.deb           11-Apr-2022 05:37  354K  
 libcvc4parser5_1.6-2+b1_i386.deb            11-Apr-2022 05:13  380K  

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!