[ bullseye ]
[ Източник: dav1d ]
Пакет: libdav1d4 (0.7.1-3+deb11u1)
Връзки за libdav1d4
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник dav1d.
- [dav1d_0.7.1-3+deb11u1.dsc]
- [dav1d_0.7.1.orig.tar.xz]
- [dav1d_0.7.1.orig.tar.xz.asc]
- [dav1d_0.7.1-3+deb11u1.debian.tar.xz]
Отговорници:
Външни препратки:
- Начална страница [www.videolan.org]
Подобни пакети:
proof assistant for higher-order logic (gtk interface)
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
This package provides CoqIde, a graphical user interface for developing proofs.
Други пакети, свързани с libdav1d4
|
|
|
|
-
- dep: libc6 (>= 2.16)
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
Изтегляне на libdav1d4
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| armhf | 214,3 кБ | 485,0 кБ | [списък на файловете] |