all options
trixie  ] [  sid  ]

Virtual Package: libppx-stable-witness-ocaml-dev-lh7k1

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

Packages providing libppx-stable-witness-ocaml-dev-lh7k1

libppx-stable-witness-ocaml-dev
stable witness derivation (development)