Group :: Ciências/Matemática
RPM: ProofGeneral
package id | estatus | teste | mensagem |
---|---|---|---|
ProofGeneral-3.7.1-alt1.noarch |
ok | checkbashisms | |
ProofGeneral-3.7.1-alt1.noarch |
ok | unsafe-tmp-usage-in-scripts | |
ProofGeneral-3.7.1-alt1.noarch |
ok | sisyphus_check | |
ProofGeneral-3.7.1-alt1.noarch |
ok | buildroot |