Cabal revisions of ivory-examples-0.1.0.4
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: ivory-examples-version: 0.1.0.4-author: Galois, Inc-maintainer: trevor@galois.com, leepike@galois.com-copyright: 2013 Galois, Inc.-category: Language-synopsis: Ivory examples.-description: Various examples demonstrating the use of Ivory.-homepage: http://ivorylang.org/-build-type: Simple-cabal-version: >= 1.10-license: BSD3-license-file: LICENSE-data-files: examples/file.ivory-source-repository this- type: git- location: https://github.com/GaloisInc/ivory- tag: hackage-examples-0.1.0.4--executable ivory-c-clang-test- main-is: TestExamples.hs- other-modules: PID,- FibLoop,- Factorial,- String,- FunPtr,- Overflow,- Float,- Alloc,- Area,- Cond,- Forever,- PublicPrivate,- Bits,- SizeOf,- AddrOfRegression,- Array,- BitData,- BitDataTypes,- ConcreteFile,- Coroutine,- Loop- hs-source-dirs: examples- build-depends: base >= 4.6 && < 5,- base-compat,- pretty >= 1.1,- monadLib >= 3.7,- template-haskell >= 2.8,- ivory,- ivory-opts,- ivory-backend-c,- ivory-stdlib,- QuickCheck- default-language: Haskell2010- ghc-options: -Wall+name: ivory-examples +version: 0.1.0.4 +x-revision: 1 +author: Galois, Inc +maintainer: trevor@galois.com, leepike@galois.com +copyright: 2013 Galois, Inc. +category: Language +synopsis: Ivory examples. +description: Various examples demonstrating the use of Ivory. +homepage: http://ivorylang.org/ +build-type: Simple +cabal-version: >= 1.10 +license: BSD3 +license-file: LICENSE +data-files: examples/file.ivory +source-repository this + type: git + location: https://github.com/GaloisInc/ivory + tag: hackage-0.1.0.4 + +executable ivory-c-clang-test + main-is: TestExamples.hs + other-modules: PID, + FibLoop, + Factorial, + String, + FunPtr, + Overflow, + Float, + Alloc, + Area, + Cond, + Forever, + PublicPrivate, + Bits, + SizeOf, + AddrOfRegression, + Array, + BitData, + BitDataTypes, + ConcreteFile, + Coroutine, + Loop + hs-source-dirs: examples + build-depends: base >= 4.6 && < 5, + base-compat, + pretty >= 1.1, + monadLib >= 3.7, + template-haskell >= 2.8, + ivory, + ivory-opts, + ivory-backend-c, + ivory-stdlib, + QuickCheck + default-language: Haskell2010 + ghc-options: -Wall
revision 2
name: ivory-examples version: 0.1.0.4 -x-revision: 1 +x-revision: 2 author: Galois, Inc maintainer: trevor@galois.com, leepike@galois.com copyright: 2013 Galois, Inc. source-repository this type: git location: https://github.com/GaloisInc/ivory - tag: hackage-0.1.0.4 + tag: hackage-examples-0.1.0.4 executable ivory-c-clang-test main-is: TestExamples.hs Coroutine, Loop hs-source-dirs: examples - build-depends: base >= 4.6 && < 5, + build-depends: base >= 4.7 && < 5, base-compat, pretty >= 1.1, monadLib >= 3.7, - template-haskell >= 2.8, + template-haskell >= 2.8 && <2.11, ivory, ivory-opts, ivory-backend-c,