.SRCINFO


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.12.0
	pkgrel = 1
	url = https://math-comp.github.io/math-comp/
	arch = i686
	arch = x86_64
	license = GPL
	depends = coq>=8.10
	conflicts = ssreflect
	source = mathcomp-1.12.0.tar.gz::https://github.com/math-comp/math-comp/tarball/mathcomp-1.12.0
	sha256sums = 2bb92d06235d6f91c8a7655602949aa6a0e70522b5759f87636e4bd26dc8c69d
	sha512sums = d8ab930587e0716b85d86fedd2e16fd29a74a5b6a7a0d4c70f27a3a94bf8fad016e0d6d962147db6a1c39cf5083219eab67759bba55047a07c250988a9d052a6

pkgname = mathcomp