ocaml-xen - Ocaml libraries for Xen tools

Property Value
Distribution Mageia 7
Repository Mageia Core i586
Package filename ocaml-xen-4.12.0-2.mga7.i586.rpm
Package name ocaml-xen
Package version 4.12.0
Package release 2.mga7
Package architecture i586
Package type rpm
Category Development/Other
Homepage http://xen.org/
License GPLv2
Maintainer -
Download size 159.28 KB
Installed size 602.83 KB
This package contains libraries for ocaml tools to manage Xen
virtual machines.


Package Version Architecture Repository
ocaml-xen-4.12.0-2.mga7.x86_64.rpm 4.12.0 x86_64 Mageia Core
ocaml-xen - - -


Name Value
libc.so.6(GLIBC_2.8) -
ocaml(CamlinternalFormatBasics) = e065a8b8027a7269fbe69420861f3140
ocaml(Stdlib) = 785bc4357cd198defc8f1d3d8a46bf31
ocaml(Stdlib__array) = f10b61e53267652b8823075c289eff0e
ocaml(Stdlib__bigarray) = fc1aa91cdfe245e30930771ff67c0b05
ocaml(Stdlib__buffer) = 47741a304c36252fb0d02df4002cd45b
ocaml(Stdlib__bytes) = 32f2c8f51b984df9694b2a6922211e8c
ocaml(Stdlib__callback) = 88a8ecea5511db9eef1ab6e2b8b6c742
ocaml(Stdlib__complex) = e9bb8037318eb026e17c232baa69f0d6
ocaml(Stdlib__int32) = 9face80aef14e72b91da5c1a7ef42376
ocaml(Stdlib__int64) = 678dd94a831e040b9d89ed6046dca2a3
ocaml(Stdlib__list) = 6ac77ba2b0170f6297044c5028e5a32c
ocaml(Stdlib__nativeint) = 9ed286c714ad64f5aea2904e599e0416
ocaml(Stdlib__printexc) = 0af166e761b709f12783c17249015c2f
ocaml(Stdlib__printf) = 1e129649940609c444244e9f06f0be2e
ocaml(Stdlib__queue) = 5e6ae1f9aaef12b613b13c18e99086a9
ocaml(Stdlib__random) = 723e24b742987d757fa59507f4b45936
ocaml(Stdlib__seq) = 5714d5da4a2ed04debb615c21e61bad9
ocaml(Stdlib__set) = a52672326ca391bcc902a00841479c39
ocaml(Stdlib__string) = cf3a35a636b40f4dfa3c7f93ef2f2d33
ocaml(Stdlib__uchar) = 6d473d0370eac1a310ce126c25d7883a
ocaml(Unix) = df164073631805bfe89500851a57dedf
ocaml(runtime) = 4.07.1


Name Value
ocaml(Xenbus) = 6fccd1348eb561359e892f518c76b031
ocaml(Xenctrl) = 361353001339086d2d08403c114047ae
ocaml(Xeneventchn) = 79c5ea4523caf295f384bb435b2f3975
ocaml(Xenlight) = ee4c1921b1e3479320247bcbae93bcdf
ocaml(Xenmmap) = 509c547477adee5cefd0e51a94e11f5f
ocaml(Xenstore) = 19be69d42c98f71a0865b87f99a507d0
ocaml(Xentoollog) = 1f7ca3828f8036720a2e002b92974878
ocaml-xen = 4.12.0-2.mga7
ocaml-xen(x86-32) = 4.12.0-2.mga7


Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package ocaml-xen-4.12.0-2.mga7.i586.rpm
Source Package xen-4.12.0-2.mga7.src.rpm

Install Howto

  1. Enable the repository in Software Management
  2. Install ocaml-xen rpm package:
    # dnf install ocaml-xen




