py-gradio: update to 6.20.0

Signed-off-by: Paul Guyot <pguyot@kallisys.net>

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 \