Balík: libwhy3-ocaml-dev-dbgsym (1.6.0-1 a iné) [debports]

[ Zdroj:  ]

debug symbols for libwhy3-ocaml-dev

Ostatné balíky súvisiace s balíkom libwhy3-ocaml-dev-dbgsym

• dep: libwhy3-ocaml-dev (= 1.5.1-1+b3) [riscv64]

  OCaml librariries for why3 (dev)

  dep: libwhy3-ocaml-dev (= 1.6.0-1) [ppc64]

Stiahnuť libwhy3-ocaml-dev-dbgsym

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
ppc64 (neoficiálny port)	1.6.0-1	648.2 kB	3,072.0 kB	[zoznam súborov]
riscv64 (neoficiálny port)	1.5.1-1+b3	683.9 kB	2,871.0 kB	[zoznam súborov]