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

mathcomp: update to 1.13.0.

Browse source
This commit is contained in:
Leah Neukirchen 2021-10-28 18:40:35 +02:00
parent 3ebffb3516
commit 2f298b5300
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' # Template file for 'mathcomp'
pkgname=mathcomp pkgname=mathcomp
version=1.12.0 version=1.13.0
revision=6 revision=1
wrksrc="math-comp-mathcomp-${version}" wrksrc="math-comp-mathcomp-${version}"
build_wrksrc="mathcomp" build_wrksrc="mathcomp"
build_style=gnu-makefile build_style=gnu-makefile
@ -11,7 +11,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
license="CECILL-B" license="CECILL-B"
homepage="https://github.com/math-comp/math-comp" homepage="https://github.com/math-comp/math-comp"
distfiles="https://github.com/math-comp/math-comp/archive/${pkgname}-${version}.tar.gz" distfiles="https://github.com/math-comp/math-comp/archive/${pkgname}-${version}.tar.gz"
checksum=a57b79a280e7e8527bf0d8710c1f65cde00032746b52b87be1ab12e6213c9783 checksum=4334e915736f96032e1d4d502e70537047220af1a1c7a6740f770e45601bdab0
do_install() { do_install() {
make install DESTDIR="${DESTDIR}" 'COQLIB:=$(shell coqtop -where)/' make install DESTDIR="${DESTDIR}" 'COQLIB:=$(shell coqtop -where)/'