- New upstream release
    - Seems documentation license has changed or wasn't explicitly stated
        before, fixed (is ok Fedora license)
    - Added versioning to documentation
    - Removed special OCaml, TeX logic for Fedora < 9 (no longer relevant)
    - Dropped makefile patch for compiling grammar.cma (fixed in Coq 8.2)
    - Dropped cmxa-install patch (fixed in Coq 8.2)
    - Changed makefile-strip patch and name (not yet fixed upstream...)
    - Changed check.patch -> coq-check-(version).patch, slightly changed for
        8.2 (not yet fixed upstream...)
    - Dropped parser-renaming makefile-parser.patch, parser-man.patch (fixed in
        Coq 8.2)
    - Dropped coq-lablgtk-2.12.patch (fixed in Coq 8.2)
    - Changed way source (.v) files are installed
    - Stopped addition of other icon file (icon fixed in Coq 8.2)
    - Bytecode executables are now "clean" (not build with custom -> don't need
        to configure prelink around these)
    - define -> global
    - Added ExcludeArch sparc64