Репозиторий Sisyphus
Последнее обновление: 18 января 2020 | Пакетов: 17489 | Посещений: 16560519
en ru br
Репозитории ALT

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

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

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

· yices-2.3.0-alt3.src.rpm 1827.87 Kb

i586:
· libyices-2.3.0-alt3.i586.rpm 563.44 Kb
· libyices-debuginfo-2.3.0-alt3.i586.rpm 3.28 Mb
· libyices-devel-2.3.0-alt3.i586.rpm 30.12 Kb
· yices-2.3.0-alt3.i586.rpm 854.86 Kb
· yices-debuginfo-2.3.0-alt3.i586.rpm 5.49 Mb

noarch:
· yices-docs-2.3.0-alt3.noarch.rpm 364.39 Kb

x86_64:
· libyices-2.3.0-alt3.x86_64.rpm 523.19 Kb
· libyices-debuginfo-2.3.0-alt3.x86_64.rpm 3.49 Mb
· libyices-devel-2.3.0-alt3.x86_64.rpm 30.09 Kb
· yices-2.3.0-alt3.x86_64.rpm 772.36 Kb
· yices-debuginfo-2.3.0-alt3.x86_64.rpm 5.84 Mb
 
дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
текущий майнтейнер: Michael Shigorin