>> Trisquel >> 套件 >> nabia >> virtual >> libcoq-ocaml-dev-rd419

[ nabia ]

虛擬套件： libcoq-ocaml-dev-rd419

這是一個虛擬套件。檢視Debian 政策瞭解虛擬套件的定義。

提供 libcoq-ocaml-dev-rd419 的套件

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