On Wed, Jul 20, 2016 at 7:25 PM, Jens-Ulrik Petersen <petersen@redhat.com> wrote:On Mon, Jul 11, 2016 at 5:51 PM, Jens-Ulrik Petersen <petersen@redhat.com> wrote:On Tue, Jun 28, 2016 at 2:50 PM, Jens-Ulrik Petersen <petersen@redhat.com> wrote:Agda*Needs: EdisonCore -> EdisonAPI; geniplate-mirror; monadplus
ghc-hakyllbounds and missing snap
https://bugzilla.redhat.com/show_bug.cgi?id=1096609 Needs: http-conduit and time-locale-compatBuilt for rawhide with time-locale-compat subpackage.
Needs: time-compat
Built for rawhide with time-compat subpackage.
ghc-hashed-storage -> darcs*does not compileI think it would be good to keep darcs in Fedora stillNeeds: data-ordlist, graphviz, regex-applicative, regex-compat-tdfa, sandiBuilt for rawhide with subpackages.
Needs: base-compat, mtl-compat, uglymemoBuilt for rawhide
Needs: lifted-async
Built with time-compat subpackage
Needs: auto-update, bytestring-builder, http2, iproute
idris*It would be nice to keep idrisThough I have a copr repo with latest idris anyway.