pkgsrc/devel/verifast/distinfo

$NetBSD: distinfo,v 1.4 2018/03/13 05:45:25 dholland Exp $

SHA1 (verifast-18.02.tar.gz) = 6100ea410e5f7e1c5ceacc16263137f60ebe7ced
RMD160 (verifast-18.02.tar.gz) = 28d98b0033a9026599db6098bde6871c47d99ded
SHA512 (verifast-18.02.tar.gz) = 5f1c6203d9db4556a00402e56b6699cb00e75c388f2de6f957558cf7611ddabddccfc4ae1235a1cd8fabc4ec5673df6588e475328ed562799f1fa687ad5c38aa
Size (verifast-18.02.tar.gz) = 1732020 bytes
SHA1 (patch-src_GNUmakefile) = 880a8369c92eaf3162e62b104ee2a3755f3d6055
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. 2018-03-13 06:45:25 +01:00			$NetBSD: distinfo,v 1.4 2018/03/13 05:45:25 dholland Exp $
Import verifast-17.06 as devel/verifast. VeriFast is a research prototype of a tool for modular formal verification of correctness properties of single-threaded and multithreaded C and Java programs annotated with preconditions and postconditions written in separation logic. This is recommended by Kiwamu Okabe in Japan NetBSD Users' Group BOF 2017 at the University of Tokyo. 2017-07-12 03:54:16 +02:00
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. 2018-03-13 06:45:25 +01:00			`SHA1 (verifast-18.02.tar.gz) = 6100ea410e5f7e1c5ceacc16263137f60ebe7ced`
			`RMD160 (verifast-18.02.tar.gz) = 28d98b0033a9026599db6098bde6871c47d99ded`
			`SHA512 (verifast-18.02.tar.gz) = 5f1c6203d9db4556a00402e56b6699cb00e75c388f2de6f957558cf7611ddabddccfc4ae1235a1cd8fabc4ec5673df6588e475328ed562799f1fa687ad5c38aa`
			`Size (verifast-18.02.tar.gz) = 1732020 bytes`
			`SHA1 (patch-src_GNUmakefile) = 880a8369c92eaf3162e62b104ee2a3755f3d6055`