>> Trisquel >> Paketler >> etiona >> virtual >> libcoq-ocaml-dev-6pjp3

[ etiona ]

Sanal Paket: libcoq-ocaml-dev-6pjp3

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

libcoq-ocaml-dev-6pjp3 sağlayan paketler

libcoq-ocaml-dev: development libraries and tools for Coq

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.