| name | size | date |
|---|---|---|
| btor2tools_1.0.2~git20250507.fb69ee3-2_amd64v3.deb | 70.0K | 2026-01-31 00:34:40 |
| libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_amd64v3.deb | 19.2K | 2026-01-31 00:34:40 |
| libbtor2parser0_1.0.2~git20250507.fb69ee3-2_amd64v3.deb | 17.5K | 2026-01-31 00:34:40 |
| btor2tools_1.0.2~git20250507.fb69ee3-2_amd64.deb | 62.4K | 2026-01-31 00:34:35 |
| libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_amd64.deb | 18.3K | 2026-01-31 00:34:35 |
| libbtor2parser0_1.0.2~git20250507.fb69ee3-2_amd64.deb | 16.7K | 2026-01-31 00:34:35 |
| btor2tools_1.0.2~git20250507.fb69ee3-2.debian.tar.xz | 3.3K | 2026-01-30 23:31:56 |
| btor2tools_1.0.2~git20250507.fb69ee3-2.dsc | 2.2K | 2026-01-30 23:31:56 |
| btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz | 61.2K | 2026-01-30 08:57:54 |