Репозиторий Sisyphus
Последнее обновление: 1 октября 2023 | Пакетов: 18631 | Посещений: 37506724
en ru br
Репозитории ALT

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

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

·Gleb F-Malinovskiy 2019-02-19
·Ivan Zakharyaschev 2015-03-16
·Eugeny A. Rostovtsev (REAL) 2015-03-16
 
дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
текущий майнтейнер: Michael Shigorin