rpms/cryptominisat
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

New upstream release.

Browse Source
This commit is contained in:
Jerry James 2013-09-23 09:24:54 -06:00
parent 082604ad0c
commit 428383256b
3 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.gitignore vendored
View File

@ -1 +1 @@
/cmsat-2.9.6.tar.gz /cmsat-2.9.8.tar.gz

9
cryptominisat.spec
View File

@ -1,13 +1,13 @@
Name: cryptominisat Name: cryptominisat
Version: 2.9.6 Version: 2.9.8
Release: 2%{?dist} Release: 1%{?dist}
Summary: SAT solver Summary: SAT solver
# The Mersenne Twister implementation is BSD-licensed. # The Mersenne Twister implementation is BSD-licensed.
# All other files are MIT-licensed. # All other files are MIT-licensed.
License: MIT License: MIT
URL: http://www.msoos.org/cryptominisat2/ URL: http://www.msoos.org/cryptominisat2/
Source0: https://gforge.inria.fr/frs/download.php/32160/cmsat-%{version}.tar.gz Source0: https://gforge.inria.fr/frs/download.php/32925/cmsat-%{version}.tar.gz
BuildRequires: zlib-devel BuildRequires: zlib-devel
Requires: %{name}-libs%{?_isa} = %{version}-%{release} Requires: %{name}-libs%{?_isa} = %{version}-%{release}
@ -68,6 +68,9 @@ rm -f $RPM_BUILD_ROOT%{_libdir}/*.la
%{_libdir}/lib%{name}-%{version}.so %{_libdir}/lib%{name}-%{version}.so
%changelog %changelog
* Mon Sep 23 2013 Jerry James <loganjerry@gmail.com> - 2.9.8-1
- New upstream release
* Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.6-2 * Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.6-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

2
sources
View File

@ -1 +1 @@
43bd33e85b0691d8f72c02e4d800f407 cmsat-2.9.6.tar.gz ab0b384359a4ffd99193a311bae42608 cmsat-2.9.8.tar.gz