[pkgsrc/trunk]: pkgsrc/doc Added devel/verifast version 17.06

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/a138ddc265b8
branches:  trunk
changeset: 365244:a138ddc265b8
user:      ryoon <ryoon%pkgsrc.org@localhost>
date:      Wed Jul 12 01:56:13 2017 +0000

description:
Added devel/verifast version 17.06

diffstat:

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

diffs (14 lines):

diff -r d94134b5e6c2 -r a138ddc265b8 doc/CHANGES-2017
--- a/doc/CHANGES-2017  Wed Jul 12 01:55:17 2017 +0000
+++ b/doc/CHANGES-2017  Wed Jul 12 01:56:13 2017 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2017,v 1.2866 2017/07/11 20:27:31 bsiegert Exp $
+$NetBSD: CHANGES-2017,v 1.2867 2017/07/12 01:56:13 ryoon Exp $
 
 Changes to the packages collection and infrastructure in 2017:
 
@@ -3946,3 +3946,4 @@
        Updated devel/polly to 4.0.1 [adam 2017-07-11]
        Updated devel/lldb to 4.0.1 [adam 2017-07-11]
        Added www/caddy version 0.10.4 [bsiegert 2017-07-11]
+       Added devel/verifast version 17.06 [ryoon 2017-07-12]