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,