Johan van Selst
|
f07a671354
|
- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag
Feature safe: yes
|
2012-03-25 09:21:05 +00:00 |
|
Johan van Selst
|
1bcf11304d
|
- Update coq to 8.3pl1
- Remove obsoleted patch (fixed in dist)
|
2011-02-12 12:30:08 +00:00 |
|
Johan van Selst
|
1daff35100
|
Fix build with new ocaml preprocessor (patch from upstream)
Reported by: pointyhat via pav
|
2010-12-10 17:23:11 +00:00 |
|
Johan van Selst
|
51ccf06067
|
- Update coq to 8.3
- Add a patch to fix threading issues
Submitted by: AUGER Cedric <Cedric.Auger@lri.fr>
|
2010-11-09 07:09:26 +00:00 |
|