Skip to content

Commit

Permalink
Update from Hackage at 2020-10-23T18:41:52Z
Browse files Browse the repository at this point in the history
  • Loading branch information
all-cabal-tool committed Oct 23, 2020
1 parent 7d8635f commit ea2403d
Show file tree
Hide file tree
Showing 2 changed files with 109 additions and 0 deletions.
108 changes: 108 additions & 0 deletions call-alloy/0.2.1.0/call-alloy.cabal
Original file line number Diff line number Diff line change
@@ -0,0 +1,108 @@
cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.34.2.
--
-- see: https://github.com/sol/hpack
--
-- hash: db841f71ac1e6d568aa7c8d4f6574b06cdf77fea00a6cf3ae0c74880c12eb083

name: call-alloy
version: 0.2.1.0
synopsis: A simple library to call Alloy given a specification
description: Please see the README on GitHub at <https://github.com/marcellussiegburg/call-alloy#readme>
category: Language
homepage: https://github.com/marcellussiegburg/call-alloy#readme
bug-reports: https://github.com/marcellussiegburg/call-alloy/issues
author: Marcellus Siegburg
maintainer: marcellus.siegburg@uni-due.de
copyright: 2019-2020 Marcellus Siegburg
license: MIT
license-file: LICENSE
build-type: Simple
extra-source-files:
README.md
LICENSE
ChangeLog.md
bin/alloy/RunAlloy.class
bin/org.alloytools.alloy.dist.jar
bin/commons-cli/commons-cli-1.4.jar
bin/commons-cli/NOTICE.txt
bin/commons-cli/LICENSE.txt

source-repository head
type: git
location: https://github.com/marcellussiegburg/call-alloy

library
exposed-modules:
Language.Alloy.Call
other-modules:
Language.Alloy.Functions
Language.Alloy.Parser
Language.Alloy.RessourceNames
Language.Alloy.Ressources
Language.Alloy.Types
Paths_call_alloy
hs-source-dirs:
src
build-depends:
base >=4.7 && <5
, bytestring >=0.10 && <0.12
, containers >=0.6 && <0.7
, directory >=1.3 && <1.4
, file-embed >=0.0.11 && <0.1
, filepath >=1.4 && <1.5
, hashable >=1.2 && <1.4
, lens >=4.17 && <4.20
, mtl >=2.2 && <2.3
, process >=1.6 && <1.7
, split >=0.2 && <0.3
, trifecta >=2 && <2.2
if os(windows)
cpp-options: -DWINDOWS
build-depends:
Win32 >=2.5 && <2.11
else
build-depends:
unix >=2.7 && <2.8
default-language: Haskell2010

test-suite call-alloy-test
type: exitcode-stdio-1.0
main-is: Spec.hs
other-modules:
Language.Alloy.Call
Language.Alloy.Functions
Language.Alloy.Parser
Language.Alloy.RessourceNames
Language.Alloy.Ressources
Language.Alloy.Types
Language.Alloy.CallSpec
Paths_call_alloy
hs-source-dirs:
src
test
ghc-options: -threaded -rtsopts -with-rtsopts=-N
build-depends:
base >=4.7 && <5
, bytestring >=0.10 && <0.12
, call-alloy
, containers >=0.6 && <0.7
, directory >=1.3 && <1.4
, file-embed >=0.0.11 && <0.1
, filepath >=1.4 && <1.5
, hashable >=1.2 && <1.4
, hspec
, lens >=4.17 && <4.20
, mtl >=2.2 && <2.3
, process >=1.6 && <1.7
, split >=0.2 && <0.3
, trifecta >=2 && <2.2
if os(windows)
cpp-options: -DWINDOWS
build-depends:
Win32 >=2.5 && <2.11
else
build-depends:
unix >=2.7 && <2.8
default-language: Haskell2010
1 change: 1 addition & 0 deletions call-alloy/0.2.1.0/call-alloy.json
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"package-hashes":{"MD5":"06f20e74401f0e43ae9c857c9784d777","Skein512_512":"f309b9a32c603705d4cd5d07ce66249b6a711c3dbbeef0fd2f196b7ce568831f4acf9c13eec93f30236291dff6cae14f91c913d67f9620f100849305715cafdb","SHA1":"46cb8576f6ac36e4d5012c95a1cdb6af0eb05435","SHA512":"68ab07a7f346e3540986c264926bad07c9b7bb570da48ee49c940b045bd344111f72cd4ee192e289d41138648a56fe842434bb307fbde3fd489e30f501d37094","SHA256":"112ee13d210fdb4f89ac2bd697d4e33b2df072e4f8641453999e64613373e54c"},"package-locations":["https://hackage.haskell.org/package/call-alloy-0.2.1.0/call-alloy-0.2.1.0.tar.gz","https://s3.amazonaws.com/hackage.fpcomplete.com/package/call-alloy-0.2.1.0.tar.gz"],"package-size":10535875}

0 comments on commit ea2403d

Please sign in to comment.