SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-z3-devel rpm build for : Fedora 33. For other distributions click ocaml-z3-devel.

Name : ocaml-z3-devel
Version : 4.8.9 Vendor : Fedora Project
Release : 1.fc33 Date : 2020-09-27 05:06:46
Group : Unspecified Source RPM : z3-4.8.9-1.fc33.src.rpm
Size : 1.32 MB
Packager : Fedora Project
Summary : Files for building ocaml applications that use z3
Description :
Files for building ocaml applications that use z3.

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

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-z3-devel-4.8.9-1.fc33.i686.rpm
     Search for other platforms
ocaml-z3-devel-4.8.9-1.fc33.sparc.rpm
ocaml-z3-devel-4.8.9-1.fc33.alpha.rpm
ocaml-z3-devel-4.8.9-1.fc33.ppc.rpm
ocaml-z3-devel-4.8.9-1.fc33.ia64.rpm
ocaml-z3-devel-4.8.9-1.fc33.s390.rpm

Provides :
ocaml(Z3)
ocaml(Z3enums)
ocaml(Z3native)
ocaml-z3-devel
ocaml-z3-devel(x86-32)
ocamlx(Z3)
ocamlx(Z3enums)
ocamlx(Z3native)

Requires :
ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1
ocaml(CamlinternalMod) = afc8685cc772d3b2ceeff0c531199f25
ocaml(Q) = 90aa2591a6a91c1b5a40d6a0def33e14
ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d
ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481
ocaml(Stdlib__callback) = 1b88fbd71c9cf564eb0790c5709a779a
ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41
ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a
ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68
ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea
ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48
ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88
ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96
ocaml(Z) = dd52b38bed25b2bce66fbf26c31ba672
ocaml(Z3enums) = e9742f158c2810aa288660a9fb57adf9
ocaml(Z3native) = 4697733c2953a4c6b715369ca7fbf167
ocaml-z3(x86-32) = 4.8.9-1.fc33
ocamlx(CamlinternalMod) = 900fab0fdcef5fb9de4f0946adc1ad28
ocamlx(Q) = fd118cd3cd9984ede82e654049c3d0aa
ocamlx(Stdlib) = e265559501934b122c70de8bbae32227
ocamlx(Stdlib__callback) = 98dbfe84d3b99d5cdfac7f3586a17f9d
ocamlx(Stdlib__hashtbl) = 86d4160d3707cb034fa9dd6d15b700d2
ocamlx(Stdlib__list) = ee635cda5a9d1d969d1d0128daa995b6
ocamlx(Z) = a51652e494bf505d50055d82953b5ade
ocamlx(Z3enums) = f64c16cdc0cf3fc2fc4ca06b9db97417
ocamlx(Z3native) = c945861ac57ff098546cfbdaefca5d64
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/Z3/libz3ml.a
/usr/lib/ocaml/Z3/z3.cmx
/usr/lib/ocaml/Z3/z3.mli
/usr/lib/ocaml/Z3/z3enums.cmx
/usr/lib/ocaml/Z3/z3enums.mli
/usr/lib/ocaml/Z3/z3ml.a
/usr/lib/ocaml/Z3/z3ml.cmxa
/usr/lib/ocaml/Z3/z3native.cmx
/usr/lib/ocaml/Z3/z3native.mli

  
ICM