>> Trisquel >> Paket >> etiona >> virtual >> libwhy3-ocaml-dev-5ko26

[ etiona ]

Virtuellt paket: libwhy3-ocaml-dev-5ko26

Detta är ett virtuellt paket. Se Debians policy för en definition av virtuella paket.

Paket som tillhandahåller libwhy3-ocaml-dev-5ko26

libwhy3-ocaml-dev: OCaml librariries for why3 (dev)

Denna sida finns även på följande språk:

Български (Bəlgarski) Deutsch English suomi français magyar 日本語 (Nihongo) Nederlands polski Русский (Russkij) slovensky Türkçe українська (ukrajins'ka) 中文 (Zhongwen,简) 中文 (Zhongwen,繁)

För att rapportera ett problem med webbplatsen, kontakta trisquel-devel@listas.trisquel.info (på engelska). För problem och synpunkter om den svenska översättningen, kontakta debian-l10n-swedish@lists.debian.org. För övrig kontaktinformation, se Trisquels kontaktsida.

Innehållet upphovsrättsskyddat © 2024 The Trisquel Project; Se licensvillkor. Trisquel är ett varumärke hos The Trisquel Project Läs mer om denna webbplats.