From 6c9a010c3d62565b493c1373820b0376a9b7221b Mon Sep 17 00:00:00 2001 From: Paul Guyot Date: Wed, 8 Jul 2026 07:28:26 +0200 Subject: [PATCH] py-gradio: update to 6.20.0 Signed-off-by: Paul Guyot --- python/py-gradio/Portfile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/python/py-gradio/Portfile b/python/py-gradio/Portfile index 9898f50657e..2f8177c7af4 100644 --- a/python/py-gradio/Portfile +++ b/python/py-gradio/Portfile @@ -4,7 +4,7 @@ PortSystem 1.0 PortGroup python 1.0 name py-gradio -version 6.19.0 +version 6.20.0 revision 0 categories-append devel license Apache-2 @@ -23,9 +23,9 @@ long_description Gradio is the fastest way to demo your machine \ homepage https://gradio.app -checksums rmd160 2143e2cc7923de364b20186598701d44cf0a78fa \ - sha256 04d0ad1450b3e34683dee76934b47d93b7b655bb506e1e9e9b7b7ab4c9eb8090 \ - size 47125070 +checksums rmd160 4e120e4c9eb4d108ed32591d8b9f7e0310c959ed \ + sha256 8672866e9225a1f8297325a6742bb525a3a0ddc8aa4d75d99beb10a27ea2915f \ + size 44844340 if {${name} ne ${subport}} { depends_build-append \