SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-why3-devel
Version : 1.4.0 Vendor : Fedora Project
Release : 3.fc35 Date : 2021-07-30 17:02:20
Group : Unspecified Source RPM : why3-1.4.0-3.fc35.src.rpm
Size : 11.47 MB
Packager : Fedora Project
Summary : Development files for using the ocaml-why3 library
Description :
This package contains development files needed to build applications
that use the ocaml-why3 library.

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-why3-devel-1.4.0-3.fc35.i686.rpm
     Search for other platforms
ocaml-why3-devel-1.4.0-3.fc35.sparc.rpm
ocaml-why3-devel-1.4.0-3.fc35.alpha.rpm
ocaml-why3-devel-1.4.0-3.fc35.ppc.rpm
ocaml-why3-devel-1.4.0-3.fc35.ia64.rpm
ocaml-why3-devel-1.4.0-3.fc35.s390.rpm

Provides :
ocaml(Why3)
ocaml-why3-devel
ocaml-why3-devel(x86-32)
ocamlx(Why3)

Requires :
ocaml(Big_int) = ee02223708fa1d9591dd37aae1f1360c
ocaml(CamlinternalFormatBasics) = b6c6694955e10001aed267571104a961
ocaml(CamlinternalLazy) = 0ffdd4563ae8cab020b6247347c9def7
ocaml(CamlinternalMod) = 7a6bc8c9aac5938359537cc9ec5f5317
ocaml(CamlinternalOO) = eb6b614bf67c7bb6a6a1fb16658d4420
ocaml(Dynlink) = 1992f5776d7482876578d6260be0a779
ocaml(Gzip) = 3bfac0182a4f0d1c45c1e585cc3517ed
ocaml(MenhirLib) = e1d2029c152a5f2d24c55eef31862d07
ocaml(Nat) = ae789d3b409e53bbe7b4875e66d3a8c0
ocaml(Re) = 1686c58b778ea47a244763d0d6373aaa
ocaml(Re__) = 0c63e458047819bd755dc8cf4d0a3693
ocaml(Re__Automata) = 2bf1b4d96880ec38b376f288f7676371
ocaml(Re__Category) = bafecd9b6305adf45f9a1195b5756127
ocaml(Re__Core) = 59e47e8e0ef06047e646351c628ae0e7
ocaml(Re__Cset) = 9bb3e0d6eae404da10ad93afe481c700
ocaml(Re__Pmark) = 773481b85a5ae9a7035e3337ca96bde3
ocaml(Re__Str) = ccae6a34218319f13de930a0c8aaa934
ocaml(Seq) = 7e3b0b25edae0c80ba25e0797783a287
ocaml(Stdlib) = 4b04b4eda19aa722df365141895fb347
ocaml(Stdlib__arg) = cb7276f4b80d17f122d4ba1cbcfd70dd
ocaml(Stdlib__array) = 4e32e71cf085ea7194f43622fdc89508
ocaml(Stdlib__bigarray) = 73871e61e3785d8f0d822194daeb85ec
ocaml(Stdlib__buffer) = 9eaf2b1cd70e33601c152d1ce1bb8be9
ocaml(Stdlib__bytes) = 7ebe0a816f28bf2ec23e9d2924ee86f3
ocaml(Stdlib__char) = ccd3738d6394dcb9283f27d985cd03db
ocaml(Stdlib__complex) = 81367aaa1be1ccaf16610a96c3d2bc13
ocaml(Stdlib__digest) = 58b6f86a69b21b761db8c98e4a6e5d5b
ocaml(Stdlib__either) = 2555bf09b020b8887a4d8a645b0ed347
ocaml(Stdlib__ephemeron) = 0e3c38f75d0e290f3cb0eab1316bc939
ocaml(Stdlib__filename) = 8c147c37b4043616a4f94de5d087796e
ocaml(Stdlib__format) = e8696010fc66d4ce9a3bc3f311f6ea20
ocaml(Stdlib__hashtbl) = c3ec10b93bb358686d02fa9c5f4adb6b
ocaml(Stdlib__int32) = 4c0749e51d8fce5752bcb00fe42a4ddc
ocaml(Stdlib__int64) = 6cf7f095ea7fd59bad44ff22d084c4ee
ocaml(Stdlib__lazy) = 5d62f857d0f7ae5149ebb6d1d7bf1f95
ocaml(Stdlib__lexing) = f7569937b419d08065107a2889d2cf28
ocaml(Stdlib__list) = 88609ef3a3066dcf16ad7456f53122d2
ocaml(Stdlib__map) = 717fe01a67af86872466d04c7663d16f
ocaml(Stdlib__obj) = 2b540dc54438cf063883f6e85c4aa37a
ocaml(Stdlib__pervasives) = 382fd7518824380092708706588e1eed
ocaml(Stdlib__printexc) = 2ed36879cfa0bc71cb0de0098e5580b3
ocaml(Stdlib__printf) = 6b41a35d77938603dd2ed0f7d80764f6
ocaml(Stdlib__queue) = d2482d035931625f85b5c791c05b388c
ocaml(Stdlib__scanf) = fcbac178fa03ea42ea3104cab0aa7de5
ocaml(Stdlib__seq) = 185075aa99b059ad4cae15cb411fcc0c
ocaml(Stdlib__set) = d47fad5d5151b45276616200bec25877
ocaml(Stdlib__stack) = 488eb4d35e3f40d97bf3fea930a4fc73
ocaml(Stdlib__string) = 9f0e42299fccc5fb76df62d28ba67759
ocaml(Stdlib__sys) = eb89f871835c4515431f0752466ac613
ocaml(Stdlib__uchar) = 82dadcd908dde621b8842c96ba644dc6
ocaml(Stdlib__weak) = cba3563dd81326f4bdf520cd5fbcc4cc
ocaml(Unix) = eadecc353e942963afccd09bd1a12192
ocaml-menhir(x86-32)
ocaml-num-devel(x86-32)
ocaml-re-devel(x86-32)
ocaml-seq-devel(x86-32)
ocaml-why3(x86-32) = 1.4.0-3.fc35
ocamlx(Big_int) = 58e060d211cf751255965fca7ffd8c48
ocamlx(CamlinternalLazy) = 1cc2562d342daecf180cc25d31cdfe23
ocamlx(CamlinternalMod) = a619128204e8f5e4f3daf136f30dd669
ocamlx(CamlinternalOO) = cd6c4ea1e674b59d7ad4e58e9a3e6aaf
ocamlx(Dynlink) = 7daf7ddcf2cde88a5062f71bbf45e5ca
ocamlx(Gzip) = 7e718a5addd8715347efd10a769d7eb4
ocamlx(Re__Str) = 118ae1ce2736abc9ea754bc5f5ffde98
ocamlx(Stdlib) = d5811101bd70b27a22caae850c4f25ad
ocamlx(Stdlib__array) = 0ed96c91772f0d78b4b05bba1247b309
ocamlx(Stdlib__buffer) = 6d7a613a7d4f163c15d6e16b3c4d3e05
ocamlx(Stdlib__bytes) = 65cc81dcedb05e8afec213e717ab3360
ocamlx(Stdlib__char) = caa3dfda8f15ead30a477bd7b5a5ecb4
ocamlx(Stdlib__digest) = 26b7ef055671a7c1ae7edaf064140eb3
ocamlx(Stdlib__ephemeron) = e8c7c263c41ceb3d469538c52d376088
ocamlx(Stdlib__filename) = 119c35f4dd6ea060778bc3be9b499a27
ocamlx(Stdlib__format) = 5d89d58245c5f7f28b3853814111ab7c
ocamlx(Stdlib__hashtbl) = 3829fa7ab7d1045feecb0bee57955fbc
ocamlx(Stdlib__int64) = 722e730767412a71ebf1b7e837faa0b0
ocamlx(Stdlib__lexing) = 98b2bb73dfb8bb8cbb8b32be73a9ba1f
ocamlx(Stdlib__list) = dc8662e5891df73b42dce8a441050a58
ocamlx(Stdlib__pervasives) = 39209de940da6e6f5c439d3d2f154f89
ocamlx(Stdlib__printexc) = 59502601ad27498624d47bc529d2ad6e
ocamlx(Stdlib__printf) = 95403ab2a8b865c4b034b23444a15d9c
ocamlx(Stdlib__queue) = 8acdc8c2f4e6cbf4cc67537fdeb86d62
ocamlx(Stdlib__scanf) = 19c0ad03090edeb7ccf1dcc41abf8629
ocamlx(Stdlib__set) = 81efdb4b8549da0598e59fd446b2b9b1
ocamlx(Stdlib__stack) = 46462526a598af9f2394acbcfbb1948a
ocamlx(Stdlib__string) = 6dbca81d6b400f24cd01a405d0c04036
ocamlx(Stdlib__sys) = 16bca4b039c6c202e8d959d6bc418bb4
ocamlx(Stdlib__weak) = 81180ccdace85b3ace0151f1391d6c5a
ocamlx(Unix) = ad4d21fe167a122842c722284c19ba1b
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/why3/why3.a
/usr/lib/ocaml/why3/why3.cmt
/usr/lib/ocaml/why3/why3.cmx
/usr/lib/ocaml/why3/why3.cmxa

  
ICM