commit: 6b764733d7f6f645c5a85f2251bcc375d2177005 Author: Thomas Bracht Laumann Jespersen <t <AT> laumann <DOT> xyz> AuthorDate: Thu Oct 9 13:17:42 2025 +0000 Commit: Haelwenn Monnier <contact <AT> hacktivis <DOT> me> CommitDate: Fri Oct 10 14:02:02 2025 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=6b764733
dev-ml/digestif: new package, add 1.3.0 Signed-off-by: Thomas Bracht Laumann Jespersen <t <AT> laumann.xyz> dev-ml/digestif/Manifest | 1 + dev-ml/digestif/digestif-1.3.0.ebuild | 21 +++++++++++++++++++++ dev-ml/digestif/metadata.xml | 11 +++++++++++ 3 files changed, 33 insertions(+) diff --git a/dev-ml/digestif/Manifest b/dev-ml/digestif/Manifest new file mode 100644 index 0000000000..fa5fba0b68 --- /dev/null +++ b/dev-ml/digestif/Manifest @@ -0,0 +1 @@ +DIST digestif-1.3.0.gh.tar.gz 3731305 BLAKE2B 2559ff6883c5fa4b4d9d8d3cce7b6abce9fb2c125a4ceb5698ddc6b543865f0d3cd3f5252a0398818b44e1d1484fb4a714adc0d0a1506b9e930017e1d3ab7985 SHA512 16bbde4cb5db9f65642d51d44919d5d1414c70dc587f0521a36af35252b429429e72cbba0f5030db5770fee3926243f6980f9654f730c92317e76a317104dd01 diff --git a/dev-ml/digestif/digestif-1.3.0.ebuild b/dev-ml/digestif/digestif-1.3.0.ebuild new file mode 100644 index 0000000000..fe2d077c7e --- /dev/null +++ b/dev-ml/digestif/digestif-1.3.0.ebuild @@ -0,0 +1,21 @@ +# Copyright 2023-2025 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Hashes implementations (SHA*, RIPEMD160, BLAKE2* and MD5)" +HOMEPAGE="https://github.com/mirage/digestif" +SRC_URI="https://github.com/mirage/${PN}/archive/v${PV}.tar.gz -> ${P}.gh.tar.gz" + +LICENSE="MIT" +SLOT="0" +KEYWORDS="~amd64" +IUSE="+ocamlopt" + +RDEPEND=" + >=dev-lang/ocaml-4.8:=[ocamlopt?] + dev-ml/eqaf:=[ocamlopt?] +" +DEPEND="${RDEPEND}" diff --git a/dev-ml/digestif/metadata.xml b/dev-ml/digestif/metadata.xml new file mode 100644 index 0000000000..4ef3128c31 --- /dev/null +++ b/dev-ml/digestif/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="person"> + <email>[email protected]</email> + <name>Thomas Bracht Laumann Jespersen</name> + </maintainer> + <upstream> + <remote-id type="github">mirage/digestif</remote-id> + </upstream> +</pkgmetadata>
