SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-apron
Version : 0.9.11 Vendor : Fedora Project
Release : 23.1104.svn20180624.fc30 Date : 2019-02-01 04:28:30
Group : Unspecified Source RPM : apron-0.9.11-23.1104.svn20180624.fc30.src.rpm
Size : 3.10 MB
Packager : Fedora Project
Summary : Ocaml interface to APRON
Description :
Ocaml interface to the APRON library.

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

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-apron-0.9.11-23.1104.svn20180624.fc30.x86_64.rpm
     

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

Requires :
apron(x86-64) = 0.9.11-23.1104.svn20180624.fc30
libap_pkgrid.so.0()(64bit)
libap_ppl.so.0()(64bit)
libapron.so.0()(64bit)
libapron_debug.so.0()(64bit)
libboxD.so.0()(64bit)
libboxMPFR.so.0()(64bit)
libboxMPQ.so.0()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libgmp.so.10()(64bit)
libgmpxx.so.4()(64bit)
libm.so.6()(64bit)
libmpfr.so.4()(64bit)
liboctD.so.0()(64bit)
liboctMPQ.so.0()(64bit)
libpolkaMPQ.so.0()(64bit)
libpolkaMPQ_debug.so.0()(64bit)
libpolkaRll.so.0()(64bit)
libpolkaRll_debug.so.0()(64bit)
libppl.so.14()(64bit)
libt1pD.so.0()(64bit)
libt1pMPFR.so.0()(64bit)
libt1pMPQ.so.0()(64bit)
ocaml(Apron) = 5cfefae67d12674d7b444a140ae45c93
ocaml(Bigarray) = 0c47051b3cf2ad550a5c848dbb88e6c4
ocaml(CamlinternalFormatBasics) = 7ea79e608e46b41c80c3251773e6fdf3
ocaml(Mpf) = 87ffeb767867d80d01a5184dd4e2d4a4
ocaml(Mpfr) = 64f9e504ed3006dbda4a27627dc193fc
ocaml(Mpfrf) = 32c26eaac5979ab6fc1993e4105a3eba
ocaml(Mpq) = 4394775fa96db50e128755483cd82f9b
ocaml(Mpqf) = 74c14793f4122ba4abd47440f808de63
ocaml(Mpz) = 286dd60e377d0264bec91ff502b57654
ocaml(Mpzf) = 645eb27c464a248cbc6cba09a9ead873
ocaml(Polka) = 0370a97f8058b53d794977ea2f1872bd
ocaml(Ppl) = cb65a44162a724ccd3d3e7b532d7d509
ocaml(Stdlib) = 2812fae09b173a42800ce3b48328b9cb
ocaml(Stdlib__array) = 8289b1b8bcdd29cc6a859bfa35d44a2e
ocaml(Stdlib__bigarray) = fde4e26503108d041547c9eef855a5fa
ocaml(Stdlib__buffer) = 10853d28756c7121334e6b9e3e83e1ba
ocaml(Stdlib__callback) = 6cbf78990b81aaa60259f675a22325df
ocaml(Stdlib__complex) = d4688bd6236fccf33550a083ea8e768f
ocaml(Stdlib__format) = 28a664c1f420f636bf646c962e89e74a
ocaml(Stdlib__int32) = 78bd846191e02a88baa4e9a80ecf1cd6
ocaml(Stdlib__lexing) = 4ca35ee6f83c87fbf3d6a22e3555e3ce
ocaml(Stdlib__list) = 0c0f6e8daa075e845d18d212dd78098f
ocaml(Stdlib__obj) = a596d23956eb4b50fd382185fb87478a
ocaml(Stdlib__parsing) = c277400343f616546ed67ff4e1646996
ocaml(Stdlib__seq) = 5c66a1fd18f6126043d7af46d32b4b53
ocaml(Stdlib__string) = da1db0058f6dfb66ed4d85c353dc9306
ocaml(Stdlib__uchar) = 786699188e2f8c1fe32eb8363cd7655a
ocaml(Unix) = e5f3d189d40891229c2283728e203e8a
ocaml(runtime) = 4.07.0
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/01
/usr/lib/.build-id/01/3a886cef45b68c5893af1e56ef3c698b8f9695
/usr/lib/.build-id/0c
/usr/lib/.build-id/0c/4013f94ddd7293d645c1b46dbb866fe9f11f4f
/usr/lib/.build-id/18
/usr/lib/.build-id/18/ffec0995eaf585a511f9e115d6aa1a95b140eb
/usr/lib/.build-id/1b
/usr/lib/.build-id/1b/a77e65d74f8b15ef9125217aa9faa561d42d68
/usr/lib/.build-id/25
/usr/lib/.build-id/25/450b97ad018af8995a236242733ff810e59666
/usr/lib/.build-id/38
/usr/lib/.build-id/38/f6bf1dec427ee628d63953024b77a576de821d
/usr/lib/.build-id/38/fbbe643df24da002c02f9667ec573a99762cb2
/usr/lib/.build-id/45
/usr/lib/.build-id/45/8b106a735ee5b482dff722fbaa7ed9aef6a115
/usr/lib/.build-id/47/40995cbc5c639f40b45c2fd973fb5b5cde2a1b
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/6eb48c23a9f3cbf37932fadbd9524a7b405c42
/usr/lib/.build-id/6f
/usr/lib/.build-id/6f/fff22effa3b1bb18ad678b59978cacda065e53
/usr/lib/.build-id/79
/usr/lib/.build-id/79/e57939dcf09772f883c0223671406246df9a18
/usr/lib/.build-id/79/f7cce4d80a14be64cf8d741f4afb7b6c03b416
/usr/lib/.build-id/7d
/usr/lib/.build-id/7d/336a1ddbdede17e560dcd223eb9e2a5b82656c
/usr/lib/.build-id/8c
/usr/lib/.build-id/8c/81527f759f7fd2bc0728ab5f2246a1b0723ff7
/usr/lib/.build-id/90
/usr/lib/.build-id/90/01d8c4065287e170d2090562ec858784e7a8d2
There is 77 files more in these RPM.

 
ICM