packages feed

ats-pkg 3.5.0.2 → 3.5.0.3

raw patch · 4 files changed

+60/−54 lines, 4 files

Files

ats-pkg.cabal view
@@ -1,6 +1,6 @@ cabal-version:      2.0 name:               ats-pkg-version:            3.5.0.2+version:            3.5.0.3 license:            BSD3 license-file:       LICENSE copyright:          Copyright: (c) 2018-2020 Vanessa McHale@@ -38,7 +38,7 @@         Language.ATS.Package         Distribution.ATS -    build-tool-depends: cpphs:cpphs -any+    build-tool-depends: cpphs:cpphs     hs-source-dirs:     src     other-modules:         Paths_ats_pkg@@ -66,31 +66,31 @@      build-depends:         base >=4.10 && <5,-        http-client -any,-        bytestring -any,+        http-client,+        bytestring,         file-embed >=0.0.9,         shake >=0.18.4,         Cabal >=2.2.0.0,-        lzma -any,-        zlib -any,-        http-client-tls -any,-        text -any,-        process -any,-        containers -any,-        parallel-io -any,-        mtl -any,+        lzma,+        zlib,+        http-client-tls,+        text,+        process,+        containers,+        parallel-io,+        mtl,         dhall >=1.15.0,-        ansi-wl-pprint -any,+        ansi-wl-pprint,         shake-ats >=1.10.2.0,         shake-ext >=3.1.1.0,         shake-c >=0.4.0.0,-        zip-archive -any,-        ansi-wl-pprint -any,+        zip-archive,+        ansi-wl-pprint,         dependency >=1.2.0.0,-        quaalude -any,+        quaalude,         archive-sig >=1.0.1.0,         archive-libarchive >=1.0.0.0,-        unix-compat -any+        unix-compat      mixins:             archive-libarchive (Archive.FFI as Archive) @@ -98,25 +98,26 @@         ghc-options: -Werror  library quaalude-    exposed-modules:  Quaalude-    hs-source-dirs:   internal-    other-modules:    System.Process.Ext-    default-language: Haskell2010+    exposed-modules:    Quaalude+    build-tool-depends: cpphs:cpphs+    hs-source-dirs:     internal+    other-modules:      System.Process.Ext+    default-language:   Haskell2010     build-depends:-        base -any,-        http-client -any,-        http-client-tls -any,-        process -any,+        base,+        http-client,+        http-client-tls,+        process,         directory >=1.2.3.0,-        filepath -any,-        microlens -any,-        ansi-wl-pprint -any,+        filepath,+        microlens,+        ansi-wl-pprint,         shake >=0.18.4,-        bytestring -any,+        bytestring,         composition-prelude >=3.0.0.0,-        binary -any,-        text -any,-        mtl -any,+        binary,+        text,+        mtl,         containers >=0.6      if !impl(ghc >=8.4)@@ -129,7 +130,7 @@         cpp-options: -DDEBUG      if !os(windows)-        build-depends: unix -any+        build-depends: unix  executable atspkg     main-is:          Main.hs@@ -148,21 +149,21 @@      build-depends:         base >=4.10,-        ats-pkg -any,-        optparse-applicative -any,+        ats-pkg,+        optparse-applicative,         language-ats >=1.7.4.0,-        shake-ats -any,-        microlens -any,-        temporary -any,-        directory -any,-        text -any,-        parallel-io -any,-        quaalude -any,-        dependency -any,-        bytestring -any,-        shake -any,-        cli-setup -any,-        quaalude -any,+        shake-ats,+        microlens,+        temporary,+        directory,+        text,+        parallel-io,+        quaalude,+        dependency,+        bytestring,+        shake,+        cli-setup,+        quaalude,         dhall >=1.27.0      if flag(development)
dhall/atslib.dhall view
@@ -1,12 +1,15 @@ {- Dhall prelude imports -} let map =-      https://raw.githubusercontent.com/dhall-lang/dhall-lang/master/Prelude/List/map sha256:dd845ffb4568d40327f2a817eb42d1c6138b929ca758d50bc33112ef3c885680+      https://prelude.dhall-lang.org/v21.1.0/List/map.dhall+        sha256:dd845ffb4568d40327f2a817eb42d1c6138b929ca758d50bc33112ef3c885680  let concat =-      https://raw.githubusercontent.com/dhall-lang/dhall-lang/master/Prelude/List/concat sha256:54e43278be13276e03bd1afa89e562e94a0a006377ebea7db14c7562b0de292b+      https://prelude.dhall-lang.org/v21.1.0/List/concat.dhall+        sha256:54e43278be13276e03bd1afa89e562e94a0a006377ebea7db14c7562b0de292b  let prelude =-      https://raw.githubusercontent.com/vmchale/atspkg/master/ats-pkg/dhall/atspkg-prelude.dhall sha256:69bdde38a8cc01c91a1808ca3f45c29fe754c9ac96e91e6abd785508466399b4+      https://raw.githubusercontent.com/vmchale/atspkg/master/ats-pkg/dhall/atspkg-prelude.dhall+        sha256:69bdde38a8cc01c91a1808ca3f45c29fe754c9ac96e91e6abd785508466399b4  let mapDir =       λ(rec : { dir : Text, xs : List Text }) →
dhall/atspkg-prelude.dhall view
@@ -1,9 +1,11 @@ {- Dhall prelude functions -} let concatMapSep =-      https://raw.githubusercontent.com/dhall-lang/dhall-lang/9f259cd68870b912fbf2f2a08cd63dc3ccba9dc3/Prelude/Text/concatMapSep sha256:c272aca80a607bc5963d1fcb38819e7e0d3e72ac4d02b1183b1afb6a91340840+      https://prelude.dhall-lang.org/v21.1.0/Text/concatMapSep.dhall+        sha256:c272aca80a607bc5963d1fcb38819e7e0d3e72ac4d02b1183b1afb6a91340840  let map =-      https://raw.githubusercontent.com/dhall-lang/dhall-lang/9f259cd68870b912fbf2f2a08cd63dc3ccba9dc3/Prelude/List/map sha256:dd845ffb4568d40327f2a817eb42d1c6138b929ca758d50bc33112ef3c885680+      https://prelude.dhall-lang.org/v21.1.0/List/map.dhall+        sha256:dd845ffb4568d40327f2a817eb42d1c6138b929ca758d50bc33112ef3c885680  let ATSConstraint =       { lower : Optional (List Natural), upper : Optional (List Natural) }
dhall/config.dhall view
@@ -1,7 +1,7 @@-let commit = "137c57c95135591c6627fffcc1ba75864b4c0918"+let commit = "f6187be4c1bb55b3aad62800561e763f378bd96d"  let hash =-      "sha256:fa901519fa579dbb5ee187bc2c43c20b3c1f8ad2ff9129f393f1066a174b413d"+      "sha256:a694727bfcb872e6f1f770dc6c1dbfabd04fce920a22a350db0aa5cab0dd2ab4"  in  { defaultPkgs =         "https://raw.githubusercontent.com/vmchale/atspkg/${commit}/ats-pkg/pkgs/pkg-set.dhall ${hash}"