diff options
| author | William J. Bowman | 2017-08-02 14:22:16 -0400 |
|---|---|---|
| committer | William J. Bowman | 2017-08-02 14:22:16 -0400 |
| commit | 0ceb11719f82957e4e6605471fd543efd9a76606 (patch) | |
| tree | 0e25422c0c49c271fd47ea79e6475f63cb4fc5e4 | |
| parent | 3ac4746af8cc50a9a7fad9f7344d62f88f94b409 (diff) | |
| download | aur-0ceb11719f82957e4e6605471fd543efd9a76606.tar.gz | |
Updated to 1.6-2
Added git to makedepends
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3,13 +3,13 @@ pkgname=autosubst-devel _pkgname=autosubst pkgver=1.6 -pkgrel=1 +pkgrel=2 pkgdesc="Automation for de Bruijn syntax and substition in Coq." url="https://github.com/tebbi/autosubst" arch=('i686' 'x86_64') license=('GPL') depends=('coq') -makedepends=('camlp5-transitional>=6.12') +makedepends=('camlp5-transitional>=6.12' 'git') source=("autosubst::git+https://github.com/tebbi/${_pkgname}#branch=coq86-devel") sha256sums=('SKIP') sha512sums=('SKIP') |