Репозиторий Sisyphus
Последнее обновление: 29 ноября 2022 | Пакетов: 17934 | Посещений: 25418085
en ru br
Репозитории ALT

Группа :: Науки/Математика
Пакет: yices

 Главная   Изменения   Спек   Патчи   Sources   Загрузить   Gear   Bugs and FR  Repocop 

 Выберите зеркало:

· 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
 
дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
текущий майнтейнер: Michael Shigorin