Cabal revisions of Sit-0.2017.5.2

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

 name:            Sit-version:         0.2017.05.02+version:         0.2017.5.02+x-revision: 1+-- x-revision:1 see https://github.com/haskell-infra/hackage-trustees/issues/128 build-type:      Simple cabal-version:   >= 1.8 license:         OtherLicense   hs-source-dirs:   src    build-depends:    array >= 0.3 && < 1.0,-                    base >= 4.2 && < 5.0,+                    base >= 4.2 && < 5,                     containers >= 0.3 && < 1.0,                     data-lens-light >= 0.1.2.2 && < 0.2,                     mtl >= 2.2.1 && < 3.0++  build-tools:      alex, happy    extensions:       MultiParamTypeClasses                     FunctionalDependencies

-name:            Sit-version:         0.2017.5.02-x-revision: 1--- x-revision:1 see https://github.com/haskell-infra/hackage-trustees/issues/128-build-type:      Simple-cabal-version:   >= 1.8-license:         OtherLicense-license-file:    LICENSE-author:          Andreas Abel <andreas.abel@gu.se>-maintainer:      Andreas Abel <andreas.abel@gu.se>-homepage:        https://github.com/andreasabel/Sit-category:        Dependent types-synopsis:        Prototypical type checker for Type Theory with Sized Natural Numbers-description:-  Sit = Size-irrelevant types-  .-  Sit is a prototypical language with an Agda-compatible syntax.-  It has dependent function types, universes, sized natural numbers,-  and case and recursion over natural numbers.-  There is a relevant and an irrelevant quantifier over sizes.-  For an example, see file test/Test.agda.--tested-with:        GHC == 7.8.4-                    GHC == 7.10.3-                    GHC == 8.0.1--data-files:         test/Makefile-                    test/Base.agda-                    test/Test.agda-                    README.md--extra-source-files: Makefile-                    src/Makefile-                    src/Sit.cf-                    src/undefined.h--source-repository head-  type:     git-  location: https://github.com/andreasabel/Sit--executable Sit.bin-  ghc-options:      -rtsopts-  hs-source-dirs:   src--  build-depends:    array >= 0.3 && < 1.0,-                    base >= 4.2 && < 5,-                    containers >= 0.3 && < 1.0,-                    data-lens-light >= 0.1.2.2 && < 0.2,-                    mtl >= 2.2.1 && < 3.0--  build-tools:      alex, happy--  extensions:       MultiParamTypeClasses-                    FunctionalDependencies-                    TypeSynonymInstances-                    FlexibleInstances-                    FlexibleContexts-                    GeneralizedNewtypeDeriving-                    LambdaCase-                    TupleSections--  main-is:          Sit.hs--  other-modules:    Abstract-                    Evaluation-                    Impossible-                    Internal-                    Lens-                    Substitute-                    TypeChecker-                    Sit.Abs-                    Sit.ErrM-                    Sit.Lex-                    Sit.Par-                    Sit.Print+name:            Sit
+version:         0.2017.5.2
+x-revision: 2
+-- x-revision:1 see https://github.com/haskell-infra/hackage-trustees/issues/128
+build-type:      Simple
+cabal-version:   >= 1.8
+license:         OtherLicense
+license-file:    LICENSE
+author:          Andreas Abel <andreas.abel@gu.se>
+maintainer:      Andreas Abel <andreas.abel@gu.se>
+homepage:        https://github.com/andreasabel/Sit
+category:        Dependent types
+synopsis:        Prototypical type checker for Type Theory with Sized Natural Numbers
+description:
+  Sit = Size-irrelevant types
+  .
+  Sit is a prototypical language with an Agda-compatible syntax.
+  It has dependent function types, universes, sized natural numbers,
+  and case and recursion over natural numbers.
+  There is a relevant and an irrelevant quantifier over sizes.
+  For an example, see file test/Test.agda.
+
+tested-with:        GHC == 7.8.4
+                    GHC == 7.10.3
+                    GHC == 8.0.1
+
+data-files:         test/Makefile
+                    test/Base.agda
+                    test/Test.agda
+                    README.md
+
+extra-source-files: Makefile
+                    src/Makefile
+                    src/Sit.cf
+                    src/undefined.h
+
+source-repository head
+  type:     git
+  location: https://github.com/andreasabel/Sit
+
+executable Sit.bin
+  ghc-options:      -rtsopts
+  hs-source-dirs:   src
+
+  build-depends:    array >= 0.3 && < 1,
+                    base >= 4.2 && < 5,
+                    containers >= 0.3 && < 1,
+                    data-lens-light >= 0.1.2.2 && < 0.2,
+                    mtl >= 2.2.1 && < 3
+
+  build-tools:      alex, happy
+
+  extensions:       MultiParamTypeClasses
+                    FunctionalDependencies
+                    TypeSynonymInstances
+                    FlexibleInstances
+                    FlexibleContexts
+                    GeneralizedNewtypeDeriving
+                    LambdaCase
+                    TupleSections
+
+  main-is:          Sit.hs
+
+  other-modules:    Abstract
+                    Evaluation
+                    Impossible
+                    Internal
+                    Lens
+                    Substitute
+                    TypeChecker
+                    Sit.Abs
+                    Sit.ErrM
+                    Sit.Lex
+                    Sit.Par
+                    Sit.Print