dev-ml/fix - 20250428 (gentoo)

Search

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
20250428 8 ~amd64 ~x86 0/20250428
View Raw Ebuild
# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

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 not yet packaged

USE Flags

ocamlopt
Default: Enabled (+)

Manifest for 20250428

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