packages
[ Източник: coq-interval ]
Пакет: libcoq-interval (4.11.1-1build16) [universe]
Връзки за libcoq-interval
Ресурси за Ubuntu:
Изтегляне на пакет-източник coq-interval.
- [coq-interval_4.11.1.orig.tar.gz]
- [coq-interval_4.11.1-1build16.debian.tar.xz]
- [coq-interval_4.11.1-1build16.dsc]
Отговорник:
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-57pi5
- виртуален пакет, предлаган от libcoq-bignums
-
- dep: libcoq-coquelicot-3wbn4
- виртуален пакет, предлаган от libcoq-coquelicot
-
- dep: libcoq-flocq-lphi1
- виртуален пакет, предлаган от libcoq-flocq
-
- dep: libcoq-mathcomp-ssreflect-ak300
- виртуален пакет, предлаган от libcoq-mathcomp-ssreflect
-
- dep: libcoq-stdlib-83lq0
- виртуален пакет, предлаган от libcoq-stdlib
Изтегляне на libcoq-interval
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| amd64 | 7 456,6 кБ | 16 876,0 кБ | [списък на файловете] |