SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-why3
Version : 1.4.0 Vendor : Fedora Project
Release : 1.fc34 Date : 2021-07-16 05:52:56
Group : Unspecified Source RPM : why3-1.4.0-1.fc34.src.rpm
Size : 8.95 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/updates/34/Everything/x86_64/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-why3-1.4.0-1.fc34.i686.rpm
     Search for other platforms
ocaml-why3-1.4.0-1.fc34.sparc.rpm
ocaml-why3-1.4.0-1.fc34.alpha.rpm
ocaml-why3-1.4.0-1.fc34.ppc.rpm
ocaml-why3-1.4.0-1.fc34.ia64.rpm
ocaml-why3-1.4.0-1.fc34.s390.rpm

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

Requires :
libc.so.6
libc.so.6(GLIBC_2.1.3)
ocaml(Big_int) = dc25ad7b2afd2f71d443df3e2841f7da
ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1
ocaml(CamlinternalLazy) = 9a1263a7a1e44e1eb3fb6d0986f3063d
ocaml(CamlinternalMod) = afc8685cc772d3b2ceeff0c531199f25
ocaml(CamlinternalOO) = 9b49ddd063bfe999887d47e83d281c15
ocaml(Dynlink) = 0694f9b593b92c83e7a267bfbe7b7737
ocaml(Gzip) = 778d327317d64602bbcccc6b311de605
ocaml(MenhirLib) = 357aea45a8840ee2710bf74db9d785d4
ocaml(Nat) = dfdbe60a61f9c757582fa2a9237dc807
ocaml(Re) = 10d4185254d95e45c55e4f31c5a8a123
ocaml(Re__) = fecbc93ca13c439f684956ccaf3a8bf9
ocaml(Re__Automata) = 7493e366f630019c1e6f4208d9875700
ocaml(Re__Category) = 9d2c64c3bafd5fda68f9489694157d42
ocaml(Re__Core) = 274017c15de9ea0ffd9269c1515a2136
ocaml(Re__Cset) = f9204acee6aff96c5515946808de1c3c
ocaml(Re__Pmark) = ac5b77d7d97553a54759951157a3a3de
ocaml(Re__Str) = 1e9b69ed9f085e63d7b19951be8f96aa
ocaml(Seq) = c016f41547bad8175491c2fb9950ed71
ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d
ocaml(Stdlib__arg) = 93dbd397d18f68dd62193d6ee65a2b5a
ocaml(Stdlib__array) = 4528cb7f2202a96df7bc293599ce41ac
ocaml(Stdlib__bigarray) = 8f51e488a7f2bd0c6137bb9ba75b530e
ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481
ocaml(Stdlib__bytes) = 6f90f1d35d75f513a9ee53cebf3fbc27
ocaml(Stdlib__char) = cdee48235b2dbc08f40a0e2ec3824bc5
ocaml(Stdlib__complex) = 2221dce26021209ffd747f2125bf7f10
ocaml(Stdlib__digest) = f1b97f3e19af05cd4078e6503af92f71
ocaml(Stdlib__ephemeron) = f32ccbab2ec49f08ba22b9bb7dd95dd8
ocaml(Stdlib__filename) = b88c1b2c331fb92c75f13ee6d0d91977
ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41
ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a
ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68
ocaml(Stdlib__int64) = 8da509b391e66cf2a7e37819728d5a15
ocaml(Stdlib__lazy) = bad82b0dffc3f26083e1d1c8e5965818
ocaml(Stdlib__lexing) = c57f9c5debbcb9d656c70b1e7385c4f9
ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea
ocaml(Stdlib__map) = 9d421c1da8aa330b734c69f7a2083439
ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48
ocaml(Stdlib__pervasives) = 76119ce30941328f65713c9e5efa6ead
ocaml(Stdlib__printexc) = 6e03ab07ea296513ab6af44b09129348
ocaml(Stdlib__printf) = 5cec2efa6f5a2459d17f2788deb783f2
ocaml(Stdlib__queue) = dba3e985c9c4016dae4b6f6d2b228c73
ocaml(Stdlib__scanf) = 6d7fdae04e8b50cf6e3d781f6dd13bd1
ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88
ocaml(Stdlib__set) = 5d365647a10f75c22f2b045a867b4d3e
ocaml(Stdlib__stack) = 3162780e8eebf1e37f8a42417fa1fe4b
ocaml(Stdlib__string) = 9d02da014acaf1dfdd63872e707eaed9
ocaml(Stdlib__sys) = 794924b786d5c3059c545cb526394520
ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96
ocaml(Stdlib__weak) = 71a7b796d13b517ff42de5c42fde0f98
ocaml(Unix) = e6d191b089c68976347fa6524bb28048
ocaml-num(x86-32)
ocaml-zip-devel(x86-32)
ocamlx(Big_int) = e18a3cd99c0a4f4325d82d0646205324
ocamlx(CamlinternalLazy) = c3343c56dbd050b747652fc084f18660
ocamlx(CamlinternalMod) = 900fab0fdcef5fb9de4f0946adc1ad28
ocamlx(CamlinternalOO) = e55b5b49eee34a921277d6cc626ffe21
ocamlx(Dynlink) = 3300d23e1db328fc34868cf5e80bf4c6
ocamlx(Gzip) = 782f98a231d08613a503e19f25b7cc37
ocamlx(Re__Str) = c36fc1fb6f0b142ef4fda7c70edaadbc
ocamlx(Stdlib) = e265559501934b122c70de8bbae32227
ocamlx(Stdlib__array) = 6c55dc4f9a348156a4281ba9fa29c948
ocamlx(Stdlib__buffer) = 20ec22700c04c0e45252ce2ecae5e0a5
ocamlx(Stdlib__bytes) = e4fb9abe3de0b8bf37030991a1b08459
ocamlx(Stdlib__char) = 4ee99d4b4d2e9874ba7833174aa09a4c
ocamlx(Stdlib__digest) = 4990e52fd5b1a1efaa50f338b8f9f419
ocamlx(Stdlib__ephemeron) = 46cbeea50d6643b6862a7ed05a387c32
ocamlx(Stdlib__filename) = 6512f630be3e780c66de18195b1246c1
ocamlx(Stdlib__format) = d382a0ef92bd9dd8572150c428d1e1ec
ocamlx(Stdlib__hashtbl) = 86d4160d3707cb034fa9dd6d15b700d2
ocamlx(Stdlib__int64) = 0645c7936d9c44a3ee746fdea170a61f
ocamlx(Stdlib__lexing) = 86aba44f514b45bed0e5508a34e1f167
ocamlx(Stdlib__list) = ee635cda5a9d1d969d1d0128daa995b6
ocamlx(Stdlib__pervasives) = 6b4c9288e456f95dbaeee8a8181eb106
ocamlx(Stdlib__printexc) = aea304ddec8a4ae3a89819b241090331
ocamlx(Stdlib__printf) = 7b0d6695ad4af3eef7731952587512c2
ocamlx(Stdlib__queue) = 432c45a2f2ee53c628fda5204d77ea19
ocamlx(Stdlib__scanf) = d2e806a89f4b6f77f4628e0600dc5128
ocamlx(Stdlib__set) = d00683e8171dea10ad2c92fe0831ecea
ocamlx(Stdlib__stack) = 92a9ec57a673c6687b66abd289837a97
ocamlx(Stdlib__string) = 87ee46b744490803a1a6e2d3a0a885a6
ocamlx(Stdlib__sys) = 05a2dd7e111621797902638a7ca9eca6
ocamlx(Stdlib__weak) = 15ccd1fc1846f3535b9191d006ad61cb
ocamlx(Unix) = def44cff140f2c435a8301dc9d6c9703
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/ec
/usr/lib/.build-id/ec/17aac1e70c55eb68f1076ebad128ec215bdeb4
/usr/lib/ocaml/why3
/usr/lib/ocaml/why3/META
/usr/lib/ocaml/why3/why3.cmi
/usr/lib/ocaml/why3/why3.cmxs

  
ICM