Group :: Sciences/Mathematics
RPM: ProofGeneral
package id | status | test | message |
---|---|---|---|
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 |