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

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

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


id пакета статус тест сообщение
libyices-2.3.0-alt3.x86_64
ok
checkbashisms
libyices-2.3.0-alt3.x86_64
ok
buildroot
libyices-2.3.0-alt3.x86_64
ok
unsafe-tmp-usage-in-scripts
libyices-2.3.0-alt3.x86_64
ok
sisyphus_check
libyices-debuginfo-2.3.0-alt3.x86_64
ok
checkbashisms
libyices-debuginfo-2.3.0-alt3.x86_64
ok
buildroot
libyices-debuginfo-2.3.0-alt3.x86_64
ok
unsafe-tmp-usage-in-scripts
libyices-debuginfo-2.3.0-alt3.x86_64
ok
sisyphus_check
libyices-devel-2.3.0-alt3.x86_64
ok
checkbashisms
libyices-devel-2.3.0-alt3.x86_64
ok
buildroot
libyices-devel-2.3.0-alt3.x86_64
ok
unsafe-tmp-usage-in-scripts
libyices-devel-2.3.0-alt3.x86_64
ok
sisyphus_check
yices-debuginfo-2.3.0-alt3.x86_64
ok
checkbashisms
yices-debuginfo-2.3.0-alt3.x86_64
ok
buildroot
yices-debuginfo-2.3.0-alt3.x86_64
ok
unsafe-tmp-usage-in-scripts
yices-debuginfo-2.3.0-alt3.x86_64
ok
sisyphus_check
yices-2.3.0-alt3.x86_64
ok
checkbashisms
yices-2.3.0-alt3.x86_64
ok
buildroot
yices-2.3.0-alt3.x86_64
ok
unsafe-tmp-usage-in-scripts
yices-2.3.0-alt3.x86_64
ok
sisyphus_check
yices-docs-2.3.0-alt3.noarch
ok
checkbashisms
yices-docs-2.3.0-alt3.noarch
ok
buildroot
yices-docs-2.3.0-alt3.noarch
ok
unsafe-tmp-usage-in-scripts
yices-docs-2.3.0-alt3.noarch
ok
sisyphus_check
 
дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
текущий майнтейнер: Michael Shigorin