| Version | EAPI | Keywords | Slot |
|---|---|---|---|
| 20220121 | 7 | ~amd64 ~x86 | 0/20220121 |
# 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
| Type | File | Size | Source URLs |
|---|---|---|---|
| DIST | fix-20220121.tar.bz2 | 342191 bytes | https://gitlab.inria.fr/fpottier/fix/-/archive/20220121/fix-20220121.tar.bz2 |