blob: fd9fb34e4f3c341841721fd0522223706754c576 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pkgbase = mathcomp
pkgdesc = A mathematical components library for Coq.
pkgver = 1.5
pkgrel = 1
url = http://ssr.msr-inria.inria.fr/
arch = i686
arch = x86_64
license = GPL
makedepends = camlp5-transitional>=6.12
depends = coq<8.5
depends = ssreflect=1.5
source = http://ssr.msr-inria.inria.fr/FTP/mathcomp-1.5.tar.gz
sha256sums = 55ad520996541dd2d76c2ed24d7b74b64091158d586fd43ccd74a110f9d62789
sha512sums = 2cd6b6e21a8edf1e6d15edff718bf1c1848e4f97c1b2c8eea075c9c1658d98732d18fc2dc04ba5ff40a5c21dc1a618d2d6d62fd10f29ffb94776641e3e98c089
pkgname = mathcomp
|