Репозитории ALT
Группа :: Науки/Математика
Пакет: ProofGeneral
id пакета | статус | тест | сообщение |
---|---|---|---|
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 |