Cabal revisions of natural-induction-0.2.0.0

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

-name:                natural-induction-version:             0.2.0.0-synopsis:            Induction over natural numbers--- description:         -license:             BSD3-license-file:        LICENSE-author:              M Farkas-Dyck-maintainer:          strake888@gmail.com--- copyright:           -category:            Math-build-type:          Simple-cabal-version:       >=1.10--library-  exposed-modules:     Data.Natural.Class-  -- other-modules:       -  build-depends:       base >=4.9 && <5-                     , peano >=0.1 && <0.2-  -- hs-source-dirs:      -  default-language:    Haskell2010-  default-extensions:  UnicodeSyntax-                     , ScopedTypeVariables-                     , TypeApplications-                     , RankNTypes-                     , PolyKinds-                     , DataKinds-  -- other-extensions:    +name:                natural-induction
+version:             0.2.0.0
+x-revision: 1
+synopsis:            Induction over natural numbers
+-- description:         
+license:             BSD3
+license-file:        LICENSE
+author:              M Farkas-Dyck
+maintainer:          strake888@gmail.com
+-- copyright:           
+category:            Math
+build-type:          Simple
+cabal-version:       >=1.10
+
+library
+  exposed-modules:     Data.Natural.Class
+  -- other-modules:       
+  build-depends:       base >=4.9 && <5
+                     , peano >=0.1 && <0.2
+  -- hs-source-dirs:      
+  default-language:    Haskell2010
+  default-extensions:  UnicodeSyntax
+                     , ScopedTypeVariables
+                     , TypeApplications
+                     , RankNTypes
+                     , PolyKinds
+                     , DataKinds
+  -- other-extensions:    
+
+source-repository head
+  type:     git
+  location: https://github.com/strake/natural-induction.hs