math/ocaml-farith 0.1_1 FreeBSD

Floating point number library for OCaml

System: FreeBSD
Repository: FreeBSD ports
Maintainer: [email protected]
License: LGPL21
Categories: math
Package size: 707.1 KiB, 2949.5 KiB installed

Description

Floating point numbers library which originated from the "Flocq" library for the Coq theorem prover.

In the other systems

System	Port	Version
FreeBSD	math/ocaml-farith	0.1_1
DragonFly	math/ocaml-farith	0.1_1

System

Port

Version

FreeBSD

math/ocaml-farith

0.1_1

DragonFly

math/ocaml-farith

0.1_1

Install

Binary package:

pkg install ocaml-farith

From the ports tree:

cd /usr/ports/math/ocaml-farith/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	ocaml-farith>0:math/ocaml-farith

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repository	aarch64	amd64	armv6	armv7	i386
FreeBSD:14:latest	0.1_1	0.1_1	-	-	0.1_1
FreeBSD:14:quarterly	0.1_1	0.1_1	n/a	-	0.1_1
FreeBSD:15:latest	0.1_1	0.1_1	n/a	-	0.1_1
FreeBSD:15:quarterly	0.1_1	0.1_1	n/a	n/a	n/a
FreeBSD:16:latest	0.1_1	0.1_1	n/a	n/a	n/a
FreeBSD:16:quarterly	n/a	n/a	n/a	n/a	n/a

Repository

aarch64

amd64

armv6

armv7

i386

FreeBSD:14:latest

0.1_1

FreeBSD:14:quarterly

0.1_1

n/a

0.1_1

FreeBSD:15:latest

0.1_1

n/a

0.1_1

FreeBSD:15:quarterly

0.1_1

n/a

FreeBSD:16:latest

0.1_1

n/a

FreeBSD:16:quarterly

n/a

Dependencies

As this port's Makefile names them.

Build 4

${LOCALBASE}/${OCAML_SITELIBDIR}/base/META : devel/ocaml-base
${LOCALBASE}/${OCAML_SITELIBDIR}/ppx_deriving/META : devel/ocaml-ppx_deriving
${LOCALBASE}/${OCAML_SITELIBDIR}/ppx_hash/META : devel/ocaml-ppx_hash
${LOCALBASE}/${OCAML_SITELIBDIR}/zarith/META : math/ocaml-zarith

Runtime 5

${LOCALBASE}/${OCAML_SITELIBDIR}/base/META : devel/ocaml-base
${LOCALBASE}/${OCAML_SITELIBDIR}/ppx_deriving/META : devel/ocaml-ppx_deriving
${LOCALBASE}/${OCAML_SITELIBDIR}/ppx_hash/META : devel/ocaml-ppx_hash
${LOCALBASE}/${OCAML_SITELIBDIR}/sexplib0/META : devel/ocaml-sexplib0
${LOCALBASE}/${OCAML_SITELIBDIR}/zarith/META : math/ocaml-zarith

The full lists below include those, and their dependencies in turn.

Build dependencies 33

Run dependencies 32

Required by 2

Configuration

Options name: math_farith

Option	Default	Description
DOCS	off	Build and/or install documentation

Option

Default

Description

DOCS

off

Build and/or install documentation

USES: ocaml:dune
Service scripts: none

Files

pkg-plist 171

