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