CVS commit: pkgsrc/devel/why3

["Alexander Nasonov" <alnsn%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Sat Jan 10 18:26:49 UTC 2026

Modified Files:
        pkgsrc/devel/why3: Makefile distinfo

Log Message:
Update devel/why3 to version 1.8.2, add ocaml-zip build dependency.

Version 1.8.2, September 16, 2025
---------------------------

Compilation
  * compatibility with OCaml 5.4 (MR !1228)

Provers
  * fix soundness bug with floats in Alt-Ergo 2.6.x (issue #905)

Sessions
  * fix issue with file identifiers in sessions (MR !1231)

Extraction
  * restore compatibility of OCaml extraction with js_of_ocaml

Version 1.8.1, June 4, 2025
---------------------------

Core
  * fix cloning of injective records

Miscellaneous
  * fix compilation error with GCC 15

Plugins
  * resurrect the BDD-infer loop invariant generation plug-in


To generate a diff of this commit:
cvs rdiff -u -r1.13 -r1.14 pkgsrc/devel/why3/Makefile
cvs rdiff -u -r1.2 -r1.3 pkgsrc/devel/why3/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/devel/why3/Makefile
diff -u pkgsrc/devel/why3/Makefile:1.13 pkgsrc/devel/why3/Makefile:1.14
--- pkgsrc/devel/why3/Makefile:1.13     Fri Jan  9 20:46:34 2026
+++ pkgsrc/devel/why3/Makefile  Sat Jan 10 18:26:49 2026
@@ -1,7 +1,6 @@
-# $NetBSD: Makefile,v 1.13 2026/01/09 20:46:34 alnsn Exp $
+# $NetBSD: Makefile,v 1.14 2026/01/10 18:26:49 alnsn Exp $
 
-DISTNAME=      why3-1.8.0
-PKGREVISION=   6
+DISTNAME=      why3-1.8.2
 CATEGORIES=    devel
 MASTER_SITES=  https://why3.gitlabpages.inria.fr/releases/
 
@@ -21,6 +20,7 @@ INSTALL_TARGET=               install install-lib
 DEPENDS+=              coq>=8.16:../../lang/coq
 
 .include "../../lang/ocaml/buildlink3.mk"
+.include "../../archivers/ocaml-zip/buildlink3.mk"
 .include "../../devel/ocamlgraph/buildlink3.mk"
 .include "../../math/ocaml-zarith/buildlink3.mk"
 .include "../../x11/ocaml-lablgtk3/buildlink3.mk"

Index: pkgsrc/devel/why3/distinfo
diff -u pkgsrc/devel/why3/distinfo:1.2 pkgsrc/devel/why3/distinfo:1.3
--- pkgsrc/devel/why3/distinfo:1.2      Mon Mar  3 03:27:04 2025
+++ pkgsrc/devel/why3/distinfo  Sat Jan 10 18:26:49 2026
@@ -1,5 +1,5 @@
-$NetBSD: distinfo,v 1.2 2025/03/03 03:27:04 dholland Exp $
+$NetBSD: distinfo,v 1.3 2026/01/10 18:26:49 alnsn Exp $
 
-BLAKE2s (why3-1.8.0.tar.gz) = 34704a96ace3b7d6b795259ef6e06c03d6944d740af1c3b1f5567c108788863a
-SHA512 (why3-1.8.0.tar.gz) = 8d30ac4a1280a7d7741ef862365e06aa3218a78fd01ca7f969f0d6515245c7259fcc81897bfe08c581c6b37639d1465ab4a96657f3baf4c747988df8201d4549
-Size (why3-1.8.0.tar.gz) = 7373730 bytes
+BLAKE2s (why3-1.8.2.tar.gz) = 064f42121f2387523d91769e394fe3b5d57561844a602680e957d6c183bc0b35
+SHA512 (why3-1.8.2.tar.gz) = a35e88fafe1aa29c36d2248c1a644eae85afa1bb7b3009193f4a5c28ba684d0882717d63733d8581a7c2cd5ec493e2d15c82baabef615b4d00323fa9309875f8
+Size (why3-1.8.2.tar.gz) = 7360550 bytes