Fedora 41 Update: ocaml-zarith-1.14-3.fc41

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2025-3b699f421b
2025-02-07 02:06:08.585099+00:00
--------------------------------------------------------------------------------

Name        : ocaml-zarith
Product     : Fedora 41
Version     : 1.14
Release     : 3.fc41
URL         : https://github.com/ocaml/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:

See https://ocaml.org/releases/5.2.1 for changes in ocaml 5.2.1.  All other
packages were rebuilt for OCaml 5.2.1.  VCS fields were added for packages
lacking them.  Other changes are as follows:
alt-ergo: Correct the License fields from Apache-2.0 to CECILL-C
apron: Add an upstream patch to fix segfaults in OCaml GC
coccinelle: Build in verbose mode
haxe: Add patch to fix missing labels errors and warnings
hevea: Install into %_texmf_main instead of %_texmf
ocaml-cairo: Update to version 0.6.5; see https://github.com/Chris00/ocaml-
cairo/blob/master/CHANGES.md
ocaml-calendar: Add a patch for a time zone-specific test failure
ocaml-camlidl: Add an upstream patch to fix segfaults in OCaml GC
ocaml-camlp5-buildscripts: Update to version 0.04; see
https://github.com/camlp5/camlp5-buildscripts/blob/master/CHANGES
ocaml-camomile: Correct the Licene field from Unicode-TOU to Unicode-3.0
ocaml-cppo: Update to version 1.8.0; see https://github.com/ocaml-
community/cppo/blob/master/Changes.md
ocaml-cryptokit: Use zlib-ng instead of zlib
ocaml-csexp: Bump dune lang from 3.15 to 3.17
ocaml-ctypes: Add patch to fix FTBFS in a test
ocaml-dune: Update to version 3.17.2; see
https://github.com/ocaml/dune/blob/main/CHANGES.md.  Also update the License
field for changes in vendored dependencies and drop the upstreamed furo patch.
ocaml-extlib: Update to version 1.8.0; see https://github.com/ygrek/ocaml-
extlib/blob/master/CHANGES
ocaml-fileutiles: Update to version 0.6.6
ocaml-findlib: Update to version 1.9.8; see
https://github.com/ocaml/ocamlfind/blob/master/doc/README.xml.  Also change
config name to findlib.conf to match upstream.
ocaml-gsl: Update to version 1.25.1; see https://github.com/mmottl/gsl-
ocaml/blob/master/CHANGES.md.  Also, drop upstreamed patch to link with
flexiblas after gsl.
ocaml-lacaml: Update to version 11.1.1; see
https://github.com/mmottl/lacaml/blob/master/CHANGES.md
ocaml-lwt: Update to version 5.9.0; see
https://github.com/ocsigen/lwt/blob/master/CHANGES
ocaml-mdx: Update to version 2.5.0; see
https://github.com/realworldocaml/mdx/blob/main/CHANGES.md
ocaml-merlin: Update to version 5.3-502; see
https://github.com/ocaml/merlin/releases/tag/v5.3-502
ocaml-odoc: Update to version 2.4.4; see
https://github.com/ocaml/odoc/blob/master/CHANGES.md
ocaml-pcre: Update to version 8.0.2; see https://github.com/mmottl/pcre-
ocaml/blob/master/CHANGES.md
ocaml-pcre2: Update to version 8.0.2;
https://github.com/mmottl/pcre2-ocaml/blob/main/CHANGES.md
ocaml-postgresql: Update to version 5.1.3; drop all patches
ocaml-pp: Update to version 2.0.0; see https://github.com/ocaml-
dune/pp/blob/master/CHANGES.md
ocaml-ppx-deriving-yojson: Update to version 3.9.1; see
https://github.com/ocaml-ppx/ppx_deriving_yojson/blob/master/CHANGELOG.md
ocaml-qcheck: Update to version 0.23; see
https://github.com/c-cube/qcheck/blob/main/CHANGELOG.md
ocaml-re: Update to version 1.13.3; see https://github.com/ocaml/ocaml-
re/blob/master/CHANGES.md
ocaml-res: Update to version 5.0.2; see
https://github.com/mmottl/res/releases/tag/5.0.2
ocaml-sedlex: Update to version 3.3; see https://github.com/ocaml-
community/sedlex/blob/master/CHANGES.md
ocaml-spdx-licenses: Update to version 1.3.0; see https://github.com/kit-ty-
kate/spdx_licenses/blob/main/CHANGES.md
ocaml-sqlite: Update to version 5.2.0; see
https://github.com/mmottl/sqlite3-ocaml/releases/tag/5.2.0
ocaml-version: Update to version 3.7.3; see https://github.com/ocurrent/ocaml-
version/blob/master/CHANGES.md
ocaml-zip: Update to version 1.13; see
https://github.com/xavierleroy/camlzip/blob/master/Changes.  Also, use zlib-ng
instead of zlib.
opam: Update to version 2.3.0; see
https://github.com/ocaml/opam/blob/master/CHANGES
z3: Update to version 4.13.4; see
https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md
--------------------------------------------------------------------------------
ChangeLog:

* Wed Jan 29 2025 Jerry James <loganjerry@xxxxxxxxx> - 1.14-3
- OCaml 5.2.1 rebuild for Fedora 41
--------------------------------------------------------------------------------

This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2025-3b699f421b' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label

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
--------------------------------------------------------------------------------

-- 
_______________________________________________
package-announce mailing list -- package-announce@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to package-announce-leave@xxxxxxxxxxxxxxxxxxxxxxx
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/package-announce@xxxxxxxxxxxxxxxxxxxxxxx
Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue




[Index of Archives]     [Fedora Users]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Big List of Linux Books]     [Yosemite News]     [Yosemite Photos]     [KDE Users]

  Powered by Linux