[ sid ]
Пакет: libcvc5parser1-dbgsym (1.1.2-2 и другие) [debports]
Ссылки для libcvc5parser1-dbgsym
Ресурсы Debian:
Исходный код :
Не найденСопровождающие:
Подобные пакеты:
debug symbols for libcvc5parser1
Другие пакеты, относящиеся к libcvc5parser1-dbgsym
|
|
|
|
-
- dep: libcvc5parser1 (= 1.0.5-3) [riscv64]
- automated theorem prover for SMT problems (parser runtime)
- dep: libcvc5parser1 (= 1.1.2-2) [не riscv64]
Загрузка libcvc5parser1-dbgsym
Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
---|---|---|---|---|
alpha (неофициальный перенос) | 1.1.2-2 | 3 921,4 Кб | 4 091,0 Кб | [список файлов] |
hppa (неофициальный перенос) | 1.1.2-2 | 3 819,3 Кб | 3 978,0 Кб | [список файлов] |
m68k (неофициальный перенос) | 1.1.2-2 | 3 394,9 Кб | 3 540,0 Кб | [список файлов] |
ppc64 (неофициальный перенос) | 1.1.2-2 | 3 918,8 Кб | 4 116,0 Кб | [список файлов] |
riscv64 (неофициальный перенос) | 1.0.5-3 | 4 881,4 Кб | 5 226,0 Кб | [список файлов] |
sparc64 (неофициальный перенос) | 1.1.2-2 | 3 797,6 Кб | 3 972,0 Кб | [список файлов] |
x32 (неофициальный перенос) | 1.1.2-2 | 3 893,1 Кб | 4 069,0 Кб | [список файлов] |