diff options
| author | Jun Kuriyama <kuriyama@FreeBSD.org> | 2013-02-17 09:45:16 +0000 |
|---|---|---|
| committer | Jun Kuriyama <kuriyama@FreeBSD.org> | 2013-02-17 09:45:16 +0000 |
| commit | 2abd4e66e61e6d36a40d021c714d227d60581564 (patch) | |
| tree | ff0a3e7757ed5fbd18ddb530997eebb93ad50fd1 /math/coq/files | |
| parent | - Fix SOUND support[1] (diff) | |
- Upgrade to 3.0.0.
PR: ports/176135 (based on)
Submitted by: Takashi Kato <townwear@gmail.com>
Notes
Notes:
svn path=/head/; revision=312407
Diffstat (limited to 'math/coq/files')
0 files changed, 0 insertions, 0 deletions