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                                                              -   
 btor2tools_1.0.2~git20250507.fb69ee3-2.dsc               2026-01-30 14:16  2.2K  
 btor2tools_1.0.2~git20250507.fb69ee3-2.debian.tar.xz     2026-01-30 14:16  3.3K  
 libbtor2parser0_1.0.2~git20250507.fb69ee3-2_amd64.deb    2026-01-30 15:01   15K  
 libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_amd64.deb 2026-01-30 15:01   17K  
 libbtor2parser0_1.0.2~git20250507.fb69ee3-2_i386.deb     2026-01-30 15:01   18K  
 libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_i386.deb  2026-01-30 15:01   20K  
 btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz         2025-08-23 05:08   61K  
 btor2tools_1.0.2~git20250507.fb69ee3-2_amd64.deb         2026-01-30 15:01   65K  
 btor2tools_1.0.2~git20250507.fb69ee3-2_i386.deb          2026-01-30 15:01   71K