Gentoo Packages

Search

Install

Install this version:

emerge -a =dev-ml/fix-20220121

If this version is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask =dev-ml/fix-20220121

Or alternatively:

emerge --autounmask-write -a =dev-ml/fix-20220121

Package Information

Description:: Facilities for memoization and fixed points
Homepage:: https://gitlab.inria.fr/fpottier/fix
License:: LGPL-2

Ebuild Details

Version	EAPI	Keywords	Slot
20220121	7	~amd64 ~x86	0/20220121

View Raw Ebuild

# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=7

inherit dune

DESCRIPTION="Facilities for memoization and fixed points"
HOMEPAGE="https://gitlab.inria.fr/fpottier/fix"
SRC_URI="https://gitlab.inria.fr/fpottier/fix/-/archive/${PV}/${P}.tar.bz2"

LICENSE="LGPL-2"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE="+ocamlopt"
RESTRICT="test"  # regenerate & qcheck not yet packaged

USE Flags

Manage flags for this package: euse -i <flag> -p dev-ml/fix | euse -E <flag> -p dev-ml/fix | euse -D <flag> -p dev-ml/fix

Global/Standard Flags

ocamlopt

Inherited Eclasses

dune

Manifest for 20220121

Type	File	Size	Source URLs
DIST	fix-20220121.tar.bz2	342191 bytes	https://gitlab.inria.fr/fpottier/fix/-/archive/20220121/fix-20220121.tar.bz2

dev-ml/fix - 20220121 (gentoo)