Package : ocaml-psmt2-frontend-devel
Package details
Summary: Development files for ocaml-psmt2-frontend
Description:
The ocaml-psmt2-frontend-devel package contains libraries and signature
files for developing applications that use ocaml-psmt2-frontend.
URL: https://github.com/OCamlPro-Coquera/psmt2-frontend
License: ASL 2.0
Maintainer: nobody
Description:
The ocaml-psmt2-frontend-devel package contains libraries and signature
files for developing applications that use ocaml-psmt2-frontend.
URL: https://github.com/OCamlPro-Coquera/psmt2-frontend
License: ASL 2.0
Maintainer: nobody
List of RPMs
- ocaml-psmt2-frontend-devel-0.1-14.mga9.x86_64.rpm (Mageia cauldron, x86_64 media, core-release) Install