From 6b764733d7f6f645c5a85f2251bcc375d2177005 Mon Sep 17 00:00:00 2001
From: Thomas Bracht Laumann Jespersen <t@laumann.xyz>
Date: Thu, 9 Oct 2025 13:17:42 +0000
Subject: [PATCH] dev-ml/digestif: new package, add 1.3.0

Signed-off-by: Thomas Bracht Laumann Jespersen <t@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(+)
 create mode 100644 dev-ml/digestif/Manifest
 create mode 100644 dev-ml/digestif/digestif-1.3.0.ebuild
 create mode 100644 dev-ml/digestif/metadata.xml

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>t@laumann.xyz</email>
+    <name>Thomas Bracht Laumann Jespersen</name>
+  </maintainer>
+	<upstream>
+		<remote-id type="github">mirage/digestif</remote-id>
+	</upstream>
+</pkgmetadata>