| Name : ocaml-apron
| |
| Version : 0.9.11
| Vendor : obs://build_opensuse_org/home:lorenz
|
| Release : 15.1
| Date : 2018-05-21 00:00:48
|
| Group : Unspecified
| Source RPM : apron-0.9.11-15.1.src.rpm
|
| Size : 2.01 MB
| |
| Packager : (none)
| |
| Summary : Ocaml interface to APRON
|
Description :
Ocaml interface to the APRON library.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/lorenz:/formal/openSUSE_Leap_42.3/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
apron.cmxs()(64bit)
apron.d.cmxs()(64bit)
boxD.cmxs()(64bit)
boxMPFR.cmxs()(64bit)
boxMPQ.cmxs()(64bit)
dllap_ppl_caml.so()(64bit)
dllapron_caml.so()(64bit)
dllboxD_caml.so()(64bit)
dllboxMPFR_caml.so()(64bit)
dllboxMPQ_caml.so()(64bit)
dlloctD_caml.so()(64bit)
dlloctMPQ_caml.so()(64bit)
dllpolkaGrid_caml.so()(64bit)
dllpolkaMPQ_caml.so()(64bit)
dllpolkaRll_caml.so()(64bit)
dllt1pD_caml.so()(64bit)
dllt1pMPFR_caml.so()(64bit)
dllt1pMPQ_caml.so()(64bit)
ocaml(Apron)
ocaml(Box)
ocaml(Oct)
ocaml(Polka)
ocaml(PolkaGrid)
ocaml(Ppl)
ocaml(T1p)
ocaml-apron
ocaml-apron(x86-64)
ocamlfind(apron)
ocamlfind(apron.apron)
ocamlfind(apron.boxD)
ocamlfind(apron.boxMPFR)
ocamlfind(apron.boxMPQ)
ocamlfind(apron.octD)
ocamlfind(apron.octMPQ)
ocamlfind(apron.polkaGrid)
ocamlfind(apron.polkaMPQ)
ocamlfind(apron.polkaRll)
ocamlfind(apron.ppl)
ocamlfind(apron.t1pD)
ocamlfind(apron.t1pMPFR)
ocamlfind(apron.t1pMPQ)
octD.cmxs()(64bit)
octMPQ.cmxs()(64bit)
polkaGrid.cmxs()(64bit)
polkaMPQ.cmxs()(64bit)
polkaMPQ.d.cmxs()(64bit)
polkaRll.cmxs()(64bit)
polkaRll.d.cmxs()(64bit)
ppl.cmxs()(64bit)
t1pD.cmxs()(64bit)
t1pMPFR.cmxs()(64bit)
t1pMPQ.cmxs()(64bit)
Requires :
