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

mathcomp: rebuild for coq-8.18.0.

This commit is contained in:
Leah Neukirchen 2023-09-10 13:29:43 +02:00
parent d5a147da4b
commit 94353ae030
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
srcpkgs/mathcomp/template
View File

@ -1,7 +1,7 @@
# Template file for 'mathcomp' # Template file for 'mathcomp'
pkgname=mathcomp pkgname=mathcomp
version=1.17.0 version=1.17.0
revision=2 revision=3
build_wrksrc="mathcomp" build_wrksrc="mathcomp"
build_style=gnu-makefile build_style=gnu-makefile
hostmakedepends="coq ocaml-findlib" hostmakedepends="coq ocaml-findlib"