diff options
author | Baptiste Jonglez | 2016-11-28 23:18:45 +0100 |
---|---|---|
committer | Baptiste Jonglez | 2016-11-28 23:18:45 +0100 |
commit | 7f1c3e228b08e44ce45e831463c068d2a71df598 (patch) | |
tree | 9c9cd0459ce1c831b5d097075819cc5cf3a0147d /PKGBUILD | |
parent | 4893b42a7c4706b4ed913050f081c0ceeee28373 (diff) | |
download | aur-7f1c3e228b08e44ce45e831463c068d2a71df598.tar.gz |
coq-doc: Use the package version in the tarball name to avoid collisions
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -7,8 +7,8 @@ arch=('any') url='http://coq.inria.fr/' license=('GPL') options=('!emptydirs') -source=("http://coq.inria.fr/distrib/V$pkgver/files/refman.tar.gz" - "http://coq.inria.fr/distrib/V$pkgver/files/stdlib.tar.gz") +source=("coq-refman-${pkgver}.tar.gz::http://coq.inria.fr/distrib/V$pkgver/files/refman.tar.gz" + "coq-stdlib-${pkgver}.tar.gz::http://coq.inria.fr/distrib/V$pkgver/files/stdlib.tar.gz") md5sums=('f926cf1938b1ab5eabba7a9640d08258' 'e9d908bd87c1a5c3bb8a8ae863fc94fe') |