mathcomp: rebuild for coq-8.10.1.
This commit is contained in:
parent
2cf7d85d42
commit
be75fa5cd7
1 changed files with 1 additions and 1 deletions
|
@ -1,7 +1,7 @@
|
|||
# Template file for 'mathcomp'
|
||||
pkgname=mathcomp
|
||||
version=1.9.0
|
||||
revision=4
|
||||
revision=5
|
||||
wrksrc="math-comp-mathcomp-${version}"
|
||||
build_wrksrc="mathcomp"
|
||||
build_style=gnu-makefile
|
||||
|
|
Loading…
Reference in a new issue