 |
IsatisIDC |
![[ICO]](/.theme/icons/empty.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/.theme/icons/user-home.svg){kind=icon} | Parent Directory | - | |
| btor2tools_1.0.3-1.debian.tar.xz | 2026-09-23 12:33 | 3.4K |
![[text]](/.theme/icons/text-plain.svg){kind=icon} | btor2tools_1.0.3-1.dsc | 2026-09-23 12:33 | 2.1K |
| btor2tools_1.0.3-1_amd64.deb | 2026-09-23 12:48 | 67K |
| btor2tools_1.0.3-1_arm64.deb | 2026-09-23 12:43 | 61K |
| btor2tools_1.0.3-1_i386.deb | 2026-09-23 12:43 | 72K |
| btor2tools_1.0.3-1_loong64.deb | 2026-09-23 12:43 | 65K |
| btor2tools_1.0.3-1_riscv64.deb | 2026-09-25 09:28 | 60K |
![[gzip]](/.theme/icons/application-x-archive.svg){kind=icon} | btor2tools_1.0.3.orig.tar.gz | 2026-09-23 12:33 | 86K |
| libbtor2parser-dev_1.0.3-1_amd64.deb | 2026-09-23 12:48 | 18K |
| libbtor2parser-dev_1.0.3-1_arm64.deb | 2026-09-23 12:43 | 18K |
| libbtor2parser-dev_1.0.3-1_i386.deb | 2026-09-23 12:43 | 21K |
| libbtor2parser-dev_1.0.3-1_loong64.deb | 2026-09-23 12:43 | 43K |
| libbtor2parser-dev_1.0.3-1_riscv64.deb | 2026-09-25 09:28 | 50K |
| libbtor2parser0_1.0.3-1_amd64.deb | 2026-09-23 12:48 | 17K |
| libbtor2parser0_1.0.3-1_arm64.deb | 2026-09-23 12:43 | 16K |
| libbtor2parser0_1.0.3-1_i386.deb | 2026-09-23 12:43 | 19K |
| libbtor2parser0_1.0.3-1_loong64.deb | 2026-09-23 12:43 | 17K |
| libbtor2parser0_1.0.3-1_riscv64.deb | 2026-09-25 09:28 | 17K |
HTTP : http://mirror1.isatisidc.ir
FTP : ftp://mirror1.isatisidc.ir
RSYNC : rsync://mirror1.isatisidc.ir