MIRRORS.ASNET.AM
Archive at the Academic Scientific Research Computer Network of Armenia
|
|
|
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| btor2tools_1.0.2~git20250918.d33c73f-1.debian.tar.xz | 3536 | 15-May-2026 15:28 |
| btor2tools_1.0.2~git20250918.d33c73f-1.dsc | 2264 | 15-May-2026 15:28 |
| btor2tools_1.0.2~git20250918.d33c73f-1_amd64.deb | 62K | 15-May-2026 15:59 |
| btor2tools_1.0.2~git20250918.d33c73f-1_amd64v3.deb | 69K | 15-May-2026 15:59 |
| btor2tools_1.0.2~git20250918.d33c73f-1_arm64.deb | 63K | 15-May-2026 16:15 |
| btor2tools_1.0.2~git20250918.d33c73f.orig.tar.xz | 61K | 15-May-2026 15:28 |
| libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_amd64.deb | 18K | 15-May-2026 15:59 |
| libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_amd64v3.deb | 19K | 15-May-2026 15:59 |
| libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_arm64.deb | 19K | 15-May-2026 16:15 |
| libbtor2parser0_1.0.2~git20250918.d33c73f-1_amd64.deb | 17K | 15-May-2026 15:59 |
| libbtor2parser0_1.0.2~git20250918.d33c73f-1_amd64v3.deb | 18K | 15-May-2026 15:59 |
| libbtor2parser0_1.0.2~git20250918.d33c73f-1_arm64.deb | 17K | 15-May-2026 16:15 |