[repo.di.unipmn.it]
name=Repository del Dipartimento di Informatica
baseurl=https://repo.di.unipmn.it/centos/$releasever/$basearch/
enabled=1
gpgcheck=0
#gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-di.unipmn.it