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