Skip to content
套件名
描述資訊
原始碼套件名
套件內容
全部搜尋項
Sections
>>
Trisquel
>>
套件
>>
aramo
>>
virtual
>> libcoq-core-ocaml-dev-nf5u3
[
aramo
]
虛擬套件: libcoq-core-ocaml-dev-nf5u3
這是一個
虛擬套件
。檢視
Debian 政策
瞭解
虛擬套件的定義
。
提供 libcoq-core-ocaml-dev-nf5u3 的套件
libcoq-core-ocaml-dev
development libraries and tools for Coq