mirror of
https://github.com/void-linux/void-packages.git
synced 2025-09-04 02:52:58 +02:00
polyml: update to 5.9.2.
This commit is contained in:
parent
d8886c2208
commit
01eaefeab7
1 changed files with 3 additions and 3 deletions
|
@ -1,6 +1,6 @@
|
|||
# Template file for 'polyml'
|
||||
pkgname=polyml
|
||||
version=5.9.1
|
||||
version=5.9.2
|
||||
revision=1
|
||||
build_style=gnu-configure
|
||||
configure_args="--enable-shared"
|
||||
|
@ -9,8 +9,8 @@ short_desc="Poly/ML Standard ML (SML) implementation"
|
|||
maintainer="Leah Neukirchen <leah@vuxu.org>"
|
||||
license="LGPL-2.1-or-later"
|
||||
homepage="http://www.polyml.org/"
|
||||
distfiles="https://github.com/${pkgname}/${pkgname}/archive/v${version}.tar.gz"
|
||||
checksum=52f56a57a4f308f79446d479e744312195b298aa65181893bce2dfc023a3663c
|
||||
distfiles="https://github.com/polyml/polyml/archive/v${version}.tar.gz"
|
||||
checksum=5cf5f77767568c25cf880acc2d0a32ee3d399e935475ab1626e8192fc3b07390
|
||||
conflicts="mesa-demos>=0" # /usr/bin/poly
|
||||
nocross=yes
|
||||
|
||||
|
|
Loading…
Add table
Reference in a new issue