2019-05-15 - tv <tv> 4.12.0-2.mga7
+ Revision: 1397871
- Microarchitectural Data Sampling speculative side channel [XSA-297,
CVE-2018-12126, CVE-2018-12127, CVE-2018-12130, CVE-2019-11091]
- additional patches so above applies cleanly
2019-04-14 - tv <tv> 4.12.0-1.mga7
+ Revision: 1389949
- reeable i586 but disable cross compiling hypervisor for now
- fix filelist for aarch64
- temporary disable i586
- update to 4.12.0
- remove patches for issues now fixed upstream
- replace xen.use.fedora.ipxe.patch with --with-system-ipxe
- drop xen.glibcfix.patch xen.gcc8.temp.fix.patch which are no longer needed
- rediff patches
- xen.hypervisor.config refresh
- kdd is now xen-kdd, xenmon.py is now xenmon, fsimage.so is now xenfsimage.so
fs libdir is now xenfsimage libdir
- xen-ringwatch xen-bugtool have been dropped
- remove remaining traces of efiming and efi_flags logic
- switch from python2 to python3
2019-03-06 - tv <tv> 4.11.1-1.mga7
+ Revision: 1372036
- enable to disable building docs
- update to 4.11.1
- construct ovmf.bin from edk2-ovmf package (rhbz#1656651)
- xen: various flaws (rhbz#1685577)
grant table transfer issues on large hosts [XSA-284]
race with pass-through device hotplug [XSA-285]
x86: steal_page violates page_struct access discipline [XSA-287]
x86: Inconsistent PV IOMMU discipline [XSA-288]
missing preemption in x86 PV page table unvalidation [XSA-290]
x86/PV: page type reference counting issue with failed IOMMU update [XSA-291]
x86: insufficient TLB flushing when using PCID [XSA-292]
x86: PV kernel context switch corruption [XSA-293]
x86 shadow: Insufficient TLB flushing when using PCID [XSA-294]
remove patches for issues now fixed upstream
adjust xen.use.fedora.ipxe.patch
2018-11-22 - tv <tv> 4.11.0-9.mga7
+ Revision: 1333165
- insufficient TLB flushing / improper large page mappings with AMD IOMMUs
[XSA-275] (#1651665)
- x86: DoS from attempting to use INVPCID with a non-canonical addresses
[XSA-279] (#1651970)
- xen: various flaws (#1652251)
resource accounting issues in x86 IOREQ server handling [XSA-276]
x86: incorrect error handling for guest p2m page removals [XSA-277]
Fix for XSA-240 conflicts with shadow paging [XSA-280]
2018-11-07 - tv <tv> 4.11.0-8.mga7
+ Revision: 1328822
- guest use of HLE constructs may lock up host [XSA-282]
2018-11-03 - pterjan <pterjan> 4.11.0-7.mga7
+ Revision: 1327850
- Only require grub on architectures where it exists
- Kill old Requires on glibc-xen
2018-10-30 - tv <tv> 4.11.0-6.mga7
+ Revision: 1326740
- x86: Nested VT-x usable even when disabled [XSA-278, CVE-2018-18883] (rhbz#1643118)
2018-10-25 - wally <wally> 4.11.0-5.mga7
+ Revision: 1325485
- fix build on i586
- update file list for arm/aarch64
+ daviddavid <daviddavid>
- rebuild for new ocaml 4.07.1
+ tv <tv>
- set /usr/bin/python2 at the start of another python script
- reenable EFI images now that we've fixed binutils
- BR libfdt-devel on arm
2018-09-13 - tv <tv> 4.11.0-2.mga7
+ Revision: 1258876
- temporary unlist missing efi images
- set properly libexecdir on ix86
- sync patches with FC
- fix build on ix86
- 4.11.0
- replace use of deprecated brctl command (rhbz#1588712)
- Speculative register leakage from lazy FPU context switching
2018-05-31 - tv <tv> 4.10.1-2.mga7
+ Revision: 1233265
- fix build with glibc 2.27
- Speculative Store Bypass [XSA-263, CVE-2018-3639]
(with extra patches so it applies cleanly)

See Also

Package Description
ocaml-xen-devel-4.12.0-2.mga7.i586.rpm Ocaml development libraries for Xen tools
ocaml-xhtml-20050620-16.mga7.i586.rpm OCaml module for creating valid XHTML 1.1 documents
ocaml-xhtml-devel-20050620-16.mga7.i586.rpm Development files for ocaml-xhtml
ocaml-xml-light-2.4-11.mga7.i586.rpm Minimal XML parser & printer for OCaml
ocaml-xml-light-devel-2.4-11.mga7.i586.rpm Development files for ocaml-xml-light
ocaml-xmlm-1.3.0-3.mga7.i586.rpm Streaming XML input/output for OCaml
ocaml-xmlm-devel-1.3.0-3.mga7.i586.rpm Development files for ocaml-xmlm
ocaml-yojson-1.4.1-5.mga7.i586.rpm An optimized parsing and printing library for the JSON format
ocaml-yojson-devel-1.4.1-5.mga7.i586.rpm Development files for ocaml-yojson
ocaml-zarith-1.7-4.mga7.i586.rpm Arithmetic and logical operations over arbitrary-precision integers
ocaml-zarith-devel-1.7-4.mga7.i586.rpm Development files for ocaml-zarith
ocaml-zed-1.6-5.mga7.i586.rpm Abstract engine for text edition in OCaml (development tools)
ocaml-zed-devel-1.6-5.mga7.i586.rpm Development files for ocaml-zed
ocamldsort-0.16.0-10.mga7.i586.rpm A dependency sorter for OCaml source files
ocamlfuse-2.7.1-6.mga7.i586.rpm Ocaml FUSE binding