diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..2bf113bef087 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = ff-planner + pkgdesc = The ff planner implementation by J. Hoffmann. + pkgver = 2.3 + pkgrel = 1 + url = https://fai.cs.uni-saarland.de/hoffmann/ff.html + arch = x86_64 + license = GPL3 + makedepends = flex + makedepends = bison + source = https://fai.cs.uni-saarland.de/hoffmann/ff/FF-v2.3.tgz + md5sums = 709a3c5c4b327b44c7f182ceaaa9481d + +pkgname = ff-planner + |