Directory: /ubuntu/pool/universe/b/btor2tools/
| Name | Size | Modified |
|---|---|---|
| Parent directory | — | — |
| btor2tools_1.0.2~git20250918.d33c73f-1.debian.tar.xz | 3.46K | Fri May 15 2026 |
| btor2tools_1.0.2~git20250918.d33c73f-1.dsc | 2.22K | Fri May 15 2026 |
| btor2tools_1.0.2~git20250918.d33c73f-1_amd64.deb | 62.4K | Fri May 15 2026 |
| btor2tools_1.0.2~git20250918.d33c73f.orig.tar.xz | 61.2K | Fri May 15 2026 |
| libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_amd64.deb | 18.4K | Fri May 15 2026 |
| libbtor2parser0_1.0.2~git20250918.d33c73f-1_amd64.deb | 16.9K | Fri May 15 2026 |