blob: 4a6a5db80741f536d484be6179090c282c6deecd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pkgbase = tutch-git
pkgdesc = tutch is a tool for checking constructive proofs
pkgver = r3.b199eff
pkgrel = 1
url = http://www2.tcs.ifi.lmu.de/~abel/tutch/
arch = x86_64
arch = i686
license = unknown
makedepends = mlton-git
depends = gmp
provides = tutch
conflicts = tutch
source = tutch::git+https://github.com/rmanne/tutch.git
md5sums = SKIP
pkgname = tutch-git
|