blob: 48e65a7c30a859f93319796ecafaa57c7563eb30 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
pkgbase = mathcomp
pkgdesc = The entire mathematical components library for Coq.
pkgver = 1.7.0
pkgrel = 1
url = https://math-comp.github.io/math-comp/
arch = i686
arch = x86_64
license = GPL
depends = coq>=8.6
depends = coq<=8.8
source = mathcomp-1.7.0.tar.gz::https://github.com/math-comp/math-comp/tarball/mathcomp-1.7.0
sha256sums = 2d30a244769f3c7d628bff2f9118df935cd99dad774842b0e9d35bafdb3e02ea
sha512sums = 332f79e97cc3a0fe72cff7e96080c34d5de11ff2c86bf1f4ed4953457cb3cd36795502e4fed24dec698492419076acd97571c154d946ba91b02ad27389423a61
pkgname = mathcomp
|