Termux
/
termux-packages
mirror of https://github.com/termux/termux-packages
1
0
Fork 0
Code Issues Releases Wiki Activity

polyml: bump to rebuild with ndk-r25

This commit is contained in:
Henrik Grimler 2022-08-14 10:14:53 +02:00
parent 4e67f063e1
commit 1056bd014c
No known key found for this signature in database
GPG Key ID: B0076E490B71616B
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
packages/polyml/build.sh
View File

@ -3,7 +3,7 @@ TERMUX_PKG_DESCRIPTION="A Standard ML implementation"
TERMUX_PKG_LICENSE="LGPL-2.1"
TERMUX_PKG_MAINTAINER="@termux"
TERMUX_PKG_VERSION=5.9
TERMUX_PKG_REVISION=2
TERMUX_PKG_REVISION=3
TERMUX_PKG_SRCURL=https://github.com/polyml/polyml/archive/refs/tags/v${TERMUX_PKG_VERSION}.tar.gz
TERMUX_PKG_SHA256=5aa452a49f2ac0278668772af4ea0b9bf30c93457e60ff7f264c5aec2023c83e
TERMUX_PKG_DEPENDS="libandroid-posix-semaphore, libc++, libffi, libgmp"