[pkgdb] idris was added for petersen

[Fedora PackageDB]

limb has added Package idris with summary Functional programming language with dependent types
limb has approved Package idris
limb has added a Fedora devel branch for idris with an owner of petersen
limb has approved idris in Fedora devel
limb has approved Package idris
limb has set checkout to Approved for provenpackager on idris (Fedora devel)
limb has set commit to Approved for provenpackager on idris (Fedora devel)

To make changes to this package see:
  https://admin.fedoraproject.org/pkgdb/acls/name/idris