From 172758894cd538ef4bf0d17c29e0655b18b6f9e4 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Tue, 17 Jun 2025 18:24:19 +0200
Subject: [PATCH] New package: rocq-stdlib-9.0.0

---
 srcpkgs/rocq-stdlib/template | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 srcpkgs/rocq-stdlib/template

diff --git a/srcpkgs/rocq-stdlib/template b/srcpkgs/rocq-stdlib/template
new file mode 100644
index 00000000000..bce71d3a0da
--- /dev/null
+++ b/srcpkgs/rocq-stdlib/template
@@ -0,0 +1,14 @@
+# Template file for 'rocq-stdlib'
+pkgname=rocq-stdlib
+version=9.0.0
+revision=1
+build_style=gnu-makefile
+hostmakedepends="ocaml ocaml-zarith rocq"
+depends="rocq"
+short_desc="Standard library for the Rocq Prover"
+maintainer="Leah Neukirchen <leah@vuxu.org>"
+license="GPL-3.0-or-later"
+homepage="https://github.com/rocq-prover/stdlib"
+distfiles="https://github.com/rocq-prover/stdlib/releases/download/V${version}/stdlib-${version}.tar.gz"
+checksum=1ab6adc42dfc651ddc909604bae1a54ff5623cda837f93677a8b12aab9eec711
+nocross="ocaml"