Changelog for csisat-1.2-9.fc18.x86_64.rpm :
Mon Aug 20 14:00:00 2012 Jerry James - 1.2-9
- Rebuild for new picosat

Wed Jul 18 14:00:00 2012 Fedora Release Engineering - 1.2-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Fri Jan 6 13:00:00 2012 Jerry James - 1.2-7
- Rebuild for GCC 4.7 and Ocaml 3.12.1

Mon Nov 14 13:00:00 2011 Jerry James - 1.2-6
- Change supported arches list to %{ocaml_arches}
- Drop unnecessary spec file elements (%clean, etc.)

Tue Feb 8 13:00:00 2011 Fedora Release Engineering - 1.2-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

Mon Jan 31 13:00:00 2011 Jerry James - 1.2-4
- Don\'t use the OCaml dependency generators, which find no dependencies
- Update list of supported arches from the ocaml spec file

Thu Jan 27 13:00:00 2011 Jerry James - 1.2-3
- Rebuild for new picosat and new ocaml
- BR subversion to eliminate build noise from svnversion failing
- Parallel make still isn\'t fixed; disable until I can figure it out

Tue Jan 19 13:00:00 2010 Jerry James - 1.2-2
- Fix parallel make
- Less opaque description

Wed Sep 2 14:00:00 2009 Jerry James - 1.2-1
- Initial RPM