>> Trisquel >> Paketler >> aramo >> virtual >> libcoq-elpi-ocaml-dev-gdau9

[ aramo ]

Sanal Paket: libcoq-elpi-ocaml-dev-gdau9

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

libcoq-elpi-ocaml-dev-gdau9 sağlayan paketler

libcoq-elpi-ocaml-dev: Coq plugin embedding Elpi (devel)

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.