[ sid ]
Pakiet: libpsmt2-frontend-ocaml-dbgsym (0.4.0-3 i inne) [debports]
Odnośniki dla libpsmt2-frontend-ocaml-dbgsym
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Podobne pakiety:
debug symbols for libpsmt2-frontend-ocaml
Inne pakiety związane z libpsmt2-frontend-ocaml-dbgsym
|
|
|
|
-
- dep: libpsmt2-frontend-ocaml (= 0.4.0-2) [riscv64]
- Parse and type-check SMT-LIB 2 (runtime files)
- dep: libpsmt2-frontend-ocaml (= 0.4.0-3+b1) [ppc64]
Pobieranie libpsmt2-frontend-ocaml-dbgsym
Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|---|
ppc64 (port nieoficjalny) | 0.4.0-3+b1 | 34,8 KiB | 180,0 KiB | [lista plików] |
riscv64 (port nieoficjalny) | 0.4.0-2 | 42,7 KiB | 189,0 KiB | [lista plików] |