Group :: Sciences/Mathematics
RPM: yices
Navigation
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
Choose a mirror:
| · yices-2.3.0-alt4.src.rpm | 1827.76 Kb |
i586: | |
| · libyices-2.3.0-alt4.i586.rpm | 564.38 Kb |
| · libyices-debuginfo-2.3.0-alt4.i586.rpm | 3.27 Mb |
| · libyices-devel-2.3.0-alt4.i586.rpm | 30.29 Kb |
| · yices-2.3.0-alt4.i586.rpm | 859.44 Kb |
| · yices-debuginfo-2.3.0-alt4.i586.rpm | 5.48 Mb |
noarch: | |
| · yices-docs-2.3.0-alt4.noarch.rpm | 365.13 Kb |
x86_64: | |
| · libyices-2.3.0-alt4.x86_64.rpm | 522.03 Kb |
| · libyices-debuginfo-2.3.0-alt4.x86_64.rpm | 3.50 Mb |
| · libyices-devel-2.3.0-alt4.x86_64.rpm | 30.28 Kb |
| · yices-2.3.0-alt4.x86_64.rpm | 793.28 Kb |
| · yices-debuginfo-2.3.0-alt4.x86_64.rpm | 5.88 Mb |