Sophie: ocaml-psmt2-frontend-0.1-9.mga8 src

Sophie

Sophie

distrib > Mageia > 8 > i586 > media > core-release-src > by-pkgid > aa3660c9891c71eb86054423c7c95746

ocaml-psmt2-frontend-0.1-9.mga8.src.rpm

Name: ocaml-psmt2-frontend
Version: 0.1
Release: 9.mga8
Epoch:
Group: Development/OCaml
License: ASL 2.0
Url: https://github.com/Coquera/psmt2-frontend
Summary: A simple parser and type-checker for polymorphic extension

Architecture: aarch64
Size: 26250
Distribution: Mageia
Vendor: Mageia.Org
Packager: tv <tv>

Description:

A library to parse and type-check a conservative extension of the SMT-LIB 2
standard with prenex polymorphism.

BuildArch:
ExcludeArch:
ExclusiveArch:
Cookie: localhost 1598083401
Buildhost: localhost

Generated packages:

Other version of this rpm:

:: :: ::