packages
Skip to content
套件名
描述資訊
原始碼套件名
套件內容
全部搜尋項
»
Ubuntu
»
套件
»
plucky
»
virtual
» libcoq-mathcomp-field-8sr64
[
plucky
]
虛擬套件: libcoq-mathcomp-field-8sr64
這是一個
虛擬套件
。檢視
Debian 政策
瞭解
虛擬套件的定義
。
提供 libcoq-mathcomp-field-8sr64 的套件
libcoq-mathcomp-field
Mathematical Components library for Coq (field)