Index of /pub/debian/pool/main/b/btor2tools

Icon  Name                                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                                          -   
[TXT] btor2tools_1.0.3-1.dsc                               2026-09-23 10:03  2.1K  
[TXT] btor2tools_1.0.2~git20250918.d33c73f-1.dsc           2026-03-04 14:20  2.2K  
[   ] btor2tools_1.0.3-1.debian.tar.xz                     2026-09-23 10:03  3.4K  
[   ] btor2tools_1.0.2~git20250918.d33c73f-1.debian.tar.xz 2026-03-04 14:20  3.5K  
[   ] libbtor2parser0_1.0.3-1_arm64.deb                    2026-09-23 10:13   16K  
[   ] libbtor2parser0_1.0.3-1_s390x.deb                    2026-09-23 10:13   16K  
[   ] libbtor2parser0_1.0.3-1_armhf.deb                    2026-09-23 10:13   16K  
[   ] libbtor2parser0_1.0.3-1_loong64.deb                  2026-09-23 10:13   17K  
[   ] libbtor2parser0_1.0.3-1_amd64.deb                    2026-09-23 10:18   17K  
[   ] libbtor2parser0_1.0.3-1_riscv64.deb                  2026-09-25 06:58   17K  
[   ] libbtor2parser-dev_1.0.3-1_arm64.deb                 2026-09-23 10:13   18K  
[   ] libbtor2parser-dev_1.0.3-1_s390x.deb                 2026-09-23 10:13   18K  
[   ] libbtor2parser-dev_1.0.3-1_amd64.deb                 2026-09-23 10:18   18K  
[   ] libbtor2parser-dev_1.0.3-1_armhf.deb                 2026-09-23 10:13   19K  
[   ] libbtor2parser0_1.0.3-1_i386.deb                     2026-09-23 10:13   19K  
[   ] libbtor2parser0_1.0.3-1_ppc64el.deb                  2026-09-23 10:13   20K  
[   ] libbtor2parser-dev_1.0.3-1_i386.deb                  2026-09-23 10:13   21K  
[   ] libbtor2parser-dev_1.0.3-1_ppc64el.deb               2026-09-23 10:13   22K  
[   ] libbtor2parser-dev_1.0.3-1_loong64.deb               2026-09-23 10:13   43K  
[   ] libbtor2parser-dev_1.0.3-1_riscv64.deb               2026-09-25 06:58   50K  
[   ] btor2tools_1.0.3-1_armhf.deb                         2026-09-23 10:13   55K  
[   ] btor2tools_1.0.3-1_riscv64.deb                       2026-09-25 06:58   60K  
[   ] btor2tools_1.0.3-1_arm64.deb                         2026-09-23 10:13   61K  
[   ] btor2tools_1.0.2~git20250918.d33c73f.orig.tar.xz     2026-03-04 14:20   61K  
[   ] btor2tools_1.0.3-1_loong64.deb                       2026-09-23 10:13   65K  
[   ] btor2tools_1.0.3-1_s390x.deb                         2026-09-23 10:13   66K  
[   ] btor2tools_1.0.3-1_ppc64el.deb                       2026-09-23 10:13   67K  
[   ] btor2tools_1.0.3-1_amd64.deb                         2026-09-23 10:18   67K  
[   ] btor2tools_1.0.3-1_i386.deb                          2026-09-23 10:13   72K  
[   ] btor2tools_1.0.3.orig.tar.gz                         2026-09-23 10:03   86K
Universidade do Porto | Helpdesk