Группа :: Науки/Математика
Пакет: yices
навигация по пакетам
| id пакета | статус | тест | сообщение |
|---|---|---|---|
| yices-debuginfo-2.3.0-alt4.x86_64 |
 ok | checkbashisms | |
| yices-debuginfo-2.3.0-alt4.x86_64 |
ok | unsafe-tmp-usage-in-scripts | |
| yices-debuginfo-2.3.0-alt4.x86_64 |
ok | sisyphus_check | |
| yices-debuginfo-2.3.0-alt4.x86_64 |
ok | buildroot | |
| yices-2.3.0-alt4.x86_64 |
ok | checkbashisms | |
| yices-2.3.0-alt4.x86_64 |
ok | unsafe-tmp-usage-in-scripts | |
| yices-2.3.0-alt4.x86_64 |
ok | sisyphus_check | |
| yices-2.3.0-alt4.x86_64 |
ok | buildroot | |
| libyices-devel-2.3.0-alt4.x86_64 |
ok | checkbashisms | |
| libyices-devel-2.3.0-alt4.x86_64 |
ok | unsafe-tmp-usage-in-scripts | |
| libyices-devel-2.3.0-alt4.x86_64 |
ok | sisyphus_check | |
| libyices-devel-2.3.0-alt4.x86_64 |
ok | buildroot | |
| libyices-debuginfo-2.3.0-alt4.x86_64 |
ok | checkbashisms | |
| libyices-debuginfo-2.3.0-alt4.x86_64 |
ok | unsafe-tmp-usage-in-scripts | |
| libyices-debuginfo-2.3.0-alt4.x86_64 |
ok | sisyphus_check | |
| libyices-debuginfo-2.3.0-alt4.x86_64 |
ok | buildroot | |
| libyices-2.3.0-alt4.x86_64 |
ok | checkbashisms | |
| libyices-2.3.0-alt4.x86_64 |
ok | unsafe-tmp-usage-in-scripts | |
| libyices-2.3.0-alt4.x86_64 |
ok | sisyphus_check | |
| libyices-2.3.0-alt4.x86_64 |
ok | buildroot | |
| yices-docs-2.3.0-alt4.noarch |
ok | checkbashisms | |
| yices-docs-2.3.0-alt4.noarch |
ok | unsafe-tmp-usage-in-scripts | |
| yices-docs-2.3.0-alt4.noarch |
ok | sisyphus_check | |
| yices-docs-2.3.0-alt4.noarch |
ok | buildroot |