Пакет yices: Загрузки
| src | |
|---|---|
| yices-2.3.0-alt3.src.rpm (52abb84cbeca75a5834f4f3abdea2734) | 1.8 MB |
| noarch | |
|---|---|
| yices-docs-2.3.0-alt3.noarch.rpm (2c750eb200c9dd514eddcdea8b945ca5) | 364.4 KB |
| x86_64 | |
|---|---|
| libyices-2.3.0-alt3.x86_64.rpm (ac4667d5c8db303795b3e59e32283962) | 523.2 KB |
| libyices-debuginfo-2.3.0-alt3.x86_64.rpm (c7a3359369c06ad8beb96f2bf1df93a4) | 3.5 MB |
| libyices-devel-2.3.0-alt3.x86_64.rpm (c0afd40fde7e26c42ea74ecef6a80e3b) | 30.1 KB |
| yices-2.3.0-alt3.x86_64.rpm (acbd1f0a8747b00f81459dfb45d369df) | 772.4 KB |
| yices-debuginfo-2.3.0-alt3.x86_64.rpm (ce61f346814ccc049b462edb77f99fa8) | 5.8 MB |
| i586 | |
|---|---|
| libyices-2.3.0-alt3.i586.rpm (dc8739ef5b6283f140595d6cd375ec27) | 563.4 KB |
| libyices-debuginfo-2.3.0-alt3.i586.rpm (2c529f23814b7e1292558c6e2f2e509b) | 3.3 MB |
| libyices-devel-2.3.0-alt3.i586.rpm (6f4af3edd1611da0405626bf0517498a) | 30.1 KB |
| yices-2.3.0-alt3.i586.rpm (446554010452faac4ae7ce1dfce72e60) | 854.9 KB |
| yices-debuginfo-2.3.0-alt3.i586.rpm (1af113464ce600c38ec1876c7d934011) | 5.5 MB |
| aarch64 | |
|---|---|
| libyices-2.3.0-alt3.aarch64.rpm (0fa6453e42cd850fc4ac9ca891a14197) | 459.9 KB |
| libyices-debuginfo-2.3.0-alt3.aarch64.rpm (4d4a05367043ce73fb5cdc8ce486c6fd) | 3.4 MB |
| libyices-devel-2.3.0-alt3.aarch64.rpm (b0b6c031ddaccae9f998bd343db1bed1) | 30.1 KB |
| yices-2.3.0-alt3.aarch64.rpm (7ea8211587f27132b367247c0889b5d5) | 676.3 KB |
| yices-debuginfo-2.3.0-alt3.aarch64.rpm (d8ee800fad66aee311a1e16bde886b5e) | 5.3 MB |
| x86_64-i586 | |
|---|---|
| i586-libyices-2.3.0-alt3.i586.rpm (430b41759892346e6e1e86cdb686063e) | 610.3 KB |
| i586-libyices-devel-2.3.0-alt3.i586.rpm (e742624a0bd7ca79c60de8b00f66d881) | 2.9 KB |