ocaml-psmt2-frontend-0.1-5.mga7.i586.rpm


Advertisement

Description

ocaml-psmt2-frontend - A simple parser and type-checker for polymorphic extension

Property Value
Distribution Mageia 7
Repository Mageia Core i586
Package filename ocaml-psmt2-frontend-0.1-5.mga7.i586.rpm
Package name ocaml-psmt2-frontend
Package version 0.1
Package release 5.mga7
Package architecture i586
Package type rpm
Category Development/OCaml
Homepage https://github.com/Coquera/psmt2-frontend
License ASL 2.0
Maintainer -
Download size 846.11 KB
Installed size 8.23 MB
A library to parse and type-check a conservative extension of the SMT-LIB 2
standard with prenex polymorphism.

Alternatives

Package Version Architecture Repository
ocaml-psmt2-frontend-0.1-5.mga7.x86_64.rpm 0.1 x86_64 Mageia Core
ocaml-psmt2-frontend - - -

Requires

Name Value
libc.so.6(GLIBC_2.1.3) -
ocaml(CamlinternalFormatBasics) = e065a8b8027a7269fbe69420861f3140
ocaml(Stdlib) = 785bc4357cd198defc8f1d3d8a46bf31
ocaml(Stdlib__buffer) = 47741a304c36252fb0d02df4002cd45b
ocaml(Stdlib__format) = ded827a86373f27e1e1668a07e19a5f0
ocaml(Stdlib__hashtbl) = 604c8339f788853d04a57b7015e3ab28
ocaml(Stdlib__int32) = 9face80aef14e72b91da5c1a7ef42376
ocaml(Stdlib__lexing) = 5dab01a8724e0e13df2d86054a5b4940
ocaml(Stdlib__list) = 6ac77ba2b0170f6297044c5028e5a32c
ocaml(Stdlib__map) = 2b51a8a34feedf31a635a8ddcfde859d
ocaml(Stdlib__obj) = dee2aaa1e4d02f8d2c44fe83f8df0aaf
ocaml(Stdlib__printf) = 1e129649940609c444244e9f06f0be2e
ocaml(Stdlib__seq) = 5714d5da4a2ed04debb615c21e61bad9
ocaml(Stdlib__string) = cf3a35a636b40f4dfa3c7f93ef2f2d33
ocaml(Stdlib__uchar) = 6d473d0370eac1a310ce126c25d7883a
ocaml(runtime) = 4.07.1

Provides

Name Value
ocaml(Psmt2Frontend) = 3547cb682e7207ba416a065817ad9329
ocaml-psmt2-frontend = 0.1-5.mga7
ocaml-psmt2-frontend(x86-32) = 0.1-5.mga7

Download

Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package ocaml-psmt2-frontend-0.1-5.mga7.i586.rpm
Source Package ocaml-psmt2-frontend-0.1-5.mga7.src.rpm

Install Howto

  1. Enable the repository in Software Management
  2. Install ocaml-psmt2-frontend rpm package:
    # dnf install ocaml-psmt2-frontend

Files

Path
/usr/lib/.build-id/
/usr/lib/.build-id/91/b179aa648a10f78d65e96ec09c169e6c14e2f0
/usr/lib/ocaml/psmt2-frontend/META
/usr/lib/ocaml/psmt2-frontend/options.mli
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.a
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cma
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmo
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmxa
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmxs
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.o
/usr/lib/ocaml/psmt2-frontend/smtlib_parser.mli
/usr/lib/ocaml/psmt2-frontend/version.mli
/usr/share/doc/ocaml-psmt2-frontend/CHANGES.md
/usr/share/doc/ocaml-psmt2-frontend/README.md

Changelog

2019-06-19 - tmb <tmb> 0.1-5.mga7
+ Revision: 1400356
- rebuild for armv7
2019-06-19 - tmb <tmb> 0.1-4.mga7
+ Revision: 1400350
- rollback to 0.1
2019-01-18 - kekepower <kekepower> 0.2-1.mga7
+ Revision: 1357968
- Update to version 0.2
- Rediffed patches
2018-10-23 - pterjan <pterjan> 0.1-3.mga7
+ Revision: 1324403
- Rebuild for ocaml 4.07.1
2018-09-23 - umeabot <umeabot> 0.1-2.mga7
+ Revision: 1299920
- Mageia 7 Mass Rebuild
2018-04-28 - kekepower <kekepower> 0.1-1.mga7
+ Revision: 1223157
- imported package ocaml-psmt2-frontend

See Also

Package Description
ocaml-pure-fun-doc-1.0.8-8.mga7.noarch.rpm Development files for ocaml-pure-fun
ocaml-pxp-1.2.8-4.mga7.i586.rpm An XML parser for OCaml
ocaml-pxp-devel-1.2.8-4.mga7.i586.rpm Development files for ocaml-pxp
ocaml-re-1.7.3-3.mga7.i586.rpm Regular expression library for OCaml
ocaml-re-devel-1.7.3-3.mga7.i586.rpm Development files for ocaml-re
ocaml-react-1.2.1-3.mga7.i586.rpm OCaml module for Functional Reactive Programming (FRP)
ocaml-react-devel-1.2.1-3.mga7.i586.rpm Development files for ocaml-react
ocaml-res-4.0.7-3.mga7.i586.rpm Library for automatically resizing contiguous memory (arrays and strings)
ocaml-res-devel-4.0.7-3.mga7.i586.rpm Development files for ocaml-res
ocaml-result-1.3-5.mga7.i586.rpm Standard IO library for OCaml
ocaml-result-devel-1.3-5.mga7.i586.rpm Development files for ocaml-result
ocaml-samplerate-0.1.2-10.mga7.i586.rpm OCaml interface for libsamplerate (audio rate conversion library)
ocaml-samplerate-devel-0.1.2-10.mga7.i586.rpm Development files for ocaml-samplerate
ocaml-sdl-0.9.1-17.mga7.i586.rpm OCaml bindings for the SDL multimedia library
ocaml-sdl-devel-0.9.1-17.mga7.i586.rpm Development files for ocaml-sdl
Advertisement
Advertisement