Hello community, here is the log from the commit of package cryptol for openSUSE:Factory checked in at 2017-09-15 22:31:03 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/cryptol (Old) and /work/SRC/openSUSE:Factory/.cryptol.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "cryptol" Fri Sep 15 22:31:03 2017 rev:2 rq:526058 version:2.5.0 Changes: -------- --- /work/SRC/openSUSE:Factory/cryptol/cryptol.changes 2017-05-16 14:41:35.093228663 +0200 +++ /work/SRC/openSUSE:Factory/.cryptol.new/cryptol.changes 2017-09-15 22:31:04.993393364 +0200 @@ -1,0 +2,6 @@ +Wed Sep 13 08:22:23 UTC 2017 - [email protected] + +- Update to version 2.5.0 revision 1. + A more detailed change log is not available. + +------------------------------------------------------------------- Old: ---- cryptol-2.4.0.tar.gz New: ---- cryptol-2.5.0.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ cryptol.spec ++++++ --- /var/tmp/diff_new_pack.111IXS/_old 2017-09-15 22:31:05.613306040 +0200 +++ /var/tmp/diff_new_pack.111IXS/_new 2017-09-15 22:31:05.617305477 +0200 @@ -18,12 +18,12 @@ %global pkg_name cryptol Name: %{pkg_name} -Version: 2.4.0 +Version: 2.5.0 Release: 0 Summary: Cryptol: The Language of Cryptography License: BSD-3-Clause -Group: Development/Languages/Other -Url: https://hackage.haskell.org/package/%{name} +Group: Development/Libraries/Haskell +URL: https://hackage.haskell.org/package/%{name} Source0: https://hackage.haskell.org/package/%{name}-%{version}/%{name}-%{version}.tar.gz Source1: https://hackage.haskell.org/package/%{name}-%{version}/revision/1.cabal#/%{name}.cabal BuildRequires: alex @@ -45,6 +45,7 @@ BuildRequires: ghc-heredoc-devel BuildRequires: ghc-monad-control-devel BuildRequires: ghc-monadLib-devel +BuildRequires: ghc-mtl-devel BuildRequires: ghc-old-time-devel BuildRequires: ghc-presburger-devel BuildRequires: ghc-pretty-devel @@ -58,12 +59,12 @@ BuildRequires: ghc-template-haskell-devel BuildRequires: ghc-text-devel BuildRequires: ghc-tf-random-devel +BuildRequires: ghc-time-devel BuildRequires: ghc-transformers-base-devel BuildRequires: ghc-transformers-devel BuildRequires: ghc-utf8-string-devel BuildRequires: happy Requires: z3 -BuildRoot: %{_tmppath}/%{name}-%{version}-build %description Cryptol is a domain-specific language for specifying cryptographic algorithms. @@ -80,7 +81,7 @@ %package -n ghc-%{name}-devel Summary: Haskell %{name} library development files -Group: Development/Libraries/Other +Group: Development/Libraries/Haskell Requires: ghc-%{name} = %{version}-%{release} Requires: ghc-compiler = %{ghc_version} Requires(post): ghc-compiler = %{ghc_version} @@ -107,19 +108,17 @@ %ghc_pkg_recache %files -%defattr(-,root,root,-) %doc LICENSE %{_bindir}/%{name} %dir %{_datadir}/%{name}-%{version} %dir %{_datadir}/%{name}-%{version}/Cryptol %{_datadir}/%{name}-%{version}/*.cry %{_datadir}/%{name}-%{version}/Cryptol/*.cry +%{_datadir}/%{name}-%{version}/*.z3 %files -n ghc-%{name} -f ghc-%{name}.files -%defattr(-,root,root,-) %doc LICENSE %files -n ghc-%{name}-devel -f ghc-%{name}-devel.files -%defattr(-,root,root,-) %changelog ++++++ cryptol-2.4.0.tar.gz -> cryptol-2.5.0.tar.gz ++++++ ++++ 20079 lines of diff (skipped) ++++++ cryptol.cabal ++++++ --- /var/tmp/diff_new_pack.111IXS/_old 2017-09-15 22:31:05.833275054 +0200 +++ /var/tmp/diff_new_pack.111IXS/_new 2017-09-15 22:31:05.837274491 +0200 @@ -1,5 +1,5 @@ Name: cryptol -Version: 2.4.0 +Version: 2.5.0 x-revision: 1 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/>. @@ -9,13 +9,13 @@ Maintainer: [email protected] Homepage: http://www.cryptol.net/ Bug-reports: https://github.com/GaloisInc/cryptol/issues -Copyright: 2013-2016 Galois Inc. +Copyright: 2013-2017 Galois Inc. Category: Language Build-type: Simple Cabal-version: >= 1.18 extra-source-files: bench/data/*.cry -data-files: *.cry Cryptol/*.cry +data-files: *.cry Cryptol/*.cry *.z3 data-dir: lib source-repository head @@ -25,7 +25,7 @@ source-repository this type: git location: https://github.com/GaloisInc/cryptol.git - tag: 2.4.0 + tag: 2.5.0 flag static default: False @@ -35,9 +35,10 @@ 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. -flag server - default: False - description: Build with the ZeroMQ/JSON cryptol-server executable +-- 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: @@ -62,18 +63,20 @@ process >= 1.2, QuickCheck >= 2.7, random >= 1.0.1, - sbv >= 5.12 && < 5.15, + sbv >= 7.0, smtLib >= 1.0.7, - simple-smt >= 0.6.0, + simple-smt >= 0.7.0, syb >= 0.4, text >= 1.1, template-haskell, tf-random >= 0.5, transformers >= 0.3, transformers-base >= 0.4, - utf8-string >= 0.3 + utf8-string >= 0.3, + mtl >= 2.2.1, + time >= 1.6.0.1 - Build-tools: alex, happy + Build-tools: alex, happy < 1.19.6 hs-source-dirs: src Exposed-modules: Cryptol.Prims.Syntax, @@ -95,6 +98,7 @@ Cryptol.Utils.Panic, Cryptol.Utils.Debug, Cryptol.Utils.Misc, + Cryptol.Utils.Patterns, Cryptol.Version, Cryptol.ModuleSystem, @@ -107,6 +111,9 @@ Cryptol.ModuleSystem.Renamer, Cryptol.TypeCheck, + Cryptol.TypeCheck.Type, + Cryptol.TypeCheck.TypePat, + Cryptol.TypeCheck.SimpType, Cryptol.TypeCheck.AST, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck.Infer, @@ -118,16 +125,20 @@ Cryptol.TypeCheck.Depends, Cryptol.TypeCheck.PP, Cryptol.TypeCheck.Solve, + 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.Simplify, + Cryptol.TypeCheck.Solver.Numeric, + Cryptol.TypeCheck.Solver.Improve, Cryptol.TypeCheck.Solver.CrySAT, Cryptol.TypeCheck.Solver.Numeric.AST, Cryptol.TypeCheck.Solver.Numeric.ImportExport, @@ -135,7 +146,6 @@ Cryptol.TypeCheck.Solver.Numeric.Fin, Cryptol.TypeCheck.Solver.Numeric.Interval, Cryptol.TypeCheck.Solver.Numeric.Simplify, - Cryptol.TypeCheck.Solver.Numeric.Simplify1, Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr, Cryptol.TypeCheck.Solver.Numeric.NonLin, Cryptol.TypeCheck.Solver.Numeric.SMT, @@ -146,7 +156,8 @@ Cryptol.Eval, Cryptol.Eval.Arch, Cryptol.Eval.Env, - Cryptol.Eval.Error, + Cryptol.Eval.Monad, + Cryptol.Eval.Reference, Cryptol.Eval.Type, Cryptol.Eval.Value, @@ -197,10 +208,10 @@ , monad-control , process , random - , sbv + , sbv >= 7.0 , tf-random , transformers - GHC-options: -Wall -O2 -threaded -rtsopts -with-rtsopts=-N1 + GHC-options: -Wall -O2 -threaded -rtsopts "-with-rtsopts=-N1 -A64m" if impl(ghc >= 8.0.1) ghc-options: -Wno-redundant-constraints ghc-prof-options: -auto-all -rtsopts @@ -208,43 +219,44 @@ if os(linux) && flag(static) ld-options: -static -pthread -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 -O2 -threaded -rtsopts -with-rtsopts=-N1 - if impl(ghc >= 8.0.1) - ghc-options: -Wno-redundant-constraints - ghc-prof-options: -auto-all -rtsopts - 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 +-- 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 -O2 -threaded -rtsopts "-with-rtsopts=-N1 -A64m" +-- if impl(ghc >= 8.0.1) +-- ghc-options: -Wno-redundant-constraints +-- ghc-prof-options: -auto-all -rtsopts +-- 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 -O2 -threaded -rtsopts -with-rtsopts=-N + GHC-options: -Wall -O2 -threaded -rtsopts "-with-rtsopts=-N1 -A64m" if impl(ghc >= 8.0.1) ghc-options: -Wno-redundant-constraints ghc-prof-options: -auto-all -rtsopts @@ -254,4 +266,7 @@ , criterion , cryptol , deepseq + , directory + , filepath + , sbv >= 7.0 , text
