diff options
| author | Leo <thinkabit.ukim@gmail.com> | 2020-04-07 13:17:26 -0300 |
|---|---|---|
| committer | Leo <thinkabit.ukim@gmail.com> | 2020-04-09 15:38:03 +0000 |
| commit | d95e2bc8267a24b585856b23e7819fc365dda981 (patch) | |
| tree | 0a213236501459fd769ff6b7ef92d69801743ddb /testing/idris | |
| parent | 61de204159af1b0727f2330cb0c6e6749913660b (diff) | |
| download | alpine_aports-d95e2bc8267a24b585856b23e7819fc365dda981.tar.bz2 alpine_aports-d95e2bc8267a24b585856b23e7819fc365dda981.tar.xz alpine_aports-d95e2bc8267a24b585856b23e7819fc365dda981.zip | |
{main,community,testing}/*: rebuild against libffi.so.7
Diffstat (limited to 'testing/idris')
| -rw-r--r-- | testing/idris/APKBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testing/idris/APKBUILD b/testing/idris/APKBUILD index ed2fffb40a..b8a6cc63ea 100644 --- a/testing/idris/APKBUILD +++ b/testing/idris/APKBUILD | |||
| @@ -3,7 +3,7 @@ | |||
| 3 | # Maintainer: Mitch Tishmack <mitch.tishmack@gmail.com> | 3 | # Maintainer: Mitch Tishmack <mitch.tishmack@gmail.com> |
| 4 | pkgname=idris | 4 | pkgname=idris |
| 5 | pkgver=1.3.0 | 5 | pkgver=1.3.0 |
| 6 | pkgrel=1 | 6 | pkgrel=2 |
| 7 | pkgdesc="A Language with Dependent Types" | 7 | pkgdesc="A Language with Dependent Types" |
| 8 | url="https://www.idris-lang.org/" | 8 | url="https://www.idris-lang.org/" |
| 9 | # Note: same as ghc, if it gets ported elsewhere this should run too. | 9 | # Note: same as ghc, if it gets ported elsewhere this should run too. |