SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-psmt2-frontend-devel rpm build for : Fedora 35. For other distributions click ocaml-psmt2-frontend-devel.

Name : ocaml-psmt2-frontend-devel
Version : 0.1 Vendor : Fedora Project
Release : 10.fc35 Date : 2021-07-23 00:21:54
Group : Unspecified Source RPM : ocaml-psmt2-frontend-0.1-10.fc35.src.rpm
Size : 4.66 MB
Packager : Fedora Project
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.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/35/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-psmt2-frontend-devel-0.1-10.fc35.i686.rpm
     Search for other platforms
ocaml-psmt2-frontend-devel-0.1-10.fc35.sparc.rpm
ocaml-psmt2-frontend-devel-0.1-10.fc35.alpha.rpm
ocaml-psmt2-frontend-devel-0.1-10.fc35.ppc.rpm
ocaml-psmt2-frontend-devel-0.1-10.fc35.ia64.rpm
ocaml-psmt2-frontend-devel-0.1-10.fc35.s390.rpm

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

Requires :
ocaml(CamlinternalFormatBasics) = b6c6694955e10001aed267571104a961
ocaml(Stdlib) = 4b04b4eda19aa722df365141895fb347
ocaml(Stdlib__buffer) = 9eaf2b1cd70e33601c152d1ce1bb8be9
ocaml(Stdlib__either) = 2555bf09b020b8887a4d8a645b0ed347
ocaml(Stdlib__format) = e8696010fc66d4ce9a3bc3f311f6ea20
ocaml(Stdlib__hashtbl) = c3ec10b93bb358686d02fa9c5f4adb6b
ocaml(Stdlib__int32) = 4c0749e51d8fce5752bcb00fe42a4ddc
ocaml(Stdlib__lexing) = f7569937b419d08065107a2889d2cf28
ocaml(Stdlib__list) = 88609ef3a3066dcf16ad7456f53122d2
ocaml(Stdlib__map) = 717fe01a67af86872466d04c7663d16f
ocaml(Stdlib__obj) = 2b540dc54438cf063883f6e85c4aa37a
ocaml(Stdlib__printf) = 6b41a35d77938603dd2ed0f7d80764f6
ocaml(Stdlib__seq) = 185075aa99b059ad4cae15cb411fcc0c
ocaml(Stdlib__string) = 9f0e42299fccc5fb76df62d28ba67759
ocaml(Stdlib__uchar) = 82dadcd908dde621b8842c96ba644dc6
ocaml-psmt2-frontend(x86-32) = 0.1-10.fc35
ocamlx(Stdlib) = d5811101bd70b27a22caae850c4f25ad
ocamlx(Stdlib__format) = 5d89d58245c5f7f28b3853814111ab7c
ocamlx(Stdlib__hashtbl) = 3829fa7ab7d1045feecb0bee57955fbc
ocamlx(Stdlib__lexing) = 98b2bb73dfb8bb8cbb8b32be73a9ba1f
ocamlx(Stdlib__list) = dc8662e5891df73b42dce8a441050a58
ocamlx(Stdlib__map) = 58966393d927a8f040301588a5883230
ocamlx(Stdlib__printf) = 95403ab2a8b865c4b034b23444a15d9c
ocamlx(Stdlib__string) = 6dbca81d6b400f24cd01a405d0c04036
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/ocaml/psmt2-frontend/opam
/usr/lib/ocaml/psmt2-frontend/options.mli
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.a
/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.o
/usr/lib/ocaml/psmt2-frontend/smtlib_parser.mli
/usr/lib/ocaml/psmt2-frontend/version.mli

  
ICM