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

Current bandwidth utilization 843.20 Mbit/s

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 cbmc_5.10-5.debian.tar.xz                   11-Apr-2022 05:26   12K  
 cbmc_5.10-5.dsc                             11-Apr-2022 05:26  2.1K  
 cbmc_5.10-5_amd64.deb                       11-Apr-2022 05:05  9.6M  
 cbmc_5.10-5_i386.deb                        11-Apr-2022 05:13   10M  
 cbmc_5.10.orig-java-models-library.tar.gz   11-Apr-2022 05:26  169K  
 cbmc_5.10.orig.tar.gz                       11-Apr-2022 05:26  6.1M  

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