additional-cabals/blaze-markup-0.8.2.1.cabal

+Name:         blaze-markup
+Version:      0.8.2.1
+Homepage:     http://jaspervdj.be/blaze
+Bug-Reports:  http://github.com/jaspervdj/blaze-markup/issues
+License:      BSD3
+License-file: LICENSE
+Author:       Jasper Van der Jeugt, Simon Meier, Deepak Jois
+Maintainer:   Jasper Van der Jeugt <m@jaspervdj.be>
+Stability:    Experimental
+Category:     Text
+Synopsis:     A blazingly fast markup combinator library for Haskell
+Description:
+  Core modules of a blazingly fast markup combinator library for the Haskell
+  programming language. The Text.Blaze module is a good
+  starting point, as well as this tutorial:
+  <http://jaspervdj.be/blaze/tutorial.html>.
+
+Build-type:    Simple
+Cabal-version: >= 1.8
+Tested-with:   GHC == 7.8.4, GHC == 7.10.3,
+               GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.1
+
+Extra-source-files:
+  CHANGELOG
+
+Library
+  Hs-source-dirs: src
+  Ghc-Options:    -Wall
+
+  Exposed-modules:
+    Text.Blaze
+    Text.Blaze.Internal
+    Text.Blaze.Renderer.Pretty
+    Text.Blaze.Renderer.String
+    Text.Blaze.Renderer.Text
+    Text.Blaze.Renderer.Utf8
+
+  Build-depends:
+    base          >= 4    && < 4.12,
+    blaze-builder >= 0.3  && < 0.5,
+    text          >= 0.10 && < 1.3,
+    bytestring    >= 0.9  && < 0.11
+
+Test-suite blaze-markup-tests
+  Type:           exitcode-stdio-1.0
+  Hs-source-dirs: src tests
+  Main-is:        TestSuite.hs
+  Ghc-options:    -Wall
+
+  Other-modules:
+    Text.Blaze
+    Text.Blaze.Internal
+    Text.Blaze.Renderer.Pretty
+    Text.Blaze.Renderer.String
+    Text.Blaze.Renderer.Text
+    Text.Blaze.Renderer.Utf8
+    Text.Blaze.Tests
+    Text.Blaze.Tests.Util
+
+  Build-depends:
+    HUnit            >= 1.2  && < 1.7,
+    QuickCheck       >= 2.7  && < 2.12,
+    containers       >= 0.3  && < 0.6,
+    tasty            >= 1.0  && < 1.1,
+    tasty-hunit      >= 0.10 && < 0.11,
+    tasty-quickcheck >= 0.10 && < 0.11,
+    -- Copied from regular dependencies...
+    base          >= 4    && < 4.12,
+    blaze-builder >= 0.3  && < 0.5,
+    text          >= 0.10 && < 1.3,
+    bytestring    >= 0.9  && < 0.11
+
+Source-repository head
+  Type:     git
+  Location: http://github.com/jaspervdj/blaze-markup

additional-cabals/cryptol-2.6.0.cabal

