mona update to new version: 1.4-18

[K.I.A.Derouiche <kamelderouiche%yahoo.com@localhost>]

Module Name:	pkgsrc-wip
Committed By:	K.I.A.Derouiche <kamelderouiche%yahoo.com@localhost>
Pushed By:	jihbed
Date:		Fri Nov 25 15:52:35 2022 +0000
Changeset:	97f8bdfaf513cf0f7f5a2e5bc8a5fefd88206e65

Modified Files:
	mona/DESCR
	mona/Makefile
	mona/distinfo

Log Message:
mona update to new version: 1.4-18

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=97f8bdfaf513cf0f7f5a2e5bc8a5fefd88206e65

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

diffstat:
 mona/DESCR    | 13 ++++++++-----
 mona/Makefile | 14 +++++++-------
 mona/distinfo |  6 +++---
 3 files changed, 18 insertions(+), 15 deletions(-)

diffs:
diff --git a/mona/DESCR b/mona/DESCR
index c1046197df..8e4dabb949 100644
--- a/mona/DESCR
+++ b/mona/DESCR
@@ -1,5 +1,8 @@
-MONA is a tool that translates formulas to finite-state automata.
-The formulas may express search patterns, temporal properties
-of reactive systems, parse tree constraints, etc. MONA analyses
-the automaton resulting from the compilation and prints out "valid" or a
-counter-example
+MONA implements decision procedures for the Weak Second-order Theory
+of One or Two successors (WS1S/WS2S). The theory of one successor,
+known as WS1S, is a fragment of arithmetic augmented with second-order
+quantification over finite sets of natural numbers. Its first-order terms
+denote just natural numbers. The theory has no addition, since that would
+make it undecidable, but it has a unary operation +1, known as the successo
+r function. WS2S is a generalization to tree structures. Since the theories are
+monadic second-order logics, we call our tool MONA
diff --git a/mona/Makefile b/mona/Makefile
index 3381683dc0..c1ff2438f9 100644
--- a/mona/Makefile
+++ b/mona/Makefile
@@ -1,20 +1,20 @@
 # $NetBSD$
 
-DISTNAME=	mona-1.4-17
+DISTNAME=	mona-1.4-18
 CATEGORIES=	math
-MASTER_SITES=	https://www.brics.dk/mona/download/
+MASTER_SITES=	http://www.brics.dk/mona/download/
 
-MAINTAINER=	jihbed.research%gmail.com@localhost
-HOMEPAGE=	https://www.brics.dk/mona/
+MAINTAINER=	kamelderouiche%yahoo.com@localhost
+HOMEPAGE=	https://www.brics.dk/mona/index.html
 COMMENT=	Tool that translates formulas to finite-state automata
 LICENSE=	gnu-gpl-v2
 
 WRKSRC=		${WRKDIR}/mona-1.4
 
 GNU_CONFIGURE=	yes
-USE_LIBTOOL=	yes
-USE_TOOLS+=	bison
-MAKE_FILE=	makefile
 USE_LANGUAGES=	c c++
+MAKE_FILE=	makefile
+USE_LIBTOOL=	yes
+USE_TOOLS+=	bison flex
 
 .include "../../mk/bsd.pkg.mk"
diff --git a/mona/distinfo b/mona/distinfo
index 3467fbd689..b19e57feae 100644
--- a/mona/distinfo
+++ b/mona/distinfo
@@ -1,5 +1,5 @@
 $NetBSD$
 
-RMD160 (mona-1.4-17.tar.gz) = 4e4014ff841ab89769cbf868896a8fe54ea54276
-SHA512 (mona-1.4-17.tar.gz) = 8e1a21306e261e5c6b4a962bb5fba807f59c31f72468b0ce45da1349d4009b4f7c6621f4d7f38238398b49a9ab7efa0a4a9770d64a9376c36b905ed12768e616
-Size (mona-1.4-17.tar.gz) = 679030 bytes
+BLAKE2s (mona-1.4-18.tar.gz) = a2a2da1729eddd9f338678d280af9081cf7bde3a74ed5e0938f32012bb53cef3
+SHA512 (mona-1.4-18.tar.gz) = 9b80b46701d7e9d320a668ded23a68a520454a3fa3e5bae4af5fcadf06d655f26f4bd706dfdb4933dc3f9f6bdbc95d858a086cd676b62b2457e8d05d72cc304c
+Size (mona-1.4-18.tar.gz) = 703111 bytes