blob: ba0c91a1ce132c57309dfa6293d1216d534d043a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
pkgbase = drake-git
pkgdesc = runtime library replacement for gnat
pkgver = r1684.ge8764516
pkgrel = 3
url = https://github.com/ytomino/drake
arch = i686
arch = x86_64
license = MIT
makedepends = git
makedepends = gcc-ada
makedepends = headmaster
provides = drake
conflicts = drake
options = !makeflags
options = staticlibs
source = git+https://github.com/ytomino/drake
sha256sums = SKIP
pkgname = drake-git
|