K 10
svn:author
V 4
yuri
K 8
svn:date
V 27
2018-03-12T09:32:46.048478Z
K 7
svn:log
V 196
math/ltl: Update to 2.0.19

Maintaner's timeout expired: rossiya@gmail.com

Port changes:
* Changed to DISTVERSION
* Added LICENSE/LICENSE_FILE
* Added patch with headers for openpty

PR:		226215

END