>> Trisquel >> 套件 >> nabia >> virtual >> libwhy3-ocaml-dev-d2jy9

[ nabia ]

虛擬套件： libwhy3-ocaml-dev-d2jy9

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

提供 libwhy3-ocaml-dev-d2jy9 的套件

libwhy3-ocaml-dev: OCaml librariries for why3 (dev)