diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-10-26 00:32:44 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-10-26 00:40:46 +0200 |
| commit | d045e5a87d1ca4678b47faa459c2221c895ff499 (patch) | |
| tree | e1470de1f531d2b8fed55181e4314df1b1c6a32f | |
| parent | dev-lang/ats2: use 1 job for install (diff) | |
| download | gentoo-d045e5a87d1ca4678b47faa459c2221c895ff499.tar.gz gentoo-d045e5a87d1ca4678b47faa459c2221c895ff499.tar.bz2 gentoo-d045e5a87d1ca4678b47faa459c2221c895ff499.zip | |
dev-lang/ats2: tweak SRC_URI
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
| -rw-r--r-- | dev-lang/ats2/ats2-0.4.2-r1.ebuild | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dev-lang/ats2/ats2-0.4.2-r1.ebuild b/dev-lang/ats2/ats2-0.4.2-r1.ebuild index 617acc3b73f4..48cf6674525b 100644 --- a/dev-lang/ats2/ats2-0.4.2-r1.ebuild +++ b/dev-lang/ats2/ats2-0.4.2-r1.ebuild @@ -12,10 +12,10 @@ HOMEPAGE="https://www.cs.bu.edu/~hwxi/atslangweb/ SRC_URI=" http://downloads.sourceforge.net/sourceforge/ats2-lang/ATS2-Postiats-gmp-${PV}.tgz - https://sources.debian.org/data/main/a/ats2-lang/0.4.2-2/debian/patches/deprecated-cl-package - -> ${PN}-0.4.2-2-deprecated-cl-package.patch - https://sources.debian.org/data/main/a/ats2-lang/0.4.2-2/debian/patches/prelude-function-prototypes - -> ${PN}-0.4.2-2-prelude-function-prototypes.patch + https://sources.debian.org/data/main/a/ats2-lang/${PV}-2/debian/patches/deprecated-cl-package + -> ${PN}-${PV}-2-deprecated-cl-package.patch + https://sources.debian.org/data/main/a/ats2-lang/${PV}-2/debian/patches/prelude-function-prototypes + -> ${PN}-${PV}-2-prelude-function-prototypes.patch " S="${WORKDIR}/ATS2-Postiats-gmp-${PV}" |