[ experimental ]
[ Pakiet źródłowy: ssreflect ]
Pakiet: mathcomp-doc (2.5.0-2)
Odnośniki dla mathcomp-doc
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego ssreflect:
Opiekunowie:
- Debian OCaml Maintainers (Strona QA, Archiwum e-mail)
- Stéphane Glondu (Strona QA)
- Julien Puydt (Strona QA)
- Ralf Treinen (Strona QA)
Zasoby zewnętrzne:
- Strona internetowa [math-comp.github.io]
Podobne pakiety:
Pakiet eksperymentalny
Ostrzeżenie: Pakiet pochodzi z dystrybucji eksperymentalnej. Oznacza to, że prawdopodobnie jest niestabilny lub zawiera błędy i może spowodować nawet utratę danych. Przed użyciem pakietu proszę koniecznie zapoznać się z dziennikiem zmian i inną dostępną dokumentacją.
Mathematical Components library for Coq (doc)
Pobieranie mathcomp-doc
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| all | 3 559,5 KiB | 146 432,0 KiB | [lista plików] |