commit cryptol for openSUSE:Factory

2017-09-15 Thread root 
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 - psim...@suse.com
+
+- 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 .
@@ -9,13 +9,13 @@
 Maintainer:  cryp...@galois.com
 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:

commit cryptol for openSUSE:Factory

2017-05-16 Thread root 
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 - psim...@suse.com
+
+- Update to version 2.4.0 revision 1 with cabal2obs.
+
+---
+Thu Sep 15 06:50:00 UTC 2016 - psim...@suse.com
+
+- Update to version 2.4.0 revision 0 with cabal2obs.
+
+---
+Mon Jul 18 07:59:45 UTC 2016 - psim...@suse.com
+
+- 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 .

%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_recac