SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-apron rpm build for : Fedora 40. For other distributions click ocaml-apron.

Name : ocaml-apron
Version : 0.9.14 Vendor : Fedora Project
Release : 7.fc40 Date : 2024-03-13 20:58:42
Group : Unspecified Source RPM : apron-0.9.14-7.fc40.src.rpm
Size : 1.98 MB
Packager : Fedora Project
Summary : Ocaml interface to APRON
Description :
Ocaml interface to the APRON library.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/40/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-apron-0.9.14-7.fc40.x86_64.rpm
ftp.icm.edu.pl  ocaml-apron-0.9.14-7.fc40.x86_64.rpm
     

Provides :
ocaml(Apron)
ocaml(Avo)
ocaml(Box)
ocaml(Fpp)
ocaml(Oct)
ocaml(Polka)
ocaml(PolkaGrid)
ocaml(Ppl)
ocaml(Pplite)
ocaml(T1p)
ocaml-apron
ocaml-apron(x86-64)

Requires :
apron(x86-64) = 0.9.14-7.fc40
ld-linux-x86-64.so.2()(64bit)
ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)
libap_pkgrid.so()(64bit)
libap_ppl.so()(64bit)
libap_pplite.so()(64bit)
libapron.so()(64bit)
libavoD.so()(64bit)
libavoMPQ.so()(64bit)
libboxD.so()(64bit)
libboxMPFR.so()(64bit)
libboxMPQ.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
libfppD.so()(64bit)
libgmp.so.10()(64bit)
libmpfr.so.6()(64bit)
liboctD.so()(64bit)
liboctMPQ.so()(64bit)
libpolkaMPQ.so()(64bit)
libpolkaRll.so()(64bit)
libt1pD.so()(64bit)
libt1pMPFR.so()(64bit)
libt1pMPQ.so()(64bit)
ocaml(Apron) = 5ac2eb68ae6ba7a001fd255104e3e7aa
ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae
ocaml(Mpf) = 3686bc50c14862b5c9d7063ecf40b390
ocaml(Mpfr) = cea4349830a0444662ec4bd8094fa065
ocaml(Mpfrf) = 68fd09da823875a3b6df1d60bf2f9b82
ocaml(Mpq) = 81cf0a5938ffe8a64d9ab5afe9ad8627
ocaml(Mpqf) = fda32d9751b885f3a210912a8bde4689
ocaml(Mpz) = 75a392c7812fc1ce3e4bd0825fee7d6f
ocaml(Mpzf) = 0f6923969a66bd2d0ad19f566ad8aa1a
ocaml(Polka) = a49613109435c2def5597f63e7316aa5
ocaml(Ppl) = 11cf622eb2a7eea8e968bb446cf646f1
ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf
ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120
ocaml(Stdlib__Bigarray) = 7c919af812ad8dfb0033b8dde0d08c07
ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351
ocaml(Stdlib__Callback) = 34d77bf0657b063f4d951e989d10ffe6
ocaml(Stdlib__Complex) = e64ee90eddc7b10ec8fbe26c11240f8e
ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28
ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08
ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee
ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f
ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4
ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328
ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b
ocaml(Stdlib__Parsing) = f3155bb6c5a82e83c992ba76dd850511
ocaml(Stdlib__Printexc) = d975a8ebb36f69a7ebff19112564c073
ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c
ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3
ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5
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/00
/usr/lib/.build-id/00/b796c4306b781149e4a2c1cd3218ce79974195
/usr/lib/.build-id/05
/usr/lib/.build-id/05/6c9ddd7203af75c0ed3335e57c8ea6e58f414a
/usr/lib/.build-id/0a
/usr/lib/.build-id/0a/311aeb68332f8d01871768c1e5982eaad1d0fd
/usr/lib/.build-id/15
/usr/lib/.build-id/15/78c37bd95fa917a4eb320c0ee43677f2fad5de
/usr/lib/.build-id/19
/usr/lib/.build-id/19/f3d4b74dabd46f22e049f54671db25147fe3e3
/usr/lib/.build-id/21
/usr/lib/.build-id/21/e4baf1bf980e0f7571670f918c014fd6421e3d
/usr/lib/.build-id/24
/usr/lib/.build-id/24/2a3be92d534481ded17349ffe7866960fac426
/usr/lib/.build-id/51
/usr/lib/.build-id/51/a420f64e466447c345b2e45e2ee92f70a347bc
/usr/lib/.build-id/65
/usr/lib/.build-id/65/dd1f06d9835787607b72744d2609b260c7a36e
/usr/lib/.build-id/66
/usr/lib/.build-id/66/fc5e9ec2e1a353b20dd70a7c002a70670eabc1
/usr/lib/.build-id/6d
/usr/lib/.build-id/6d/3e7ab0345923911feab94549d1a132e725509e
/usr/lib/.build-id/6f
/usr/lib/.build-id/6f/517ee0281891dad274717f799be56de6a06457
/usr/lib/.build-id/74
/usr/lib/.build-id/74/c747e30f41c1a4ba501509f997804302add58c
/usr/lib/.build-id/85
/usr/lib/.build-id/85/a0cb74d993d66c6d52ca93308767c3dddc01b9
/usr/lib/.build-id/86
There is 121 files more in these RPM.

 
ICM