Package: glueminisat-2.2.5-3.fc16 Tag: None Status: complete Built by: sharkcz
S390 Koji Build System
buildsys at fedoraproject.org
Sat May 12 04:34:46 UTC 2012
Package: glueminisat-2.2.5-3.fc16
Tag: None
Status: complete
Built by: sharkcz
ID: 108129
Started: Sat, 12 May 2012 04:31:54 EDT
Finished: Sat, 12 May 2012 04:33:17 EDT
Changelog:
* Wed Apr 25 2012 John C. Peterson <jcp at eskimo.com> - 2.2.5-3
- Wrote an HTML "intro" document with links to David Wheeler's MiniSat tutorial
- Fixed minor typo error in the comments about the URL tag value
- Added some additional information to the package description
* Tue Apr 24 2012 John C. Peterson <jcp at eskimo.com> - 2.2.5-2
- Replaced the usage of redundant global "myname" with standard macro "name"
- Replaced the occurrences of glueminisat with "name" macro in source, patches
- Sent the patches to upstream (Hidetomo Nabeshima, the primary author)
- Addition to glueminisat-printf.patch (based on feedback from author)
* Sat Apr 14 2012 John C. Peterson <jcp at eskimo.com> - 2.2.5-1
- Note that GlueMiniSat is a derivative work of the MiniSat 2.2 SAT solver
- Initial RPM spec file is based on the one from the Fedora minisat2 package
- Cosmetic patch to keep progress messages under 80 characters (avoids wrap)
- Adapted the FPU patch from the Fedora minisat2 package
SRPMS:
glueminisat-2.2.5-3.fc16.src.rpm
Closed tasks:
-------------
Task 657720 on fedora2.s390.bos.redhat.com
Task Type: buildArch (glueminisat-2.2.5-3.fc16.src.rpm, s390x)
logs:
http://s390.koji.fedoraproject.org/koji/getfile?taskID=657720&name=build.log
http://s390.koji.fedoraproject.org/koji/getfile?taskID=657720&name=mock_output.log
http://s390.koji.fedoraproject.org/koji/getfile?taskID=657720&name=root.log
http://s390.koji.fedoraproject.org/koji/getfile?taskID=657720&name=state.log
rpms:
http://s390pkgs.fedoraproject.org/packages/glueminisat/2.2.5/3.fc16/s390x/glueminisat-2.2.5-3.fc16.s390x.rpm
http://s390pkgs.fedoraproject.org/packages/glueminisat/2.2.5/3.fc16/s390x/glueminisat-debuginfo-2.2.5-3.fc16.s390x.rpm
Task 657718 on fedora3.s390.bos.redhat.com
Task Type: build (None, glueminisat-2.2.5-3.fc16.src.rpm)
Task 657719 on fedora1.s390.bos.redhat.com
Task Type: buildArch (glueminisat-2.2.5-3.fc16.src.rpm, s390)
logs:
http://s390.koji.fedoraproject.org/koji/getfile?taskID=657719&name=build.log
http://s390.koji.fedoraproject.org/koji/getfile?taskID=657719&name=mock_output.log
http://s390.koji.fedoraproject.org/koji/getfile?taskID=657719&name=root.log
http://s390.koji.fedoraproject.org/koji/getfile?taskID=657719&name=state.log
rpms:
http://s390pkgs.fedoraproject.org/packages/glueminisat/2.2.5/3.fc16/s390/glueminisat-2.2.5-3.fc16.s390.rpm
http://s390pkgs.fedoraproject.org/packages/glueminisat/2.2.5/3.fc16/s390/glueminisat-debuginfo-2.2.5-3.fc16.s390.rpm
Task Info: http://s390.koji.fedoraproject.org/koji/taskinfo?taskID=657718
Build Info: http://s390.koji.fedoraproject.org/koji/buildinfo?buildID=108129
More information about the s390-builds
mailing list