[Git][haskell-team/package-plan][master] 4 commits: someone updated stylish-haskell (ahead)
Clint Adams
gitlab at salsa.debian.org
Sat Jan 19 14:24:51 GMT 2019
Clint Adams pushed to branch master at Debian Haskell Group / package-plan
Commits:
9b87e084 by Clint Adams at 2019-01-19T14:05:22Z
someone updated stylish-haskell (ahead)
- - - - -
758af511 by Clint Adams at 2019-01-19T14:22:05Z
add original cabal files for blaze-markup, cryptol, haxr
- - - - -
ce89553e by Clint Adams at 2019-01-19T14:22:19Z
mark hit ignored
- - - - -
65010750 by Clint Adams at 2019-01-19T14:24:38Z
update hOpenPGP
- - - - -
4 changed files:
- + additional-cabals/blaze-markup-0.8.2.1.cabal
- + additional-cabals/cryptol-2.6.0.cabal
- + additional-cabals/haxr-3000.11.2.cabal
- packages.txt
Changes:
=====================================
additional-cabals/blaze-markup-0.8.2.1.cabal
=====================================
@@ -0,0 +1,75 @@
+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 at 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
=====================================
@@ -0,0 +1,268 @@
+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 at 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
=====================================
@@ -0,0 +1,75 @@
+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 at bringert.net>
+Maintainer: Brent Yorgey <byorgey at 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
View it on GitLab: https://salsa.debian.org/haskell-team/package-plan/compare/e8ffe6a5c0cffc6be28a78dcf85a7a54d529ae32...65010750c03a490edb39742eaea1a22272a9430d
--
View it on GitLab: https://salsa.debian.org/haskell-team/package-plan/compare/e8ffe6a5c0cffc6be28a78dcf85a7a54d529ae32...65010750c03a490edb39742eaea1a22272a9430d
You're receiving this email because of your account on salsa.debian.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20190119/5585bf7f/attachment-0001.html>
More information about the Pkg-haskell-commits
mailing list