Пакет-източник: ssreflect (1.12.0-1)
Връзки за ssreflect
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Хранилище на изходен код (Git)
- Управление на кръпките в Debian
Отговорници:
- Debian OCaml Maintainers (Страница за QA, Пощенски архив)
- Stéphane Glondu (Страница за QA)
- Enrico Tassi (Страница за QA)
- Ralf Treinen (Страница за QA)
Външни препратки:
- Начална страница [math-comp.github.io]
Следните двоични пакети са компилирани от този пакет-източник:
- libssreflect-coq
- Mathematical Components library for Coq
Други пакети, свързани с ssreflect
|
|
Download ssreflect
Файл | Големина (в кБ) | контролна сума MD5 |
---|---|---|
ssreflect_1.12.0-1.dsc | 2,0 кБ | bc09f7fa31e56fda9fe2a5e3dc1f82e2 |
ssreflect_1.12.0.orig.tar.gz | 1 287,9 кБ | a6afdeff50a50117baf9a35dd5601afe |
ssreflect_1.12.0-1.debian.tar.xz | 12,5 кБ | e39a30f7bd2849e299a1c47a0c1517ed |
- Хранилище на изходния код на пакета (СКП: Git)
- https://salsa.debian.org/ocaml-team/ssreflect.git
- Хранилище на изходния код на пакета (за разглеждане през браузър)
- https://salsa.debian.org/ocaml-team/ssreflect