ocaml-apron-0.9.10-5.fc17 RPM for i686

From Fedora 17 i386 / o

Ocaml interface to the APRON library.

Provides

• ocaml-apron
• libap_ppl_caml.so
• libapron_caml.so
• libboxD_caml.so
• libboxMPFR_caml.so
• libboxMPQ_caml.so
• liboctD_caml.so
• liboctMPQ_caml.so
• libpolkaGrid_caml.so
• libpolkaMPQ_caml.so
• libpolkaRll_caml.so
• ocaml(Apron)
• ocaml(Box)
• ocaml(Oct)
• ocaml(Polka)
• ocaml(PolkaGrid)
• ocaml(Ppl)
• ocaml-apron(x86-32)

Requires

• apron(x86-32) = 0.9.10-5.fc17
• libap_pkgrid.so.0
• libap_ppl.so.0
• libapron.so.0
• libboxD.so.0
• libboxMPFR.so.0
• libboxMPQ.so.0
• libc.so.6
• libc.so.6(GLIBC_2.0)
• libc.so.6(GLIBC_2.1.3)
• libc.so.6(GLIBC_2.3.4)
• libc.so.6(GLIBC_2.4)
• libgmp.so.10 >=
• libmpfr.so.4 >=
• liboctD.so.0 =
• liboctMPQ.so.0 =
• libpolkaMPQ.so.0 =
• libpolkaRll.so.0 =
• ocaml(Apron)
• ocaml(Array) = 720848e0b508273805ef38d884a57618
• ocaml(Bigarray) = 7999848d08322c0bcb568840b1d2cf0d
• ocaml(Buffer) = 40bf652f22a33a7cfa05ee1dd5e0d7e4
• ocaml(Callback) = e28543018d3991d2a7e9e4233bc16727
• ocaml(Complex) = 9aea79838f042027ab9539d587834bc8
• ocaml(Format) < e0de312c23ff9caec6c5bfa1f44a43b4
• ocaml(Int32) >= c91c0bbb9f7670b10cdc0f2dcc57c5f9
• ocaml(Lexing) > 7d5623c54d065ad3f652261d2776959c
• ocaml(List)
• ocaml(Mpf)
• ocaml(Mpfr)
• ocaml(Mpfrf)
• ocaml(Mpq)
• ocaml(Mpqf)
• ocaml(Mpz)
• ocaml(Mpzf)
• ocaml(Obj) > 3aeb33d11433c95bb62053c65665eb76
• ocaml(Parsing) < 59e1db94d28f5c920aaddc6ba25fb659
• ocaml(Pervasives) = db723a1798b122e08919a2bfed062514
• ocaml(Polka)
• ocaml(Ppl)
• ocaml(String) >= 06ab5e6944c47322b9d305c0aa0b07ff
• ocaml(Unix) = 2a19929a535447ed0c8fc58ae3adc1a0
• ocaml(runtime) < 3.12.1
• rpmlib(CompressedFileNames) = 3.0.4-1
• rpmlib(FileDigests)
• rpmlib(PayloadFilesHavePrefix) >= 4.0-1
• rtld(GNU_HASH)
• rpmlib(PayloadIsXz) >= 5.2-1

Copyright

LGPLv2+ and GPLv2+

Changelog

* Fri Jan 06 2012 Jerry James <loganjerry(at)gmail.com> - 0.9.10-5
  - Rebuild for GCC 4.7 and Ocaml 3.12.1
* Tue Nov 08 2011 Jerry James <loganjerry(at)gmail.com> - 0.9.10-4
  - -devel also needs ocaml-camlidl-devel
  - Pass --as-needed to the linker to fix unused shared library dependencies
* Fri Nov 04 2011 Jerry James <loganjerry(at)gmail.com> - 0.9.10-3
  - Comment on license situation
  - Drop debug libraries altogether
* Wed Aug 24 2011 Jerry James <loganjerry(at)gmail.com> - 0.9.10-2
  - Correct license
  - Build C and C++ interfaces even when the ocaml interface cannot be built
  - Move debug libraries to separate packages
