app.py

# https://discuss.huggingface.co/t/how-to-install-a-specific-version-of-gradio-in-spaces/13552
import os
os.system("pip uninstall -y gradio")
os.system("pip install git+https://github.com/yiyuezhuo/gradio@cmo_pinned")

import gradio as gr
from cmo_db_inspector import App
from pathlib import Path

cmo_db_root = Path("DB")

app = App(cmo_db_root).create()
app.demo.launch()