Gentoo Packages

dev-ml/yuujinchou - 5.2.0 (zscheile)

Search

Package Information

Description:
Library for hierarchical names and lexical scoping
Homepage:
https://github.com/RedPRL/yuujinchou
License:
Apache-2.0

Ebuild Details

Version EAPI Keywords Slot
5.2.0 8 amd64 arm arm64 ~ppc ppc64 ~riscv x86 0/5.2.0
View Raw Ebuild 
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

inherit dune

DESCRIPTION="Library for hierarchical names and lexical scoping"
HOMEPAGE="https://github.com/RedPRL/yuujinchou"
SRC_URI="https://github.com/RedPRL/${PN}/archive/refs/tags/${PV}.tar.gz -> ${P}.tar.gz"

LICENSE="Apache-2.0"
SLOT="0/${PV}"
KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
IUSE="+ocamlopt test"

RDEPEND="
	>=dev-lang/ocaml-5.0:=
	>=dev-ml/algaeff-2.0:=
	>=dev-ml/bwd-2.2:=
"
DEPEND="${RDEPEND}
	test? (
		>=dev-ml/alcotest-1.5:*
		>=dev-ml/qcheck-0.18:*
	)
"

RESTRICT="!test? ( test )"

QA_FLAGS_IGNORED='.*'

USE Flags

ocamlopt
❓ Default: Enabled (+)
test

Dependencies

DEPEND

	>=dev-lang/ocaml-5.0:=
	>=dev-ml/algaeff-2.0:=
	>=dev-ml/bwd-2.2:=

	test? (
		>=dev-ml/alcotest-1.5:*
		>=dev-ml/qcheck-0.18:*
	)

RDEPEND

	>=dev-lang/ocaml-5.0:=
	>=dev-ml/algaeff-2.0:=
	>=dev-ml/bwd-2.2:=

Manifest for 5.2.0

Type File Size Source URLs
DIST yuujinchou-5.2.0.tar.gz 33991 bytes https://github.com/RedPRL/yuujinchou/archive/refs/tags/5.2.0.tar.gz