blob: 323131be1e8f2a64475e1903cd1fda0b91c28b36 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# Generated by mksrcinfo v8
# Thu Oct 19 15:27:25 UTC 2017
pkgbase = mathcomp-git
pkgdesc = The Mathematical Components Library for the Coq system.
pkgver = 20170913
pkgrel = 1
url = https://math-comp.github.io/math-comp/
arch = i686
arch = x86_64
license = GPL
makedepends = camlp5>=7.02
makedepends = ocaml-findlib
depends = coq>=8.5
provides = mathcomp
conflicts = mathcomp
source = mathcomp-git::git://github.com/math-comp/math-comp.git
md5sums = SKIP
pkgname = mathcomp-git
|