summaryrefslogtreecommitdiff
path: root/math/why3
diff options
context:
space:
mode:
authorWesley Shields <wxs@FreeBSD.org>2014-06-04 19:07:16 +0000
committerWesley Shields <wxs@FreeBSD.org>2014-06-04 19:07:16 +0000
commit2af70fc42990fdd30a7d5cbc248d36f932b56c5f (patch)
treeb6ea794e1c66a2c2fcbedc05f6b7487a4d2be91f /math/why3
parentPatch CVE-2014-3466 to prevent memory corruption due to server hello parsing. (diff)
Fix build.
Notes
Notes: svn path=/head/; revision=356536
Diffstat (limited to 'math/why3')
0 files changed, 0 insertions, 0 deletions