Пакунок: libwhy3-ocaml-dev-dbgsym (1.6.0-1 and others) [debports]

Links for 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]

Завантаження для всіх доступних архітектур
Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
ppc64 (unofficial port)	1.6.0-1	648.2 kB	3,072.0 kB	[список файлів]
riscv64 (unofficial port)	1.5.1-1+b3	683.9 kB	2,871.0 kB	[список файлів]