packages feed

Cabal revisions of twee-lib-2.4.2

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

revision 1
 name:                twee-lib version:             2.4.2+x-revision:          1 synopsis:            An equational theorem prover-homepage:            http://github.com/nick8325/twee+homepage:            https://github.com/nick8325/twee license:             BSD3 license-file:        LICENSE author:              Nick Smallbone  source-repository head   type:     git-  location: git://github.com/nick8325/twee.git+  location: https://github.com/nick8325/twee.git   branch:   master  flag llvm     Twee.Term.Core    build-depends:-    base >= 4 && < 5,+    base >= 4.11 && < 5,     containers,     transformers,     dlist,