Group :: Ciências/Matemática
RPM: yices
package id | estatus | teste | mensagem |
---|---|---|---|
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 |