wallenstein/void-packages
1
0
Fork 0
mirror of https://github.com/void-linux/void-packages.git synced 2025-07-30 17:33:03 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

New package: rocq-stdlib-9.0.0

Browse source
This commit is contained in:
Leah Neukirchen 2025-06-17 18:24:19 +02:00
parent 337aa9f30c
commit 172758894c
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
srcpkgs/rocq-stdlib/template Normal file
View file

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