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"