# 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"
