Fedora 20 Update: ocaml-zarith-1.2.1-5.fc20

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4336
2014-03-26 04:32:46
--------------------------------------------------------------------------------

Name        : ocaml-zarith
Product     : Fedora 20
Version     : 1.2.1
Release     : 5.fc20
URL         : http://forge.ocamlcore.org/projects/zarith
Summary     : OCaml interface to GMP
Description :
This library implements arithmetic and logical operations over
arbitrary-precision integers.

The module is simply named "Z".  Its interface is similar to that of the
Int32, Int64 and Nativeint modules from the OCaml standard library, with
some additional functions.  See the file z.mlip for documentation.

The implementation uses GMP (the GNU Multiple Precision arithmetic
library) to compute over big integers.  However, small integers are
represented as unboxed Caml integers, to save space and improve
performance.  Big integers are allocated in the Caml heap, bypassing
GMP's memory management and achieving better GC behavior than e.g. the
MLGMP library.  Computations on small integers use a special, faster
path (coded in assembly for some platforms and functions) eschewing
calls to GMP, while computations on large integers use the low-level
MPN functions from GMP.

Arbitrary-precision integers can be compared correctly using OCaml's
polymorphic comparison operators (=, <, >, etc.).

Additional features include:
- a module Q for rationals, built on top of Z (see q.mli)
- a compatibility layer Big_int_Z that implements the same API as Big_int,
  but uses Z internally

--------------------------------------------------------------------------------
Update Information:

Changes in ocaml-zarith:
- Enable debuginfo
- Fix bytecode build
- Build and install ocamldoc documentation
- Fixes to the -devel subpackage

Changes in flocq 2.2.2:
- https://gforge.inria.fr/frs/shownotes.php?release_id=8454

Changes in ocamlgraph 1.8.4 + dev:
- http://ocamlgraph.lri.fr/download/CHANGES

gappalib-coq was merely rebuilt due to changed dependencies.

Changes in alt-ergo 0.95.2:
- Alt-Ergo is now maintained and distributed by OCamlPro, while academic research is conducted in partnership with the VALS/Toccata team (LRI).
- source code is reorganized into sub-directories
- quantifiers instantiation heuristics are simplified
- bug-fixes in matching, nums, records, sums
- improvement of the GUI when opening big files.

Changes in why3:
- Version 0.82: http://lists.gforge.inria.fr/pipermail/why3-club/2013-December/000866.html
- Version 0.83: http://lists.gforge.inria.fr/pipermail/why3-club/2014-March/001007.html

Changes in Frama-C Neon:
- http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2014-March/004362.html

Changes in why 2.34:
- http://why.lri.fr/download/CHANGES
--------------------------------------------------------------------------------
ChangeLog:

* Mon Mar 24 2014 Jerry James <loganjerry at gmail.com> - 1.2.1-5
- Fix bytecode build
- Build and install ocamldoc documentation
- BR ocaml-findlib instead of ocaml-findlib-devel
- The -devel subpackage needs gmp-devel for _libdir/libgmp.so
- Move zarith.h to the -devel subpackage
* Thu Sep 19 2013 Richard W.M. Jones <rjones at redhat.com> - 1.2.1-4
- Typo in changelog which confused my autorebuild scripts.
* Mon Sep 16 2013 Jerry James <loganjerry at gmail.com> - 1.2.1-3
- Rebuild for OCaml 4.01.0.
- Enable debuginfo
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use
su -c 'yum update ocaml-zarith' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------