Репозиторий Sisyphus
Последнее обновление: 1 октября 2023 | Пакетов: 18631 | Посещений: 37046512
en ru br
Репозитории ALT
S:3.7.1-alt1
5.1: 3.7.1-alt1
4.1: 3.4-alt1
4.0: 3.4-alt1
3.0: 3.4-alt1
www.altlinux.org/Changes

Группа :: Науки/Математика
Пакет: ProofGeneral

 Главная   Изменения   Спек   Патчи   Sources   Загрузить   Gear   Bugs and FR  Repocop 


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
 
дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
текущий майнтейнер: Michael Shigorin