Hello community, here is the log from the commit of package cryptol for openSUSE:Factory checked in at 2017-05-16 14:41:33 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/cryptol (Old) and /work/SRC/openSUSE:Factory/.cryptol.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "cryptol" Tue May 16 14:41:33 2017 rev:1 rq:493885 version:2.4.0 Changes: -------- New Changes file: --- /dev/null 2017-03-01 00:40:19.279048016 +0100 +++ /work/SRC/openSUSE:Factory/.cryptol.new/cryptol.changes 2017-05-16 14:41:35.093228663 +0200 @@ -0,0 +1,15 @@ +------------------------------------------------------------------- +Sun Feb 5 19:31:34 UTC 2017 - [email protected] + +- Update to version 2.4.0 revision 1 with cabal2obs. + +------------------------------------------------------------------- +Thu Sep 15 06:50:00 UTC 2016 - [email protected] + +- Update to version 2.4.0 revision 0 with cabal2obs. + +------------------------------------------------------------------- +Mon Jul 18 07:59:45 UTC 2016 - [email protected] + +- Update to version 2.3.0 revision 0 with cabal2obs. + New: ---- cryptol-2.4.0.tar.gz cryptol.cabal cryptol.changes cryptol.spec ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ cryptol.spec ++++++ # # spec file for package cryptol # # Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany. # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed # upon. The license for this file, and modifications and additions to the # file, is the same license as for the pristine package itself (unless the # license for the pristine package is not an Open Source License, in which # case the license is the MIT License). An "Open Source License" is a # license that conforms to the Open Source Definition (Version 1.9) # published by the Open Source Initiative. # Please submit bugfixes or comments via http://bugs.opensuse.org/ # %global pkg_name cryptol Name: %{pkg_name} Version: 2.4.0 Release: 0 Summary: Cryptol: The Language of Cryptography License: BSD-3-Clause Group: Development/Languages/Other 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 BuildRequires: chrpath BuildRequires: ghc-Cabal-devel BuildRequires: ghc-GraphSCC-devel BuildRequires: ghc-QuickCheck-devel BuildRequires: ghc-ansi-terminal-devel BuildRequires: ghc-array-devel BuildRequires: ghc-async-devel BuildRequires: ghc-base-compat-devel BuildRequires: ghc-bytestring-devel BuildRequires: ghc-containers-devel BuildRequires: ghc-deepseq-devel BuildRequires: ghc-directory-devel BuildRequires: ghc-filepath-devel BuildRequires: ghc-gitrev-devel BuildRequires: ghc-haskeline-devel BuildRequires: ghc-heredoc-devel BuildRequires: ghc-monad-control-devel BuildRequires: ghc-monadLib-devel BuildRequires: ghc-old-time-devel BuildRequires: ghc-presburger-devel BuildRequires: ghc-pretty-devel BuildRequires: ghc-process-devel BuildRequires: ghc-random-devel BuildRequires: ghc-rpm-macros BuildRequires: ghc-sbv-devel BuildRequires: ghc-simple-smt-devel BuildRequires: ghc-smtLib-devel BuildRequires: ghc-syb-devel BuildRequires: ghc-template-haskell-devel BuildRequires: ghc-text-devel BuildRequires: ghc-tf-random-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. 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/>. %package -n ghc-%{name} Summary: Haskell %{name} library Group: System/Libraries %description -n ghc-%{name} This package provides the Haskell %{name} shared library. %package -n ghc-%{name}-devel Summary: Haskell %{name} library development files Group: Development/Libraries/Other Requires: ghc-%{name} = %{version}-%{release} Requires: ghc-compiler = %{ghc_version} Requires(post): ghc-compiler = %{ghc_version} Requires(postun): ghc-compiler = %{ghc_version} %description -n ghc-%{name}-devel This package provides the Haskell %{name} library development files. %prep %setup -q cp -p %{SOURCE1} %{name}.cabal %build %ghc_lib_build %install %ghc_lib_install %ghc_fix_rpath %{pkg_name}-%{version} %post -n ghc-%{name}-devel %ghc_pkg_recache %postun -n ghc-%{name}-devel %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 %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.cabal ++++++ Name: cryptol Version: 2.4.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/>. License: BSD3 License-file: LICENSE Author: Galois, Inc. Maintainer: [email protected] Homepage: http://www.cryptol.net/ Bug-reports: https://github.com/GaloisInc/cryptol/issues Copyright: 2013-2016 Galois Inc. Category: Language Build-type: Simple Cabal-version: >= 1.18 extra-source-files: bench/data/*.cry data-files: *.cry Cryptol/*.cry 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.4.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. flag server default: False description: Build with the ZeroMQ/JSON cryptol-server executable library Default-language: Haskell98 Build-depends: base >= 4.8 && < 5, base-compat >= 0.6, bytestring >= 0.10, array >= 0.4, async >= 2.0, 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, old-time >= 1.1, presburger >= 1.3, pretty >= 1.1, process >= 1.2, QuickCheck >= 2.7, random >= 1.0.1, sbv >= 5.12 && < 5.15, smtLib >= 1.0.7, simple-smt >= 0.6.0, syb >= 0.4, text >= 1.1, template-haskell, tf-random >= 0.5, transformers >= 0.3, transformers-base >= 0.4, utf8-string >= 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.Position, Cryptol.Parser.Names, Cryptol.Parser.Name, Cryptol.Parser.NoPat, Cryptol.Parser.NoInclude, Cryptol.Parser.Utils, Cryptol.Parser.Unlit, Cryptol.Utils.Ident, Cryptol.Utils.PP, Cryptol.Utils.Panic, Cryptol.Utils.Debug, Cryptol.Utils.Misc, 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.TypeCheck, Cryptol.TypeCheck.AST, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck.Infer, Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Kind, Cryptol.TypeCheck.Subst, Cryptol.TypeCheck.Instantiate, Cryptol.TypeCheck.Unify, Cryptol.TypeCheck.Depends, Cryptol.TypeCheck.PP, Cryptol.TypeCheck.Solve, Cryptol.TypeCheck.TypeMap, Cryptol.TypeCheck.TypeOf, Cryptol.TypeCheck.Sanity, Cryptol.TypeCheck.Solver.InfNat, Cryptol.TypeCheck.Solver.Class, Cryptol.TypeCheck.Solver.Selector, Cryptol.TypeCheck.Solver.Utils, Cryptol.TypeCheck.Solver.Simplify, Cryptol.TypeCheck.Solver.CrySAT, Cryptol.TypeCheck.Solver.Numeric.AST, Cryptol.TypeCheck.Solver.Numeric.ImportExport, Cryptol.TypeCheck.Solver.Numeric.Defined, 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, Cryptol.Transform.MonoValues, Cryptol.Transform.Specialize, Cryptol.Eval, Cryptol.Eval.Arch, Cryptol.Eval.Env, Cryptol.Eval.Error, 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 -O2 -fsimpl-tick-factor=140 if impl(ghc >= 8.0.1) ghc-options: -Wno-redundant-constraints ghc-prof-options: -fprof-auto if flag(relocatable) cpp-options: -DRELOCATABLE executable cryptol Default-language: Haskell98 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 , deepseq , directory , filepath , haskeline , monadLib , monad-control , process , random , sbv , tf-random , transformers 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 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 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 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 build-depends: base , criterion , cryptol , deepseq , text
