[ Source: coq-iris ]
Пакунок: libcoq-iris (4.1.0-1build3) [universe]
Links for libcoq-iris
Ubuntu Resources:
Download Source Package coq-iris:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mail Archive)
- Julien Puydt
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [gitlab.mpi-sws.org]
Similar packages:
high-order concurrent separation logic framework for Coq
Інші пакунки пов'язані з libcoq-iris
|
|
|
|
-
- dep: libcoq-stdpp-0run3 [armhf]
- virtual package provided by libcoq-stdpp
-
- dep: libcoq-stdpp-gdy53 [s390x]
- virtual package provided by libcoq-stdpp
-
- dep: libcoq-stdpp-rm7e9 [arm64]
- virtual package provided by libcoq-stdpp
-
- dep: libcoq-stdpp-wo5q9 [ppc64el]
- virtual package provided by libcoq-stdpp
-
- dep: libcoq-stdpp-x8en2 [amd64]
- virtual package provided by libcoq-stdpp
-
- dep: libcoq-stdpp-xm841 [riscv64]
- virtual package provided by libcoq-stdpp
Завантажити libcoq-iris
Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|
amd64 | 13,488.2 kB | 42,444.0 kB | [список файлів] |
arm64 | 13,487.9 kB | 42,444.0 kB | [список файлів] |
armhf | 13,483.6 kB | 42,388.0 kB | [список файлів] |
ppc64el | 13,488.3 kB | 42,444.0 kB | [список файлів] |
riscv64 | 13,487.8 kB | 42,444.0 kB | [список файлів] |
s390x | 13,488.5 kB | 42,444.0 kB | [список файлів] |