diff options
| author | stefan <stefan@FreeBSD.org> | 2008-12-12 22:30:09 +0800 |
|---|---|---|
| committer | stefan <stefan@FreeBSD.org> | 2008-12-12 22:30:09 +0800 |
| commit | fe9b854ad04f9e0dd8701c819497fdbdbe73a089 (patch) | |
| tree | 6c8c5cf2f401955035ff90ab940d1a8f84fe776d /math/coq | |
| parent | 2f454b4735fa98325fe4ace7cad1e5cdaa68e570 (diff) | |
| download | freebsd-ports-gnome-fe9b854ad04f9e0dd8701c819497fdbdbe73a089.tar.gz freebsd-ports-gnome-fe9b854ad04f9e0dd8701c819497fdbdbe73a089.tar.zst freebsd-ports-gnome-fe9b854ad04f9e0dd8701c819497fdbdbe73a089.zip | |
Update to 0.3.1.
PR: 126905
Submitted by: maintainer
Diffstat (limited to 'math/coq')
0 files changed, 0 insertions, 0 deletions