[ experimental ]
[ Източник: ssreflect ]
Пакет: mathcomp-doc (2.5.0-2)
Връзки за mathcomp-doc
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник ssreflect.
Отговорници:
- Debian OCaml Maintainers (Страница за QA, Пощенски архив)
- Stéphane Glondu (Страница за QA)
- Julien Puydt (Страница за QA)
- Ralf Treinen (Страница за QA)
Външни препратки:
- Начална страница [math-comp.github.io]
Подобни пакети:
Експериментален пакет
Предупреждение: Този пакет е от дистрибуцията experimental. Това означава, че е възможно да е нестабилен или да има грешки, а може дори и да предизвика загуба на данни. Прочетете информация за промените и останалата документация преди да го използвате.
Mathematical Components library for Coq (doc)
Изтегляне на mathcomp-doc
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| all | 3 559,5 кБ | 146 432,0 кБ | [списък на файловете] |