---
- branch: MAIN
  date: Tue Mar 13 05:45:25 UTC 2018
  files:
  - new: '1.11'
    old: '1.10'
    path: pkgsrc/devel/verifast/Makefile
    pathrev: pkgsrc/devel/verifast/Makefile@1.11
    type: modified
  - new: '1.4'
    old: '1.3'
    path: pkgsrc/devel/verifast/distinfo
    pathrev: pkgsrc/devel/verifast/distinfo@1.4
    type: modified
  - new: '1.1'
    old: '0'
    path: pkgsrc/devel/verifast/files/GNUmakefile.settings
    pathrev: pkgsrc/devel/verifast/files/GNUmakefile.settings@1.1
    type: added
  - new: '1.3'
    old: '1.2'
    path: pkgsrc/devel/verifast/patches/patch-src_GNUmakefile
    pathrev: pkgsrc/devel/verifast/patches/patch-src_GNUmakefile@1.3
    type: modified
  - new: '0'
    old: '1.1'
    path: pkgsrc/devel/verifast/patches/patch-src_linux_caml__stopwatch.c
    pathrev: pkgsrc/devel/verifast/patches/patch-src_linux_caml__stopwatch.c@0
    type: deleted
  id: 20180313T054525Z.b35edcb1acc2a9b05e9caa2c2c1201f498677ae1
  log: |
    Update to 18.02 to fix build with ocaml 4.06.

    pkgsrc changes:
      - depends on z3; theoretically optional but build fails without it
      - needs ocaml-findlib now
      - use ocaml.mk

    No upstream changelog that I can find besides the github history.
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/devel/verifast'
  unixtime: '1520919925'
  user: dholland