petersen/idris

Epel for CentOS 7 ppc64le (0)*, x86_64 (0)* Epel for CentOS 7 (152 downloads) Fedora 29 i386 (0)*, ppc64le (0)*, x86_64 (0)* Fedora 29 (74 downloads) Fedora 30 i386 (0)*, ppc64le (0)*, x86_64 (0)* Fedora 30 (19 downloads) Fedora 31 i386 (0)*, ppc64le (0)*, x86_64 (0)* Fedora 31 (1 downloads) Fedora rawhide i386 (0)*, ppc64le (0)*, x86_64 (0)* Fedora rawhide (136 downloads)

This is a companion discussion topic for the original entry at https://copr.fedorainfracloud.org/coprs/petersen/idris/