仮想パッケージ: libapron-ocaml-dev-do077

This is a virtual package. See the Debian policy for a definition of virtual packages.

libapron-ocaml-dev-do077 を提供するパッケージ

libapron-ocaml-dev

abstract interpretation library (OCaml interface)