wallenstein/void-packages
1
0
Fork 0
mirror of https://github.com/void-linux/void-packages.git synced 2025-04-26 11:10:31 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

coq: update to 8.18.0.

Browse source
This commit is contained in:
Leah Neukirchen 2023-09-10 13:29:35 +02:00
parent 8531e58c7c
commit d5a147da4b
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
srcpkgs/coq/template
View file

@ -1,6 +1,6 @@
# Template file for 'coq'
pkgname=coq
version=8.17.1
version=8.18.0
revision=1
hostmakedepends="camlp5 dune ocaml ocaml-findlib ocaml-num ocaml-zarith"
depends="ocaml-findlib"
@ -9,7 +9,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
license="LGPL-2.1-only"
homepage="https://coq.inria.fr"
distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz"
checksum=724667de65825359081b747d41fdbead0620d43b57aa8377a27acd4b072585e6
checksum=00a18c796a6e154a1f1bac7e1aef9e14107e0295fa4e0a18f10cdea6fc2e840b
nopie=yes
nocross=yes