landry 80e39061e7 Unbreak gradio with newer radio-browser.info API ...

- cf https://api.radio-browser.info/
- use uuid string to identify stations
- adapt to type changes in the API (str -> bool or int)
- do a DNS SRV lookup to randomly select an API server

2020-11-02 18:44:36 +00:00

..

patches

Unbreak gradio with newer radio-browser.info API

2020-11-02 18:44:36 +00:00

pkg

Update to gradio-7.3.

2020-02-10 10:20:29 +00:00

distinfo

Update to gradio-7.3.

2020-02-10 10:20:29 +00:00

Makefile

Unbreak gradio with newer radio-browser.info API

2020-11-02 18:44:36 +00:00