SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-psmt2-frontend rpm build for : Mageia 8. For other distributions click ocaml-psmt2-frontend.

Name : ocaml-psmt2-frontend
Version : 0.1 Vendor : Mageia_Org
Release : 9.mga8 Date : 2020-08-22 10:03:15
Group : Development/OCaml Source RPM : ocaml-psmt2-frontend-0.1-9.mga8.src.rpm
Size : 7.95 MB
Packager : tv < tv>
Summary : A simple parser and type-checker for polymorphic extension
Description :
A library to parse and type-check a conservative extension of the SMT-LIB 2
standard with prenex polymorphism.

RPM found in directory: /vol/rzm3/linux-mageia/distrib/8/i586/media/core/release

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-psmt2-frontend-0.1-9.mga8.i586.rpm
     Search for other platforms
ocaml-psmt2-frontend-0.1-9.mga8.sparc.rpm
ocaml-psmt2-frontend-0.1-9.mga8.alpha.rpm
ocaml-psmt2-frontend-0.1-9.mga8.ppc.rpm
ocaml-psmt2-frontend-0.1-9.mga8.ia64.rpm
ocaml-psmt2-frontend-0.1-9.mga8.s390.rpm

Provides :
ocaml(Psmt2Frontend)
ocaml-psmt2-frontend
ocaml-psmt2-frontend(x86-32)
ocamlx(Psmt2Frontend)

Requires :
libc.so.6
libc.so.6(GLIBC_2.1.3)
ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf
ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3
ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec
ocaml(Stdlib__format) = 06b0893cb3ef937aa19861955f132018
ocaml(Stdlib__hashtbl) = ae8edb4e1fa8a825285031ff0efc80c8
ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf
ocaml(Stdlib__lexing) = af4fe7604d37ed7010a342d5a704e3c5
ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a
ocaml(Stdlib__map) = a82b95a7a6d7947a4127a1eccd24d8b1
ocaml(Stdlib__obj) = 4f27fde74c713270e337272301a906e6
ocaml(Stdlib__printf) = 908ae2bf186b4ad7c88e5443c57d73af
ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679
ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e
ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3
ocamlx(Stdlib) = 49251ee46c5a6af8953e9d71cb963d6a
ocamlx(Stdlib__format) = 759600189995a86351afd2ec1f3d2628
ocamlx(Stdlib__hashtbl) = abf8331aef44e03a06cc351386eee370
ocamlx(Stdlib__lexing) = 2044ceadae14e4a33fe77603f52123f9
ocamlx(Stdlib__list) = 9fa7b040539187d612a64f25d4ab4763
ocamlx(Stdlib__map) = 957fb8a56079cf9657fc8fbe9d167632
ocamlx(Stdlib__printf) = 7e37a4b7747b4eba2b60a05bf1ee4ea8
ocamlx(Stdlib__string) = 32aa8a186c78e4246742332bafa1c9ce
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/70
/usr/lib/.build-id/70/a50609829a38004e533621012726de0e8bd8dc
/usr/lib/ocaml/psmt2-frontend
/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
/usr/share/doc/ocaml-psmt2-frontend/CHANGES.md
/usr/share/doc/ocaml-psmt2-frontend/README.md

  
ICM