diff options
| -rw-r--r-- | shells/ammonite/Makefile | 2 | ||||
| -rw-r--r-- | shells/ammonite/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/shells/ammonite/Makefile b/shells/ammonite/Makefile index 9f37b7360b43..bcab6b71ccaf 100644 --- a/shells/ammonite/Makefile +++ b/shells/ammonite/Makefile @@ -1,5 +1,5 @@ PORTNAME= ammonite -DISTVERSION= 2.4.1 +DISTVERSION= 2.5.0 CATEGORIES= shells java MASTER_SITES= https://github.com/lihaoyi/Ammonite/releases/download/${PORTVERSION}/ DISTNAME= 2.13-${PORTVERSION} diff --git a/shells/ammonite/distinfo b/shells/ammonite/distinfo index a7b3e12f1d5c..7c8d111db107 100644 --- a/shells/ammonite/distinfo +++ b/shells/ammonite/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1637309815 -SHA256 (ammonite/2.13-2.4.1) = 448b8dc96bf034cdfdfeb733507df6f0ae64cb985e3df968916fd53fad378fe2 -SIZE (ammonite/2.13-2.4.1) = 48567893 +TIMESTAMP = 1639380918 +SHA256 (ammonite/2.13-2.5.0) = 9799063cff2db988b5eadeaef19780639e32a80589651e54ba8a52190ebdbfd6 +SIZE (ammonite/2.13-2.5.0) = 48405047 |