mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-09-24 17:09:10 -07:00
dev-ml/int_repr: add to tree
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
1
dev-ml/int_repr/Manifest
Normal file
1
dev-ml/int_repr/Manifest
Normal file
@@ -0,0 +1 @@
|
||||
DIST int_repr-0.15.0.tar.gz 9105 BLAKE2B a2a8197cdba7c4805c9eb9402e1c853619fc142bd057c4b42a578bcfdc97b417751634a31bab1ccd5c2e75cfbef46d33b6daf76da5ed4e3c9ec26d5c81fd3b73 SHA512 96537591fc597264347f967757df979344224f84594949bca96b40298e4ae1d7b28b40f3705ad4f85e3801724c6388fc048271216703b81fda0e56a314f3e88f
|
||||
20
dev-ml/int_repr/int_repr-0.15.0.ebuild
Normal file
20
dev-ml/int_repr/int_repr-0.15.0.ebuild
Normal file
@@ -0,0 +1,20 @@
|
||||
# Copyright 2022 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=8
|
||||
|
||||
inherit dune
|
||||
|
||||
DESCRIPTION="Integers of various widths"
|
||||
HOMEPAGE="https://github.com/janestreet/int_repr"
|
||||
SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
|
||||
-> ${P}.tar.gz"
|
||||
|
||||
LICENSE="MIT"
|
||||
SLOT="0/$(ver_cut 1-2)"
|
||||
KEYWORDS="~amd64"
|
||||
IUSE="+ocamlopt"
|
||||
|
||||
DEPEND="dev-ml/ppx_jane:${SLOT}"
|
||||
RDEPEND="${DEPEND}"
|
||||
BDEPEND=""
|
||||
11
dev-ml/int_repr/metadata.xml
Normal file
11
dev-ml/int_repr/metadata.xml
Normal file
@@ -0,0 +1,11 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
|
||||
<pkgmetadata>
|
||||
<maintainer type="project">
|
||||
<email>ml@gentoo.org</email>
|
||||
<name>ML</name>
|
||||
</maintainer>
|
||||
<upstream>
|
||||
<remote-id type="github">janestreet/int_repr</remote-id>
|
||||
</upstream>
|
||||
</pkgmetadata>
|
||||
Reference in New Issue
Block a user