CVS commit: pkgsrc/math/gappa

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

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Fri Jan  9 20:30:29 UTC 2026

Modified Files:
        pkgsrc/math/gappa: Makefile distinfo
Removed Files:
        pkgsrc/math/gappa/patches: patch-Remakefile.in

Log Message:
Update math/gappa to version 1.6.1.

Version 1.6.1
-------------

D2 back-end
  * added support for D2 0.6.9; previous versions are no longer supported

Build system
  * fixed compilation with GCC 14

Version 1.6.0
-------------

Fact database
  * fixed `add_flt_lin` and `add_flt_lin_rev`
  * changed some rewriting rules about quotients into rules about `LIN`

Arithmetic
  * removed support for homogeneous and relative rounding functions

Version 1.5.0
-------------

Fact database
  * added predicate `LIN`: `x = y * e`
  * used `LIN(a, b)` for properties of the kind `BND(a / b)`
  * generalized Sterbenz-like theorems
  * specified `x / 0` as being equal to `0`, which removes some `NZR` hypotheses

Syntax
  * added binary operator `//` to denote `LIN` properties

Back-ends
  * added a back-end to produce D2 files

Coq script back-end
  * removed the use of `Notation` as it causes a huge slowdown in the prover

Version 1.4.2
-------------

Build system
  * regenerated using a recent version of Autoconf

Version 1.4.1
-------------

Coq back-end
  * registered a few more theorems

Whole engine
  * fixed crash on negative literals in rewriting rules

Version 1.4.0
-------------

Syntax
  * changed precedence of unary minus,
    e.g., `- 1` is parsed as `-(1)`, `-1*x` as `(-1)*x`,
    `- 1*x` as `-(1*x)`, `-x*1` as `-(x*1)`
  * allowed `;` as a separator for interval bounds, e.g., `[1;2]`
  * allowed `p` as exponent after a decimal integer, e.g., `1p2`

Proof paths
  * decreased amount of pointless lemmas

Documentation
  * moved to reST

Build system
  * added support for DESTDIR during installation

Licensing
  * updated CeCILL from 2.0 to 2.1 and GPL from 2 to 3


To generate a diff of this commit:
cvs rdiff -u -r1.3 -r1.4 pkgsrc/math/gappa/Makefile
cvs rdiff -u -r1.5 -r1.6 pkgsrc/math/gappa/distinfo
cvs rdiff -u -r1.2 -r0 pkgsrc/math/gappa/patches/patch-Remakefile.in

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

Modified files:

Index: pkgsrc/math/gappa/Makefile
diff -u pkgsrc/math/gappa/Makefile:1.3 pkgsrc/math/gappa/Makefile:1.4
--- pkgsrc/math/gappa/Makefile:1.3      Sat Sep 27 09:57:27 2025
+++ pkgsrc/math/gappa/Makefile  Fri Jan  9 20:30:29 2026
@@ -1,14 +1,13 @@
-# $NetBSD: Makefile,v 1.3 2025/09/27 09:57:27 wiz Exp $
+# $NetBSD: Makefile,v 1.4 2026/01/09 20:30:29 alnsn Exp $
 
-DISTNAME=      gappa-1.3.5
-PKGREVISION=   1
+DISTNAME=      gappa-1.6.1
 CATEGORIES=    math
-MASTER_SITES=  https://gforge.inria.fr/frs/download.php/file/38044/
+MASTER_SITES=  https://gappa.gitlabpages.inria.fr/releases/
 
 MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
 HOMEPAGE=      http://gappa.gforge.inria.fr/
 COMMENT=       Formal verification tool for numerical programs
-LICENSE=       cecill-2.0 OR gnu-gpl-v3
+LICENSE=       cecill-2.1 OR gnu-gpl-v3
 
 GNU_CONFIGURE= yes
 USE_LANGUAGES+=        c c++

Index: pkgsrc/math/gappa/distinfo
diff -u pkgsrc/math/gappa/distinfo:1.5 pkgsrc/math/gappa/distinfo:1.6
--- pkgsrc/math/gappa/distinfo:1.5      Tue Oct 26 10:55:41 2021
+++ pkgsrc/math/gappa/distinfo  Fri Jan  9 20:30:29 2026
@@ -1,6 +1,5 @@
-$NetBSD: distinfo,v 1.5 2021/10/26 10:55:41 nia Exp $
+$NetBSD: distinfo,v 1.6 2026/01/09 20:30:29 alnsn Exp $
 
-BLAKE2s (gappa-1.3.5.tar.gz) = 52d2d6f7c1837777383a615ad6dd5d903cccb78dc974c2046d2410b8ec76b57e
-SHA512 (gappa-1.3.5.tar.gz) = 60b5719e3a321df43e33045fa8f4511fc02a4218d1ae7e476e7c6ebcf90ae208832881f6eea5b99a3296dfcc3a18c7e1f4ea9dbea446fc502e14306b6975f6e6
-Size (gappa-1.3.5.tar.gz) = 412527 bytes
-SHA1 (patch-Remakefile.in) = 2173e21f8518f66caeee61fcb4834edb3fc9084f
+BLAKE2s (gappa-1.6.1.tar.gz) = 9708c7407e7b01a52e532e41142cc425db97a13f52231c91a87c310c0dd1eea4
+SHA512 (gappa-1.6.1.tar.gz) = d2178369f667db76a1ca993fb134b51cf671b9d8bd43cf2af06f11fc7e6111e16d409aeb8123329f0a76548529e9b953876daab4fff091e2548378e3ea70068c
+Size (gappa-1.6.1.tar.gz) = 400078 bytes