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

[ etiona ]

Sanal Paket: libwhy3-ocaml-dev-5ko26

Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.

libwhy3-ocaml-dev-5ko26 sağlayan paketler

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

This page is also available in the following languages:

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

Web sitesi ile ilgili bir sorunu bildirmek için, trisquel-devel@listas.trisquel.info adresine e-posta gönderin. Diğer iletişim bilgileri için Trisquel iletişim sayfasına bakın.

İçerik Telif Hakkı © 2024 The Trisquel Project; Lisans koşullarına bakın. Trisquel bir https://trisquel.info/en/wiki/trademark-guidelines tescilli markasıdır Bu site hakkında daha fazlasını öğrenin.