+Name:                cryptol
+Version:             2.6.0
+Synopsis:            Cryptol: The Language of Cryptography
+Description: Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see <http://www.cryptol.net/>.
+License:             BSD3
+License-file:        LICENSE
+Author:              Galois, Inc.
+Maintainer:          cryptol@galois.com
+Homepage:            http://www.cryptol.net/
+Bug-reports:         https://github.com/GaloisInc/cryptol/issues
+Copyright:           2013-2018 Galois Inc.
+Category:            Language
+Build-type:          Simple
+Cabal-version:       >= 1.18
+extra-source-files:  bench/data/*.cry
+
+data-files:          *.cry *.z3
+data-dir:            lib
+
+source-repository head
+  type:     git
+  location: https://github.com/GaloisInc/cryptol.git
+
+source-repository this
+  type:     git
+  location: https://github.com/GaloisInc/cryptol.git
+  tag:      2.6.0
+
+flag static
+  default: False
+  description: Create a statically-linked binary
+
+flag relocatable
+  default: True
+  description: Don't use the Cabal-provided data directory for looking up Cryptol libraries. This is useful when the data directory can't be known ahead of time, like for a relocatable distribution.
+
+-- Note: the Cryptol server needs to be updated to some new APIs.
+--flag server
+--  default: False
+--  description: Build with the ZeroMQ/JSON cryptol-server executable
+
+library
+  Default-language:
+    Haskell2010
+  Build-depends:       base              >= 4.8 && < 5,
+                       base-compat       >= 0.6 && < 0.10,
+                       bytestring        >= 0.10,
+                       array             >= 0.4,
+                       containers        >= 0.5,
+                       deepseq           >= 1.3,
+                       directory         >= 1.2.2.0,
+                       filepath          >= 1.3,
+                       gitrev            >= 1.0,
+                       GraphSCC          >= 1.0.4,
+                       heredoc           >= 0.2,
+                       monad-control     >= 1.0,
+                       monadLib          >= 3.7.2,
+                       pretty            >= 1.1,
+                       process           >= 1.2,
+                       random            >= 1.0.1,
+                       sbv               >= 7.7,
+                       simple-smt        >= 0.7.1,
+                       strict,
+                       text              >= 1.1,
+                       tf-random         >= 0.5,
+                       transformers-base >= 0.4,
+                       mtl               >= 2.2.1,
+                       time >= 1.6.0.1,
+                       panic >= 0.3
+
+
+  Build-tools:         alex, happy
+  hs-source-dirs:      src
+
+  Exposed-modules:     Cryptol.Prims.Syntax,
+                       Cryptol.Prims.Eval,
+
+                       Cryptol.Parser,
+                       Cryptol.Parser.Lexer,
+                       Cryptol.Parser.AST,
+                       Cryptol.Parser.Fixity,
+                       Cryptol.Parser.Position,
+                       Cryptol.Parser.Names,
+                       Cryptol.Parser.Name,
+                       Cryptol.Parser.NoPat,
+                       Cryptol.Parser.NoInclude,
+                       Cryptol.Parser.Selector,
+                       Cryptol.Parser.Utils,
+                       Cryptol.Parser.Unlit,
+
+                       Cryptol.Utils.Ident,
+                       Cryptol.Utils.PP,
+                       Cryptol.Utils.Panic,
+                       Cryptol.Utils.Debug,
+                       Cryptol.Utils.Misc,
+                       Cryptol.Utils.Patterns,
+                       Cryptol.Utils.Logger,
+                       Cryptol.Version,
+
+                       Cryptol.ModuleSystem,
+                       Cryptol.ModuleSystem.Base,
+                       Cryptol.ModuleSystem.Env,
+                       Cryptol.ModuleSystem.Interface,
+                       Cryptol.ModuleSystem.Monad,
+                       Cryptol.ModuleSystem.Name,
+                       Cryptol.ModuleSystem.NamingEnv,
+                       Cryptol.ModuleSystem.Renamer,
+                       Cryptol.ModuleSystem.Exports,
+                       Cryptol.ModuleSystem.InstantiateModule,
+
+                       Cryptol.TypeCheck,
+                       Cryptol.TypeCheck.Type,
+                       Cryptol.TypeCheck.TypePat,
+                       Cryptol.TypeCheck.SimpType,
+                       Cryptol.TypeCheck.AST,
+                       Cryptol.TypeCheck.Parseable,
+                       Cryptol.TypeCheck.Monad,
+                       Cryptol.TypeCheck.Infer,
+                       Cryptol.TypeCheck.CheckModuleInstance,
+                       Cryptol.TypeCheck.InferTypes,
+                       Cryptol.TypeCheck.Error,
+                       Cryptol.TypeCheck.Kind,
+                       Cryptol.TypeCheck.Subst,
+                       Cryptol.TypeCheck.Instantiate,
+                       Cryptol.TypeCheck.Unify,
+                       Cryptol.TypeCheck.Depends,
+                       Cryptol.TypeCheck.PP,
+                       Cryptol.TypeCheck.Solve,
+                       Cryptol.TypeCheck.Default,
+                       Cryptol.TypeCheck.SimpleSolver,
+                       Cryptol.TypeCheck.TypeMap,
+                       Cryptol.TypeCheck.TypeOf,
+                       Cryptol.TypeCheck.Sanity,
+
+                       Cryptol.TypeCheck.Solver.Types,
+                       Cryptol.TypeCheck.Solver.SMT,
+                       Cryptol.TypeCheck.Solver.InfNat,
+                       Cryptol.TypeCheck.Solver.Class,
+                       Cryptol.TypeCheck.Solver.Selector,
+                       Cryptol.TypeCheck.Solver.Utils,
+
+                       Cryptol.TypeCheck.Solver.Numeric,
+                       Cryptol.TypeCheck.Solver.Improve,
+                       Cryptol.TypeCheck.Solver.Numeric.Fin,
+                       Cryptol.TypeCheck.Solver.Numeric.Interval,
+
+                       Cryptol.Transform.MonoValues,
+                       Cryptol.Transform.Specialize,
+                       Cryptol.Transform.AddModParams,
+
+                       Cryptol.IR.FreeVars,
+
+                       Cryptol.Eval,
+                       Cryptol.Eval.Arch,
+                       Cryptol.Eval.Env,
+                       Cryptol.Eval.Monad,
+                       Cryptol.Eval.Reference,
+                       Cryptol.Eval.Type,
+                       Cryptol.Eval.Value,
+
+                       Cryptol.Testing.Concrete,
+                       Cryptol.Testing.Random,
+
+                       Cryptol.Symbolic,
+                       Cryptol.Symbolic.Prims,
+                       Cryptol.Symbolic.Value,
+
+                       Cryptol.REPL.Command,
+                       Cryptol.REPL.Monad,
+                       Cryptol.REPL.Trie
+
+  Other-modules:       Cryptol.Parser.LexerUtils,
+                       Cryptol.Parser.ParserUtils,
+                       Cryptol.Prelude,
+                       Paths_cryptol,
+                       GitRev
+
+  GHC-options:         -Wall -fsimpl-tick-factor=140
+  if impl(ghc >= 8.0.1)
+     ghc-options: -Wno-redundant-constraints
+
+  if flag(relocatable)
+      cpp-options: -DRELOCATABLE
+
+executable cryptol
+  Default-language:
+    Haskell2010
+  Main-is:             Main.hs
+  hs-source-dirs:      cryptol
+  Other-modules:       OptParser,
+                       REPL.Haskeline,
+                       REPL.Logo,
+                       Paths_cryptol
+  build-depends:       ansi-terminal
+                     , base
+                     , base-compat
+                     , containers
+                     , cryptol
+                     , directory
+                     , filepath
+                     , haskeline
+                     , monad-control
+                     , text
+                     , transformers
+  GHC-options:         -Wall -threaded -rtsopts "-with-rtsopts=-N1 -A64m"
+  if impl(ghc >= 8.0.1)
+     ghc-options: -Wno-redundant-constraints
+
+  if os(linux) && flag(static)
+      ld-options:      -static -pthread
+
+executable cryptol-html
+  Default-language:
+    Haskell2010
+  main-is: CryHtml.hs
+  hs-source-dirs: utils
+  build-depends: base, text, cryptol, blaze-html
+  GHC-options: -Wall
+
+-- Note: the Cryptol server needs to be updated to some new APIs.
+--executable cryptol-server
+--  main-is:             Main.hs
+--  hs-source-dirs:      cryptol-server
+--  other-modules:       Cryptol.Aeson
+--  default-language:    Haskell2010
+--  default-extensions:  OverloadedStrings
+--  GHC-options:         -Wall -threaded -rtsopts "-with-rtsopts=-N1 -A64m"
+--  if impl(ghc >= 8.0.1)
+--     ghc-options: -Wno-redundant-constraints
+--  if os(linux) && flag(static)
+--      ld-options:      -static -pthread
+--  if flag(server)
+--     build-depends: aeson >= 0.10
+--                  , aeson-pretty >= 0.7
+--                  , base
+--                  , base-compat
+--                  , bytestring >= 0.10
+--                  , containers
+--                  , cryptol
+--                  , filepath
+--                  , monad-control
+--                  , optparse-applicative >= 0.12
+--                  , text
+--                  , transformers
+--                  , unix
+--                  , unordered-containers >= 0.2
+--                  , zeromq4-haskell >= 0.6
+--  else
+--      buildable: False
+
+benchmark cryptol-bench
+  type:                exitcode-stdio-1.0
+  main-is:             Main.hs
+  hs-source-dirs:      bench
+  default-language:    Haskell2010
+  GHC-options:         -Wall -threaded -rtsopts "-with-rtsopts=-N1 -A64m"
+  if impl(ghc >= 8.0.1)
+     ghc-options: -Wno-redundant-constraints
+  if os(linux) && flag(static)
+      ld-options:      -static -pthread
+  build-depends:       base
+                     , criterion
+                     , cryptol
+                     , deepseq
+                     , directory
+                     , filepath
+                     , sbv >= 7.7
+                     , text

additional-cabals/haxr-3000.11.2.cabal

+Name: haxr
+Version: 3000.11.2
+Cabal-version: >=1.10
+Build-type: Simple
+Copyright: Bjorn Bringert, 2003-2006
+License: BSD3
+License-file: LICENSE
+Author: Bjorn Bringert <bjorn@bringert.net>
+Maintainer: Brent Yorgey <byorgey@gmail.com>
+Homepage: http://www.haskell.org/haskellwiki/HaXR
+Category: Network
+Synopsis: XML-RPC client and server library.
+Description:
+        HaXR is a library for writing XML-RPC
+        client and server applications in Haskell.
+
+Extra-Source-Files:
+        CHANGES
+        examples/make-stubs.hs        examples/parse_response.hs    examples/Person.hs
+        examples/PersonTH.hs          examples/person_client.hs     examples/person_server.hs
+        examples/raw_call.hs          examples/simple_client.hs     examples/simple_server.hs
+        examples/test_client.hs       examples/test_server.hs       examples/time-xmlrpc-com.hs
+        examples/validate.hs          examples/Makefile
+Bug-reports: https://github.com/byorgey/haxr/issues
+Tested-with: GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.1
+
+Source-repository head
+  type:     git
+  location: git://github.com/byorgey/haxr.git
+
+flag network-uri
+   description: Get Network.URI from the network-uri package
+   default: True
+
+Library
+  Build-depends: base < 5,
+                 base-compat >= 0.8 && < 0.10,
+                 mtl,
+                 mtl-compat,
+                 network < 2.7,
+                 http-streams,
+                 HsOpenSSL,
+                 io-streams,
+                 http-types,
+                 HaXml >= 1.22 && < 1.26,
+                 http-streams,
+                 bytestring,
+                 base64-bytestring,
+                 old-locale,
+                 old-time,
+                 time,
+                 text,
+                 array,
+                 utf8-string,
+                 template-haskell,
+                 blaze-builder >= 0.2 && < 0.5
+
+  if flag(network-uri)
+    build-depends: network-uri >= 2.6, network >= 2.6
+  else
+    build-depends: network-uri < 2.6, network < 2.6
+
+  Exposed-Modules:
+        Network.XmlRpc.Client,
+        Network.XmlRpc.Server,
+        Network.XmlRpc.Internals,
+        Network.XmlRpc.Introspect,
+        Network.XmlRpc.THDeriveXmlRpcType,
+        Network.XmlRpc.Pretty,
+        Network.XmlRpc.DTD_XMLRPC
+  Other-Modules:
+        Network.XmlRpc.Base64
+  Default-extensions: OverlappingInstances, TypeSynonymInstances, FlexibleInstances
+  Other-extensions: OverloadedStrings, GeneralizedNewtypeDeriving, TemplateHaskell
+  Default-language: Haskell2010

packages.txt

@@ -397,7 +397,7 @@ hierarchical-clustering 0.4.6
 highlighting-kate 0.6.4 -fpcre-light
 hinotify 0.3.10
 hint 0.8.0 notest
-hit 0.6.3
+hit 0.6.3 ignore # BROKEN
 hjsmin 0.2.0.2
 hledger 1.10 key
 hledger-interest 1.5.2 binary key
@@ -411,7 +411,7 @@ hmt 0.16 ignore # https://bugs.debian.org/914352
 hoauth2 1.7.2
 hoogle 5.0.17.3 notest
 hookup 0.2.2
-hOpenPGP 2.7.2 key
+hOpenPGP 2.7.4.1 key ahead
 hopenpgp-tools 0.21.2 binary
 hosc 0.16
 hostname 1.0
@@ -848,7 +848,7 @@ stringbuilder 0.5.1 notest
 string-conversions 0.4.0.1
 stringprep 1.0.0
 stringsearch 0.3.6.6
-stylish-haskell 0.9.2.0 binary=stylish-haskell
+stylish-haskell 0.9.2.1 binary=stylish-haskell ahead
 svg-builder 0.1.1
 swish 0.10.0.1 key notest ahead
 syb 0.7