Virtual Package: libocsigenserver-ocaml-nmtz3

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

Packages providing libocsigenserver-ocaml-nmtz3

libocsigenserver-ocaml

web server of the Ocsigen project (runtime libraries)