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