diff options
| author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2013-02-17 10:31:36 +0000 |
|---|---|---|
| committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2013-02-17 10:31:36 +0000 |
| commit | cb0287c3fd427639069d9742e71af33f9f5827fc (patch) | |
| tree | 244f29b751f1ba3c16d5cfcc083ff8b09dc99589 /math/coq/files | |
| parent | Document Jenkins Security Advisory 2013-02-16 (diff) | |
- Update to 1.502
Security: 7fe5b84a-78eb-11e2-8441-00e0814cab4e
Notes
Notes:
svn path=/head/; revision=312409
Diffstat (limited to 'math/coq/files')
0 files changed, 0 insertions, 0 deletions