rebuild with separate debuginfo build-ids

Release 3 (by relup.sh)

- filter out autodeps on private interfaces
- rel 2

- arm is a macro containing actual arm subarchs

- no go on x32

- up to 8.13.1

- up to 8.6

- rebuild with ocaml 4.04.1
- release 3 (by relup.sh)

- release 2 (by relup.sh)

- updated to 8.4pl6
- even more TeX BRs

- rel 2

- updated BRs and files

- add ocaml_opt bcond

- up to 8.4pl5

- rebuild with ocaml 4.02
- release 2 (by relup.sh)

- up to 8.4pl3

- rel 2

- rel 1

Changed files:
    coq.spec -> 1.24

- package installed docs

Changed files:
    coq.spec -> 1.23

- TODO and proper explanation why tests fail
- made make loud

Changed files:
    coq.spec -> 1.22

- tests bcond
- use xdg_open as browser

Changed files:
    coq.spec -> 1.21

- moved emacs and latex stuff to separate packages

Changed files:
    coq.spec -> 1.20

- updated files
- install docs to docdir

Changed files:
    coq.spec -> 1.19

- more texlive BR

Changed files:
    coq.spec -> 1.18

- more latex deps

Changed files:
    coq.spec -> 1.17

- BR texlive-latex-ams

Changed files:
    coq.spec -> 1.16

- 8.3pl1
- added desktop file and icon for coqide

Changed files:
    coq.spec -> 1.15

- icon for coqide desktop entry

Changed files:
    coqide.xpm -> 1.1

- desktop file for coqide

Changed files:
    coqide.desktop -> 1.1

- updated to 8.3pl1

Changed files:
    coq-lablgtk2.patch -> 1.2

- 8.3pl1
- up BR lablgtk2 to 2.12

Changed files:
    coq.spec -> 1.14

- drop obsolete files

Changed files:
    coq-ocaml-3.09.patch -> 1.2

- added TODO

Changed files:
    coq.spec -> 1.13

- 8.1pl4

Changed files:
    coq.spec -> 1.12

- work around stupid detection of lablgtk2

Changed files:
    coq-lablgtk2.patch -> 1.1

outdated

Changed files:
    coq-lablgtk26.patch -> 1.2

- tabs in preamble

Changed files:
    coq.spec -> 1.11

- converted to UTF-8

Changed files:
    coq.spec -> 1.10

- kill Icon: field (support for these is obsolete says jbj)

Changed files:
    coq.spec -> 1.9

- fix building with lablgtk2 2.6

Changed files:
    coq-lablgtk26.patch -> 1.1

- official build fix for ocaml 3.09

Changed files:
    coq-ocaml-3.09.patch -> 1.1

outdated

Changed files:
    coq-ocaml-3.07.patch -> 1.2

- release 2
- builds with new ocaml and lablgtk (with some patching)
- updated files (include coqide)

Changed files:
    coq.spec -> 1.8

- finish update to 8.0pl2

Changed files:
    coq.spec -> 1.7

- start up to 8.0pl2

Changed files:
    coq.spec -> 1.6

- cosmetics

Changed files:
    coq.spec -> 1.5

- pl, missing dirs

Changed files:
    coq.spec -> 1.4

- go ahead and edit it ;)

Changed files:
    coq.spec -> 1.3

- needed to build coq with ocaml 3.07

Changed files:
    coq-ocaml-3.07.patch -> 1.1

- add patch needed to build with ocaml 3.07

Changed files:
    coq.spec -> 1.2

- initial revision

Changed files:
    coq.spec -> 1.1