>> Trisquel >> 软件包 >> etiona >> virtual >> libwhy3-ocaml-dev-d40s2

[ etiona ]

虚包: libwhy3-ocaml-dev-d40s2

这是一个虚包。查看Debian 政策了解虚包的定义。

负责填实 libwhy3-ocaml-dev-d40s2 的软件包

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