K 10
svn:author
V 4
yuri
K 8
svn:date
V 27
2018-04-01T04:58:18.275689Z
K 7
svn:log
V 296
math/ipopt: Update 3.12.7 -> 3.12.9; Unbreak on 12

Port changes:
* Change to DISTVERSION
* Patch config.h to set HAVE_RAND=1. It was failing due to
  some glitch in configure: the rand() test program was failing
  because the declaration of the exit() function didn't match.
* Silence commands.

END