snailed/void-packages
2
0
Fork 0
Code Issues 1 Pull requests 2 Activity Actions

mathcomp: update to 1.16.0.

Browse source
This commit is contained in:
Leah Neukirchen 2023-02-02 17:26:47 +01:00
parent 6b70bba61a
commit da47825707
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
srcpkgs/mathcomp/template
View file

@ -1,7 +1,7 @@
# Template file for 'mathcomp'
pkgname=mathcomp
version=1.15.0
revision=3
version=1.16.0
revision=1
build_wrksrc="mathcomp"
build_style=gnu-makefile
hostmakedepends="coq ocaml-findlib"
@ -10,7 +10,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
license="CECILL-B"
homepage="https://github.com/math-comp/math-comp"
distfiles="https://github.com/math-comp/math-comp/archive/${pkgname}-${version}.tar.gz"
checksum=33105615c937ae1661e12e9bc00e0dbad143c317a6ab78b1a15e1d28339d2d95
checksum=36fe4f5487f4685db9c6e6affa92abb47248440e6d4dfaaa01ab31df5fd4b513
nocross="ocaml"
do_install() {