> [ghc-Agda] I opened a ticket asking releng to block this newly retired package.
> [hedgewars] Bruno rebuilt this yesterday - thanks! Jens -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
> [ghc-Agda] I opened a ticket asking releng to block this newly retired package.
> [hedgewars] Bruno rebuilt this yesterday - thanks! Jens -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel