Package: glueminisat-2.2.5-3.fc17
Tag: None
Status: complete
Built by: pbrobinson
ID: 66010
Started: Mon, 30 Apr 2012 21:52:15 UTC
Finished: Mon, 30 Apr 2012 22:18:17 UTC
Changelog:
* Wed Apr 25 2012 John C. Peterson <jcp(a)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(a)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(a)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.fc17.src.rpm
Closed tasks:
-------------
Task 781716 on cdot-panda-7-4
Task Type: build (None, glueminisat-2.2.5-3.fc17.src.rpm)
Task 781717 on cdot-smarttop-8-4-v7hl
Task Type: buildArch (glueminisat-2.2.5-3.fc17.src.rpm, armv7hl)
logs:
http://arm.koji.fedoraproject.org/koji/getfile?taskID=781717&name=bui...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=781717&name=moc...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=781717&name=roo...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=781717&name=sta...
rpms:
http://armpkgs.fedoraproject.org/packages/glueminisat/2.2.5/3.fc17/armv7h...
http://armpkgs.fedoraproject.org/packages/glueminisat/2.2.5/3.fc17/armv7h...
Task 781718 on cdot-guru-2-3
Task Type: buildArch (glueminisat-2.2.5-3.fc17.src.rpm, armv5tel)
logs:
http://arm.koji.fedoraproject.org/koji/getfile?taskID=781718&name=bui...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=781718&name=moc...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=781718&name=roo...
http://arm.koji.fedoraproject.org/koji/getfile?taskID=781718&name=sta...
rpms:
http://armpkgs.fedoraproject.org/packages/glueminisat/2.2.5/3.fc17/armv5t...
http://armpkgs.fedoraproject.org/packages/glueminisat/2.2.5/3.fc17/armv5t...
Task Info:
http://arm.koji.fedoraproject.org/koji/taskinfo?taskID=781716
Build Info:
http://arm.koji.fedoraproject.org/koji/buildinfo?buildID=66010