diff options
| author | Renato Botelho <garga@FreeBSD.org> | 2005-12-05 09:30:32 +0000 |
|---|---|---|
| committer | Renato Botelho <garga@FreeBSD.org> | 2005-12-05 09:30:32 +0000 |
| commit | 3a3f8a389c6d18bb22d61fbeac741af7aff4269b (patch) | |
| tree | 830e2a7a594801d52128e7a369ee24453ffa0c32 /math/coq | |
| parent | Enable IDE by default. (diff) | |
- Update to 0.8.0
- Respect WITHOUT_SSL knob
PR: ports/89840
Submitted by: maintainer
Notes
Notes:
svn path=/head/; revision=150450
Diffstat (limited to 'math/coq')
0 files changed, 0 insertions, 0 deletions