>> Trisquel >> パッケージ >> aramo >> virtual >> libcoq-core-ocaml-rt7d5

[ aramo ]

仮想パッケージ: libcoq-core-ocaml-rt7d5

これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。

libcoq-core-ocaml-rt7d5 を提供するパッケージ

libcoq-core-ocaml: runtime libraries for Coq

このページは以下の言語でもご覧になれます。

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

ウェブサイトの問題を報告するには、trisquel-devel@listas.trisquel.info にメールを送ってください。その他の連絡先に関する情報は、Trisquel のコンタクトページをご覧ください。

Content Copyright © 2024 The Trisquel Project; ライセンス条項をご覧ください。 Trisquel は The Trisquel Project の登録商標です。このサイトについてさらに詳しく知るには.