SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-why3
Version : 1.4.0 Vendor : Fedora Project
Release : 3.fc35 Date : 2021-07-30 17:01:52
Group : Unspecified Source RPM : why3-1.4.0-3.fc35.src.rpm
Size : 10.65 MB
Packager : Fedora Project
Summary : Software verification library for ocaml
Description :
This package contains an ocaml library that exposes the functionality
of why3 to applications.

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-1.4.0-3.fc35.x86_64.rpm
     

Provides :
ocaml(Why3)
ocaml-why3
ocaml-why3(x86-64)
ocamlx(Why3)

Requires :
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
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-num(x86-64)
ocaml-zip-devel(x86-64)
ocamlx(Big_int) = 55983987a61125645c9dcf8cb3147778
ocamlx(CamlinternalLazy) = 5f1da61615ee34940899352e3f13883f
ocamlx(CamlinternalMod) = 075336ca2dcf908f0561912c4c09daa0
ocamlx(CamlinternalOO) = 78b812b275282dc096a34a827cba80a0
ocamlx(Dynlink) = 523991ca00861e7c3bf30cf3a45cd667
ocamlx(Gzip) = ed7c83bf559716e4233b01fe2a3f7977
ocamlx(Re__Str) = 3d494518f6602e97b2ca4f164a69b5f8
ocamlx(Stdlib) = 905355729c82ef4d2184c394a250f1a3
ocamlx(Stdlib__array) = bd748df8b673a5572a68c6ed97643075
ocamlx(Stdlib__buffer) = f2c7899840b35768dd26b48c02f5d47d
ocamlx(Stdlib__bytes) = 1920173de71d5daeef951ba8094b058a
ocamlx(Stdlib__char) = ceadb77e2c81b1c955823f0bf953c676
ocamlx(Stdlib__digest) = d19c41d079eb14c4d4c18051bb693ba5
ocamlx(Stdlib__ephemeron) = da048b6fc897ff508899f7641eea3a0a
ocamlx(Stdlib__filename) = fd27ed43c8cba6245eb4a8892d1492f6
ocamlx(Stdlib__format) = 41296ac99a85560c95c2f9d56ed27a7d
ocamlx(Stdlib__hashtbl) = d6c11956a20f699b6d99ffbeaf7af8ce
ocamlx(Stdlib__int64) = 54c5d202b981a695ff231a328f5611d3
ocamlx(Stdlib__lexing) = ebc068c08b7e3910fd9a4618bdc64e1f
ocamlx(Stdlib__list) = 53d7956dcffc648bb93ed4703fe49f2c
ocamlx(Stdlib__pervasives) = 57ad99849d3d858359a22c12d3944c85
ocamlx(Stdlib__printexc) = e4c142a6302c9afbffcc5e2dbfab469c
ocamlx(Stdlib__printf) = 9c372b73f35fb3b53e15ee17339edabc
ocamlx(Stdlib__queue) = 8acdc8c2f4e6cbf4cc67537fdeb86d62
ocamlx(Stdlib__scanf) = d2166da9bb1fa4ae53f3718acb2837ac
ocamlx(Stdlib__set) = c27557b5a6100db8742e263f38fd23be
ocamlx(Stdlib__stack) = 671aefd3da8bdd2f8cdd3ff3927fb06d
ocamlx(Stdlib__string) = 0f51be4faacbfc99b4c9b3c427cf5bd8
ocamlx(Stdlib__sys) = 53713114014cf8545db403b325aa77cd
ocamlx(Stdlib__weak) = 7eb8f855f952c8efb56dc2d6be10ebc8
ocamlx(Unix) = 6cad08ee79360aa0781ccb2644c36087
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/b8
/usr/lib/.build-id/b8/a04de846ab42b390b21a272001092a61d22827
/usr/lib64/ocaml/why3
/usr/lib64/ocaml/why3/META
/usr/lib64/ocaml/why3/why3.cmi
/usr/lib64/ocaml/why3/why3.cmxs

  
ICM