Cabal revisions of ivor-0.1.10.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
Name: ivor Version: 0.1.10.1+x-revision: 1 Author: Edwin Brady License: BSD3 License-file: LICENSE Maintainer: Edwin Brady <eb@dcs.st-and.ac.uk> Homepage: http://www.dcs.st-and.ac.uk/~eb/Ivor/ Stability: experimental-Build-depends: base, haskell98, parsec, mtl, directory, containers+Build-depends: base < 4.3, haskell98 < 2, parsec, mtl, directory, containers Extensions: MultiParamTypeClasses, FunctionalDependencies, ExistentialQuantification, OverlappingInstances Category: Theorem provers, Dependent Types -Build-depends: base >=3 && <5, parsec, mtl, directory, binary+Build-depends: base >=3 && <4.3, parsec, mtl, directory, binary Build-type: Simple Extensions: MultiParamTypeClasses, FunctionalDependencies,