diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..56ca2ba2d519 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,37 @@ +# Generated by mksrcinfo v8 +pkgbase = mozart2-git + pkgdesc = The Mozart Programming System version 2 + pkgver = v2.0.0.alpha.0.4141.ga2413d4 + pkgrel = 1 + url = https://github.com/mozart/mozart2 + install = mozart2-git.install + arch = i686 + arch = x86_64 + license = BSD + makedepends = java-runtime-headless + makedepends = emacs + makedepends = gcc + makedepends = boost + makedepends = cmake + makedepends = gtest + makedepends = sbt-extras-git + makedepends = clang + makedepends = llvm + depends = boost-libs + depends = tk>=8.6.0 + depends = tk<8.7.0 + depends = gmp + depends = hicolor-icon-theme + depends = xdg-utils + optdepends = emacs: Interactive programming interface (recommended) + provides = mozart + conflicts = mozart + conflicts = mozart-git + conflicts = mozart2 + source = git+http://github.com/mozart/mozart2.git + source = git+http://github.com/mozart/mozart2-stdlib.git + sha256sums = SKIP + sha256sums = SKIP + +pkgname = mozart2-git + |