diff options
| author | Jimmy Olgeni <olgeni@FreeBSD.org> | 2010-12-10 17:18:45 +0000 |
|---|---|---|
| committer | Jimmy Olgeni <olgeni@FreeBSD.org> | 2010-12-10 17:18:45 +0000 |
| commit | 77bfa32f2b1b2c210833c8032c7aac8b811fbfd5 (patch) | |
| tree | 65705df74f9b7d7ccc5bdfccfca04bf859b67894 /math/coq | |
| parent | Upgrade to version 1.460. (diff) | |
Upgrade to version 1.530 (with status-1.530-1).
Notes
Notes:
svn path=/head/; revision=265993
Diffstat (limited to 'math/coq')
0 files changed, 0 insertions, 0 deletions