packages feed

Cabal revisions of type-unary-0.3.0

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

revision 1
-Name:                type-unary-Version:             0.3.0-Cabal-Version:       >= 1.6-Synopsis:            -  Type-level and typed unary natural numbers, inequality proofs, vectors-Category:            Data-Description:-  Type-level and value-typed unary natural numbers, inequality proofs,-  and length-typed vectors. There are probably many of these packages.-  Perhaps consolidate.-Author:              Conal Elliott-Maintainer:          conal@conal.net-Homepage:            https://github.com/conal/type-unary-Copyright:           (c) 2009-2014 by Conal Elliott-License:             BSD3-License-File:        COPYING-Stability:           provisional-build-type:          Simple-data-files:          src/.ghci--source-repository head-  type:     git-  location: git://github.com/conal/type-unary--Library-  hs-Source-Dirs:      src-  Extensions:-  Build-Depends:       base >=4 && < 5-                     , constraints-                     , newtype >= 0.2-                     , ty >= 0.1.5-                     , vector-space-                     , applicative-numbers-  Exposed-Modules:     -                       TypeUnary.TyNat-                       TypeUnary.Nat-                       TypeUnary.Vec-                       -  ghc-options:         -Wall-- ghc-prof-options:    -prof -auto-all +Name:                type-unary
+Version:             0.3.0
+x-revision: 1
+Cabal-Version:       >= 1.6
+Synopsis:            
+  Type-level and typed unary natural numbers, inequality proofs, vectors
+Category:            Data
+Description:
+  Type-level and value-typed unary natural numbers, inequality proofs,
+  and length-typed vectors. There are probably many of these packages.
+  Perhaps consolidate.
+Author:              Conal Elliott
+Maintainer:          conal@conal.net
+Homepage:            https://github.com/conal/type-unary
+Copyright:           (c) 2009-2014 by Conal Elliott
+License:             BSD3
+License-File:        COPYING
+Stability:           provisional
+build-type:          Simple
+data-files:          src/.ghci
+
+source-repository head
+  type:     git
+  location: git://github.com/conal/type-unary
+
+Library
+  hs-Source-Dirs:      src
+  Extensions:
+  Build-Depends:       base >=4.8 && < 5
+                     , constraints
+                     , newtype >= 0.2
+                     , ty >= 0.1.5
+                     , vector-space
+                     , applicative-numbers
+  Exposed-Modules:     
+                       TypeUnary.TyNat
+                       TypeUnary.Nat
+                       TypeUnary.Vec
+                       
+  ghc-options:         -Wall
+
+ ghc-prof-options:    -prof -auto-all 
revision 2
 Name:                type-unary
 Version:             0.3.0
-x-revision: 1
+x-revision: 2
 Cabal-Version:       >= 1.6
 Synopsis:            
   Type-level and typed unary natural numbers, inequality proofs, vectors
 Library
   hs-Source-Dirs:      src
   Extensions:
-  Build-Depends:       base >=4.8 && < 5
+  Build-Depends:       base >=4.8 && < 4.11
                      , constraints
                      , newtype >= 0.2
                      , ty >= 0.1.5