packages
[ Източник: coq-interval ]
Пакет: libcoq-interval (4.11.1-1build11) [universe]
Връзки за libcoq-interval
Ресурси за Ubuntu:
Изтегляне на пакет-източник coq-interval.
- [coq-interval_4.11.1-1build11.dsc]
- [coq-interval_4.11.1.orig.tar.gz]
- [coq-interval_4.11.1-1build11.debian.tar.xz]
Отговорник:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Пощенски архив)
- Julien Puydt
It should generally not be necessary for users to contact the original maintainer.
Външни препратки:
- Начална страница [coqinterval.gitlabpages.inria.fr]
Подобни пакети:
interval arithmetic for Coq
Други пакети, свързани с libcoq-interval
|
|
|
|
-
- dep: libcoq-bignums-3rff6
- виртуален пакет, предлаган от libcoq-bignums
-
- dep: libcoq-coquelicot-w7ek5
- виртуален пакет, предлаган от libcoq-coquelicot
-
- dep: libcoq-flocq-jq9h5
- виртуален пакет, предлаган от libcoq-flocq
-
- dep: libcoq-mathcomp-ssreflect-se0h4
- виртуален пакет, предлаган от libcoq-mathcomp-ssreflect
-
- dep: libcoq-stdlib-wwbk6
- виртуален пакет, предлаган от libcoq-stdlib
Изтегляне на libcoq-interval
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| arm64 | 7 458,3 кБ | 16 888,0 кБ | [списък на файловете] |