diff options
| author | John Marino <marino@FreeBSD.org> | 2015-06-26 22:13:46 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2015-06-26 22:13:46 +0000 |
| commit | 80ccba4850ca56bc9362b781154a2f9d10e975bc (patch) | |
| tree | 4daf20430b5936829f9563f515f67707afb86b33 /net/xrdp | |
| parent | - Mark ONLY_FOR_ARCHS: uses x86 assembly (diff) | |
math/why3-gpl: upgrade version 2014 => 2015
While here, decouple this port from math/why3. They are diverging fast.
This port is needed to build SPARK 2015 binaries which will be installed
by the lang/spark port (rather than building from source)
Notes
Notes:
svn path=/head/; revision=390670
Diffstat (limited to 'net/xrdp')
0 files changed, 0 insertions, 0 deletions