- Mon Jan 23 2012 Jerry James <loganjerry@gmail.com> - 20120123-1
- New upstream version
- Fri Jan 6 2012 Jerry James <loganjerry@gmail.com> - 20111019-3
- Rebuild for ocaml 3.12.1
- Mon Dec 19 2011 Jerry James <loganjerry@gmail.com> - 20111019-2
- Change the subpackages to match Debian
- Add patch to allow building demos outside of the menhir source tree - Wed Nov 9 2011 Jerry James <loganjerry@gmail.com> - 20111019-1
- Initial RPM