[pkgsrc/trunk]: pkgsrc/doc Added math/yices2.

[alnsn <alnsn%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/70cf0a8451d7
branches:  trunk
changeset: 400222:70cf0a8451d7
user:      alnsn <alnsn%pkgsrc.org@localhost>
date:      Sat Aug 24 22:11:20 2019 +0000

description:
Added math/yices2.

diffstat:

 doc/CHANGES-2019 |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (14 lines):

diff -r a71d9ffaace6 -r 70cf0a8451d7 doc/CHANGES-2019
--- a/doc/CHANGES-2019  Sat Aug 24 22:10:16 2019 +0000
+++ b/doc/CHANGES-2019  Sat Aug 24 22:11:20 2019 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2019,v 1.3612 2019/08/24 15:57:29 ng0 Exp $
+$NetBSD: CHANGES-2019,v 1.3613 2019/08/24 22:11:20 alnsn Exp $
 
 Changes to the packages collection and infrastructure in 2019:
 
@@ -5911,3 +5911,4 @@
        Updated security/ocaml-ssl to 0.5.9 [jaapb 2019-08-24]
        Updated www/ocsigen to 2.15.0 [jaapb 2019-08-24]
        Added security/doas version 6.1 [ng0 2019-08-24]
+       Added math/yices2 version 2.6.1 [alnsn 2019-08-24]