[home_jmnotin_TeXmacs]
name=GNU TeXmacs (Fedora_31)
type=rpm-md
baseurl=https://download.opensuse.org/repositories/home:/jmnotin:/TeXmacs/Fedora_31/
gpgcheck=1
gpgkey=https://download.opensuse.org/repositories/home:/jmnotin:/TeXmacs/Fedora_31/repodata/repomd.xml.key
enabled=1