diff options
| author | johans <johans@FreeBSD.org> | 2010-11-09 15:09:26 +0800 |
|---|---|---|
| committer | johans <johans@FreeBSD.org> | 2010-11-09 15:09:26 +0800 |
| commit | d3fc2dd1a8b1afc7523bb318d268461e84a7482f (patch) | |
| tree | 530a290e87d3c84c85b4e631393ed0db2043e8db /README | |
| parent | 47909c1b80b13f7a61f88d6b402a5275663e0cad (diff) | |
| download | freebsd-ports-gnome-d3fc2dd1a8b1afc7523bb318d268461e84a7482f.tar.gz freebsd-ports-gnome-d3fc2dd1a8b1afc7523bb318d268461e84a7482f.tar.zst freebsd-ports-gnome-d3fc2dd1a8b1afc7523bb318d268461e84a7482f.zip | |
- Update coq to 8.3
- Add a patch to fix threading issues
Submitted by: AUGER Cedric <Cedric.Auger@lri.fr>
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions