mathcomp: rebuild for coq-8.15.0_1.
This commit is contained in:
parent
fa75c589d3
commit
96419d6752
|
@ -1,7 +1,7 @@
|
||||||
# Template file for 'mathcomp'
|
# Template file for 'mathcomp'
|
||||||
pkgname=mathcomp
|
pkgname=mathcomp
|
||||||
version=1.13.0
|
version=1.13.0
|
||||||
revision=1
|
revision=2
|
||||||
wrksrc="math-comp-mathcomp-${version}"
|
wrksrc="math-comp-mathcomp-${version}"
|
||||||
build_wrksrc="mathcomp"
|
build_wrksrc="mathcomp"
|
||||||
build_style=gnu-makefile
|
build_style=gnu-makefile
|
||||||
|
|
Loading…
Reference in a new issue