[ 09:21 johans  ]

• 1.33 math/coq/Makefile
• 1.14 math/coq/distinfo
• 1.2 math/coq/files/ide-coqide.diff
• 1.1 math/coq/files/patch-coq-camlp5-605
• 1.12 math/coq/pkg-plist

- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag

Feature safe:   yes

[ 07:09 johans  ]

• 1.25 math/coq/Makefile
• 1.11 math/coq/distinfo
• 1.1 math/coq/files/ide-coqide.diff
• 1.11 math/coq/pkg-plist

- Update coq to 8.3
- Add a patch to fix threading issues

Submitted by:   AUGER Cedric <Cedric.Auger@lri.fr>