Ubuntu
ocamlcreal package

ocamlcreal 0.7-8 source package in Ubuntu

Changelog

ocamlcreal (0.7-8) unstable; urgency=medium

  [ Stéphane Glondu ]
  * Team upload
  * Fix compilation with OCaml 5.2.0 (Closes: #1073890)

  [ Debian Janitor ]
  * Remove constraints unnecessary since buster (oldstable):
    + Build-Depends: Drop versioned constraint on libgmp-ocaml-dev (>=
      20021123-16~).

 -- Stéphane Glondu <email address hidden>  Fri, 09 Aug 2024 08:54:47 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
devel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular proposed universe devel

Downloads

File Size SHA-256 Checksum
ocamlcreal_0.7-8.dsc 1.7 KiB 114d1804fca3a28a41420b512adb263054f632f0aadf7ce801b5a8f9f727b3c0
ocamlcreal_0.7.orig.tar.gz 57.8 KiB 40714e2073edea8f03375134ea9b62c4a3282d9a705a7cddf57188cd04c2685d
ocamlcreal_0.7-8.debian.tar.xz 5.1 KiB 33668878ad03d6b2376bc1803cbaf372a1c0c2ef5af197a4f9a4549644d413c8

Available diffs

No changes file available.

Binary packages built by this source

libcreal-ocaml-dev: O'Caml library that implements exact real arithmetic

 This module implements exact real arithmetic, following Valerie
 Menissier-Morain Ph.D. thesis (http://www-calfor.lip6.fr/~vmm/).
 .
 A real x is represented as a function giving, for any n, an
 approximation zn/4^n of x such that |zn/4^n - x| < 1, where zn is an
 arbitrary precision integer (of type Gmp.Z.t).
 .
 Coercions from type int, Gmp.Z.t, Gmp.Q.t, basic operations (addition,
 subtraction, multiplication, division, power, square root) and
 transcendental functions (sin, cos, tan, log, exp, arcsin, arccos,
 etc.) and a few constants (pi, e) are provided.
 .
 A small reverse-polish calculator is provided to test the library.