CVS commit: pkgsrc

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

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Sun Oct 25 00:58:53 UTC 2026

Modified Files:
        pkgsrc/devel/ocaml-git: Makefile
        pkgsrc/devel/why3: Makefile
        pkgsrc/lang/spark2014-13: Makefile
        pkgsrc/lang/spark2014-14: Makefile

Log Message:
Revbump after devel/ocamlgraph update.


To generate a diff of this commit:
cvs rdiff -u -r1.12 -r1.13 pkgsrc/devel/ocaml-git/Makefile
cvs rdiff -u -r1.23 -r1.24 pkgsrc/devel/why3/Makefile
cvs rdiff -u -r1.3 -r1.4 pkgsrc/lang/spark2014-13/Makefile
cvs rdiff -u -r1.5 -r1.6 pkgsrc/lang/spark2014-14/Makefile

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

Modified files:

Index: pkgsrc/devel/ocaml-git/Makefile
diff -u pkgsrc/devel/ocaml-git/Makefile:1.12 pkgsrc/devel/ocaml-git/Makefile:1.13
--- pkgsrc/devel/ocaml-git/Makefile:1.12        Sun Mar  1 12:38:24 2026
+++ pkgsrc/devel/ocaml-git/Makefile     Sun Oct 25 00:58:52 2026
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.12 2026/03/01 12:38:24 gdt Exp $
+# $NetBSD: Makefile,v 1.13 2026/10/25 00:58:52 alnsn Exp $
 
 GITHUB_PROJECT=        ocaml-git
 DISTNAME=      ${GITHUB_PROJECT}-2.0.0
-PKGREVISION=   5
+PKGREVISION=   6
 CATEGORIES=    devel
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=mirage/}
 

Index: pkgsrc/devel/why3/Makefile
diff -u pkgsrc/devel/why3/Makefile:1.23 pkgsrc/devel/why3/Makefile:1.24
--- pkgsrc/devel/why3/Makefile:1.23     Sat Oct  3 06:56:42 2026
+++ pkgsrc/devel/why3/Makefile  Sun Oct 25 00:58:52 2026
@@ -1,7 +1,7 @@
-# $NetBSD: Makefile,v 1.23 2026/10/03 06:56:42 wiz Exp $
+# $NetBSD: Makefile,v 1.24 2026/10/25 00:58:52 alnsn Exp $
 
 DISTNAME=      why3-1.8.2
-PKGREVISION=   6
+PKGREVISION=   7
 CATEGORIES=    devel
 MASTER_SITES=  https://why3.gitlabpages.inria.fr/releases/
 

Index: pkgsrc/lang/spark2014-13/Makefile
diff -u pkgsrc/lang/spark2014-13/Makefile:1.3 pkgsrc/lang/spark2014-13/Makefile:1.4
--- pkgsrc/lang/spark2014-13/Makefile:1.3       Sun Mar  1 12:38:35 2026
+++ pkgsrc/lang/spark2014-13/Makefile   Sun Oct 25 00:58:53 2026
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.3 2026/03/01 12:38:35 gdt Exp $
+# $NetBSD: Makefile,v 1.4 2026/10/25 00:58:53 alnsn Exp $
 
 DISTNAME=      ${GITHUB_PROJECT}
 PKGNAME=       ${GITHUB_PROJECT}-13-13.3.0
-PKGREVISION=   2
+PKGREVISION=   3
 CATEGORIES=    lang devel
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=AdaCore/}
 GITHUB_PROJECT=        spark2014

Index: pkgsrc/lang/spark2014-14/Makefile
diff -u pkgsrc/lang/spark2014-14/Makefile:1.5 pkgsrc/lang/spark2014-14/Makefile:1.6
--- pkgsrc/lang/spark2014-14/Makefile:1.5       Sun Mar  1 12:38:35 2026
+++ pkgsrc/lang/spark2014-14/Makefile   Sun Oct 25 00:58:53 2026
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.5 2026/03/01 12:38:35 gdt Exp $
+# $NetBSD: Makefile,v 1.6 2026/10/25 00:58:53 alnsn Exp $
 
 DISTNAME=      ${GITHUB_PROJECT}-fsf-14
 PKGNAME=       ${GITHUB_PROJECT}-14-14.2.0
-PKGREVISION=   3
+PKGREVISION=   4
 CATEGORIES=    lang devel
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=AdaCore/}
 GITHUB_PROJECT=        spark2014