* Fri Jul 08 2011 Jerry James <loganjerry(at)gmail.com> - 0.9.10-1
  - Initial RPM

Files

/usr/lib/ocaml/apron
/usr/lib/ocaml/apron/abstract0.idl
/usr/lib/ocaml/apron/abstract1.idl
/usr/lib/ocaml/apron/apron.cma
/usr/lib/ocaml/apron/apron.cmi
/usr/lib/ocaml/apron/box.cma
/usr/lib/ocaml/apron/box.cmi
/usr/lib/ocaml/apron/box.idl
/usr/lib/ocaml/apron/boxD.cma
/usr/lib/ocaml/apron/boxMPFR.cma
/usr/lib/ocaml/apron/boxMPQ.cma
/usr/lib/ocaml/apron/coeff.idl
/usr/lib/ocaml/apron/dim.idl
/usr/lib/ocaml/apron/dllap_ppl_caml.so
/usr/lib/ocaml/apron/dllapron_caml.so
/usr/lib/ocaml/apron/dllboxD_caml.so
/usr/lib/ocaml/apron/dllboxMPFR_caml.so
/usr/lib/ocaml/apron/dllboxMPQ_caml.so
/usr/lib/ocaml/apron/dlloctD_caml.so
/usr/lib/ocaml/apron/dlloctMPQ_caml.so
/usr/lib/ocaml/apron/dllpolkaGrid_caml.so
/usr/lib/ocaml/apron/dllpolkaMPQ_caml.so
/usr/lib/ocaml/apron/dllpolkaRll_caml.so
/usr/lib/ocaml/apron/environment.idl
/usr/lib/ocaml/apron/generator0.idl
/usr/lib/ocaml/apron/generator1.idl
/usr/lib/ocaml/apron/interval.idl
/usr/lib/ocaml/apron/libap_ppl_caml.so
/usr/lib/ocaml/apron/libapron_caml.so
/usr/lib/ocaml/apron/libboxD_caml.so
/usr/lib/ocaml/apron/libboxMPFR_caml.so
/usr/lib/ocaml/apron/libboxMPQ_caml.so
/usr/lib/ocaml/apron/liboctD_caml.so
/usr/lib/ocaml/apron/liboctMPQ_caml.so
/usr/lib/ocaml/apron/libpolkaGrid_caml.so
/usr/lib/ocaml/apron/libpolkaMPQ_caml.so
/usr/lib/ocaml/apron/libpolkaRll_caml.so
/usr/lib/ocaml/apron/lincons0.idl
/usr/lib/ocaml/apron/lincons1.idl
/usr/lib/ocaml/apron/linexpr0.idl
/usr/lib/ocaml/apron/linexpr1.idl
/usr/lib/ocaml/apron/manager.idl
/usr/lib/ocaml/apron/oct.cma
/usr/lib/ocaml/apron/oct.cmi
/usr/lib/ocaml/apron/oct.idl
/usr/lib/ocaml/apron/octD.cma
/usr/lib/ocaml/apron/octMPQ.cma
/usr/lib/ocaml/apron/polka.cma
/usr/lib/ocaml/apron/polka.cmi
/usr/lib/ocaml/apron/polka.idl
/usr/lib/ocaml/apron/polkaGrid.cma
/usr/lib/ocaml/apron/polkaGrid.cmi
/usr/lib/ocaml/apron/polkaMPQ.cma
/usr/lib/ocaml/apron/polkaRll.cma
/usr/lib/ocaml/apron/ppl.cma
/usr/lib/ocaml/apron/ppl.cmi
/usr/lib/ocaml/apron/ppl.idl
/usr/lib/ocaml/apron/scalar.idl
/usr/lib/ocaml/apron/tcons0.idl
/usr/lib/ocaml/apron/tcons1.idl
/usr/lib/ocaml/apron/texpr0.idl
/usr/lib/ocaml/apron/texpr1.idl
/usr/lib/ocaml/apron/var.idl
/usr/share/doc/ocaml-apron-0.9.10
/usr/share/doc/ocaml-apron-0.9.10/mlapronidl.pdf

Generated by rpm2html 1.11.3

Peter Hanecak, Thu May 31 08:46:31 2012