* Thu Mar 31 2011 Jerry James <loganjerry@gmail.com> - 8.3pl1-1
    - New upstream release
    - Drop BuildRoot tag and clean section
    - Drop all patches (all merged or otherwise fixed upstream)
    - Comply with latest Ocaml packaging specs
    - Identify xdg-open as the default web browser
    - Comply with the emacs packaging guidelines, and build an XEmacs package
    - The -doc and -emacs* subpackages are now noarch
    - Workaround bug 691913
    - Drop PostScript documentation; it's identical to PDF documentation
    - Deal with arch-specific files in /usr/share; install everything to libdir,
      then move the noarch stuff to datadir, but leave symlinks behind
    - Add a new mime type application/x-coqide and use it in the desktop file
    - Add post and postun scripts