Welcome to deb.felsqualle.com

This server mirrors the following archives:

debian:    Debian main site, containing the package repository for bullseye, bookworm, trixie, forky (testing), and sid (unstable) (amd64, i386, source)

 Name                                       Last modified      Size  
 Parent Directory                                                -   
 jbmc_6.6.0-4_i386.deb                      2025-04-30 16:52  8.8M  
 jbmc_6.6.0-4_amd64.deb                     2025-04-30 14:44  8.3M  
 cbmc_6.6.0.orig.tar.gz                     2025-04-29 11:10  8.7M  
 cbmc_6.6.0.orig-java-models-library.tar.gz 2023-06-02 19:14  292K  
 cbmc_6.6.0.orig-java-cprover-api.tar.gz    2023-06-02 19:14   14K  
 cbmc_6.6.0-4_i386.deb                      2025-04-30 16:52   22M  
 cbmc_6.6.0-4_amd64.deb                     2025-04-30 14:44   21M  
 cbmc_6.6.0-4.dsc                           2025-04-30 13:08  3.1K  
 cbmc_6.6.0-4.debian.tar.xz                 2025-04-30 13:08   16K  
 cbmc_5.12.orig.tar.gz                      2020-04-28 19:10  6.9M  
 cbmc_5.12.orig-java-models-library.tar.gz  2020-04-28 19:10  297K  
 cbmc_5.12-5_i386.deb                       2020-05-04 17:27   18M  
 cbmc_5.12-5_amd64.deb                      2020-05-04 17:58   17M  
 cbmc_5.12-5.dsc                            2020-05-04 15:16  2.2K  
 cbmc_5.12-5.debian.tar.xz                  2020-05-04 15:16   15K