CVS commit: pkgsrc/math/ada-adasat-25

["Dmytro Kazankov" <dkazankov%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   dkazankov
Date:           Thu Oct  9 13:38:19 UTC 2025

Modified Files:
        pkgsrc/math/ada-adasat-25: Makefile distinfo

Log Message:
ada-adasat-25: update to upstream release 25.2


To generate a diff of this commit:
cvs rdiff -u -r1.2 -r1.3 pkgsrc/math/ada-adasat-25/Makefile
cvs rdiff -u -r1.3 -r1.4 pkgsrc/math/ada-adasat-25/distinfo

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

Modified files:

Index: pkgsrc/math/ada-adasat-25/Makefile
diff -u pkgsrc/math/ada-adasat-25/Makefile:1.2 pkgsrc/math/ada-adasat-25/Makefile:1.3
--- pkgsrc/math/ada-adasat-25/Makefile:1.2      Mon Sep 22 18:26:02 2025
+++ pkgsrc/math/ada-adasat-25/Makefile  Thu Oct  9 13:38:19 2025
@@ -1,11 +1,11 @@
-# $NetBSD: Makefile,v 1.2 2025/09/22 18:26:02 dkazankov Exp $
+# $NetBSD: Makefile,v 1.3 2025/10/09 13:38:19 dkazankov Exp $
 
-DISTNAME=      ${GITHUB_PROJECT}-${PKGVERSION_NOREV}
-PKGNAME=       adasat-${GNAT_NAME}-25.0.0
+DISTNAME=      ${GITHUB_PROJECT}-${GITHUB_TAG}
+PKGNAME=       adasat-${GNAT_NAME}-${GITHUB_TAG}.0
 CATEGORIES=    math devel
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=AdaCore/}
 GITHUB_PROJECT=        AdaSAT
-GITHUB_TAG=    v${PKGVERSION_NOREV}
+GITHUB_TAG=    25.2
 
 MAINTAINER=    dkazankov%NetBSD.org@localhost
 HOMEPAGE=      https://github.com/AdaCore/AdaSAT

Index: pkgsrc/math/ada-adasat-25/distinfo
diff -u pkgsrc/math/ada-adasat-25/distinfo:1.3 pkgsrc/math/ada-adasat-25/distinfo:1.4
--- pkgsrc/math/ada-adasat-25/distinfo:1.3      Wed Sep 24 05:54:54 2025
+++ pkgsrc/math/ada-adasat-25/distinfo  Thu Oct  9 13:38:19 2025
@@ -1,6 +1,6 @@
-$NetBSD: distinfo,v 1.3 2025/09/24 05:54:54 dkazankov Exp $
+$NetBSD: distinfo,v 1.4 2025/10/09 13:38:19 dkazankov Exp $
 
-BLAKE2s (AdaSAT-25.0.0.tar.gz) = 82395941685f2006742a211de0129b62097c90c87a47a93da9adbf1ca951f55a
-SHA512 (AdaSAT-25.0.0.tar.gz) = 7781a683c5aef9efa9a6b57e82070184c02d734fcf448aa5aa79d9aaa3b40d181d87d7487d9c204f7dcd584a3d2dc1c9ebc027e82b2532c3418c25a2395fd9af
-Size (AdaSAT-25.0.0.tar.gz) = 30707 bytes
+BLAKE2s (AdaSAT-25.2.tar.gz) = c359da984cf353b57768d6627085e8842eb24faa3b7657b2ef0de3b002f4d727
+SHA512 (AdaSAT-25.2.tar.gz) = a046c74a5f84673969220daee37ec8b2f41726b8e77f44e5dadb6319b9b8e655515f8530dbf5e641b6e36039668284cd44b911337e1f33b0e7166010f32cf3eb
+Size (AdaSAT-25.2.tar.gz) = 30699 bytes
 SHA1 (patch-Makefile) = 64294cb29d45efc4441c8b4dd67a1f822aaeb18e