%%OCAML_SITELIBDIR%%/farith/Assert.ml
%%OCAML_SITELIBDIR%%/farith/Assert.mli
%%OCAML_SITELIBDIR%%/farith/BinInt.ml
%%OCAML_SITELIBDIR%%/farith/BinInt.mli
%%OCAML_SITELIBDIR%%/farith/BinNums.ml
%%OCAML_SITELIBDIR%%/farith/BinNums.mli
%%OCAML_SITELIBDIR%%/farith/BinPos.ml
%%OCAML_SITELIBDIR%%/farith/BinPos.mli
%%OCAML_SITELIBDIR%%/farith/BinPosDef.ml
%%OCAML_SITELIBDIR%%/farith/BinPosDef.mli
%%OCAML_SITELIBDIR%%/farith/Binary.ml
%%OCAML_SITELIBDIR%%/farith/Binary.mli
%%OCAML_SITELIBDIR%%/farith/BinarySingleNaN.ml
%%OCAML_SITELIBDIR%%/farith/BinarySingleNaN.mli
%%OCAML_SITELIBDIR%%/farith/Bits.ml
%%OCAML_SITELIBDIR%%/farith/Bits.mli
%%OCAML_SITELIBDIR%%/farith/Bool.ml
%%OCAML_SITELIBDIR%%/farith/Bool.mli
%%OCAML_SITELIBDIR%%/farith/Datatypes.ml
%%OCAML_SITELIBDIR%%/farith/Datatypes.mli
%%OCAML_SITELIBDIR%%/farith/Defs.ml
%%OCAML_SITELIBDIR%%/farith/Defs.mli
%%OCAML_SITELIBDIR%%/farith/FloatClass.ml
%%OCAML_SITELIBDIR%%/farith/FloatClass.mli
%%OCAML_SITELIBDIR%%/farith/GenericFloat.ml
%%OCAML_SITELIBDIR%%/farith/GenericFloat.mli
%%OCAML_SITELIBDIR%%/farith/Interval.ml
%%OCAML_SITELIBDIR%%/farith/Interval.mli
%%OCAML_SITELIBDIR%%/farith/META
%%OCAML_SITELIBDIR%%/farith/Op.ml
%%OCAML_SITELIBDIR%%/farith/Op.mli
%%OCAML_SITELIBDIR%%/farith/Operations.ml
%%OCAML_SITELIBDIR%%/farith/Operations.mli
%%OCAML_SITELIBDIR%%/farith/Qextended.ml
%%OCAML_SITELIBDIR%%/farith/Qextended.mli
%%OCAML_SITELIBDIR%%/farith/Round.ml
%%OCAML_SITELIBDIR%%/farith/Round.mli
%%OCAML_SITELIBDIR%%/farith/SpecFloat.ml
%%OCAML_SITELIBDIR%%/farith/SpecFloat.mli
%%OCAML_SITELIBDIR%%/farith/Specif.ml
%%OCAML_SITELIBDIR%%/farith/Specif.mli
%%OCAML_SITELIBDIR%%/farith/Utils.ml
%%OCAML_SITELIBDIR%%/farith/Utils.mli
%%OCAML_SITELIBDIR%%/farith/Version.ml
%%OCAML_SITELIBDIR%%/farith/Version.mli
%%OCAML_SITELIBDIR%%/farith/Zaux.ml
%%OCAML_SITELIBDIR%%/farith/Zaux.mli
%%OCAML_SITELIBDIR%%/farith/Zbool.ml
%%OCAML_SITELIBDIR%%/farith/Zbool.mli
%%OCAML_SITELIBDIR%%/farith/Zpower.ml
%%OCAML_SITELIBDIR%%/farith/Zpower.mli
%%OCAML_SITELIBDIR%%/farith/dune-package
%%OCAML_SITELIBDIR%%/farith/farith.a
%%OCAML_SITELIBDIR%%/farith/farith.cma
%%OCAML_SITELIBDIR%%/farith/farith.cmi
%%OCAML_SITELIBDIR%%/farith/farith.cmt
%%OCAML_SITELIBDIR%%/farith/farith.cmti
%%OCAML_SITELIBDIR%%/farith/farith.cmx
%%OCAML_SITELIBDIR%%/farith/farith.cmxa
%%OCAML_SITELIBDIR%%/farith/farith.cmxs
%%OCAML_SITELIBDIR%%/farith/farith.ml
%%OCAML_SITELIBDIR%%/farith/farith.mli
%%OCAML_SITELIBDIR%%/farith/farith_Big.ml
%%OCAML_SITELIBDIR%%/farith/farith__.cmi
%%OCAML_SITELIBDIR%%/farith/farith__.cmt
%%OCAML_SITELIBDIR%%/farith/farith__.cmx
%%OCAML_SITELIBDIR%%/farith/farith__.ml
%%OCAML_SITELIBDIR%%/farith/farith__Assert.cmi
%%OCAML_SITELIBDIR%%/farith/farith__Assert.cmt
%%OCAML_SITELIBDIR%%/farith/farith__Assert.cmti
%%OCAML_SITELIBDIR%%/farith/farith__Assert.cmx
%%OCAML_SITELIBDIR%%/farith/farith__BinInt.cmi
%%OCAML_SITELIBDIR%%/farith/farith__BinInt.cmt
%%OCAML_SITELIBDIR%%/farith/farith__BinInt.cmti
%%OCAML_SITELIBDIR%%/farith/farith__BinInt.cmx
%%OCAML_SITELIBDIR%%/farith/farith__BinNums.cmi
%%OCAML_SITELIBDIR%%/farith/farith__BinNums.cmt
%%OCAML_SITELIBDIR%%/farith/farith__BinNums.cmti
%%OCAML_SITELIBDIR%%/farith/farith__BinNums.cmx
%%OCAML_SITELIBDIR%%/farith/farith__BinPos.cmi
%%OCAML_SITELIBDIR%%/farith/farith__BinPos.cmt
%%OCAML_SITELIBDIR%%/farith/farith__BinPos.cmti
%%OCAML_SITELIBDIR%%/farith/farith__BinPos.cmx
%%OCAML_SITELIBDIR%%/farith/farith__BinPosDef.cmi
%%OCAML_SITELIBDIR%%/farith/farith__BinPosDef.cmt
%%OCAML_SITELIBDIR%%/farith/farith__BinPosDef.cmti
%%OCAML_SITELIBDIR%%/farith/farith__BinPosDef.cmx
%%OCAML_SITELIBDIR%%/farith/farith__Binary.cmi
%%OCAML_SITELIBDIR%%/farith/farith__Binary.cmt
%%OCAML_SITELIBDIR%%/farith/farith__Binary.cmti
%%OCAML_SITELIBDIR%%/farith/farith__Binary.cmx
%%OCAML_SITELIBDIR%%/farith/farith__BinarySingleNaN.cmi
%%OCAML_SITELIBDIR%%/farith/farith__BinarySingleNaN.cmt
%%OCAML_SITELIBDIR%%/farith/farith__BinarySingleNaN.cmti
%%OCAML_SITELIBDIR%%/farith/farith__BinarySingleNaN.cmx
%%OCAML_SITELIBDIR%%/farith/farith__Bits.cmi
%%OCAML_SITELIBDIR%%/farith/farith__Bits.cmt
%%OCAML_SITELIBDIR%%/farith/farith__Bits.cmti
%%OCAML_SITELIBDIR%%/farith/farith__Bits.cmx
%%OCAML_SITELIBDIR%%/farith/farith__Bool.cmi

The first 100 are listed.

distinfo 1

File	Size	SHA256
farith-0.1.tar.bz2	53514	c2d2a99777ef2c8652fa5328feb80359d233dc88ff5a895248083412a558657f

File

Size

SHA256

farith-0.1.tar.bz2

53514

c2d2a99777ef2c8652fa5328feb80359d233dc88ff5a895248083412a558657f

Commit history 0

No commits in the history this site was built from.