ltl2ba: LTL to Buchi automata converter, package added to wip

[Mayuresh (via pkgsrc-wip) <commit-notify%pkgsrc.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Mayuresh <mayuresh%acm.org@localhost>
Pushed By:	mayuresh
Date:		Wed Jun 18 16:16:52 2025 +0530
Changeset:	41476d15abc5de36930c5f936412c173391cad3d

Added Files:
	ltl2ba/COMMIT_MSG
	ltl2ba/DESCR
	ltl2ba/Makefile
	ltl2ba/PLIST
	ltl2ba/distinfo

Log Message:
ltl2ba: LTL to Buchi automata converter, package added to wip

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

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

diffstat:
 ltl2ba/COMMIT_MSG |  2 ++
 ltl2ba/DESCR      |  1 +
 ltl2ba/Makefile   | 20 ++++++++++++++++++++
 ltl2ba/PLIST      |  2 ++
 ltl2ba/distinfo   |  5 +++++
 5 files changed, 30 insertions(+)

diffs:
diff --git a/ltl2ba/COMMIT_MSG b/ltl2ba/COMMIT_MSG
new file mode 100644
index 0000000000..1b19b543cb
--- /dev/null
+++ b/ltl2ba/COMMIT_MSG
@@ -0,0 +1,2 @@
+math/ltl2ba: Add ltl2ba version 1.3
+Packaged in wip by Mayuresh <mayuresh%acm.org@localhost>
diff --git a/ltl2ba/DESCR b/ltl2ba/DESCR
new file mode 100644
index 0000000000..8c1b35c61a
--- /dev/null
+++ b/ltl2ba/DESCR
@@ -0,0 +1 @@
+Fast translation from LTL formulae to Buchi automata
diff --git a/ltl2ba/Makefile b/ltl2ba/Makefile
new file mode 100644
index 0000000000..bbed2a8b20
--- /dev/null
+++ b/ltl2ba/Makefile
@@ -0,0 +1,20 @@
+# $NetBSD$
+
+DISTNAME=	ltl2ba-1.3
+CATEGORIES=	math
+MASTER_SITES=	http://www.lsv.fr/~gastin/ltl2ba/
+
+MAINTAINER=	pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=	http://www.lsv.fr/~gastin/ltl2ba/
+COMMENT=	Fast translation from LTL formulae to Buchi automata
+LICENSE=	gnu-gpl-v2
+
+LTL2BA=	ltl2ba
+
+BUILD_TARGET=		${LTL2BA}
+INSTALLATION_DIRS=	bin
+
+do-install:
+	${INSTALL_PROGRAM} ${WRKSRC}/${LTL2BA} ${DESTDIR}${PREFIX}/bin
+
+.include "../../mk/bsd.pkg.mk"
diff --git a/ltl2ba/PLIST b/ltl2ba/PLIST
new file mode 100644
index 0000000000..bbf099db3e
--- /dev/null
+++ b/ltl2ba/PLIST
@@ -0,0 +1,2 @@
+@comment $NetBSD$
+bin/ltl2ba
diff --git a/ltl2ba/distinfo b/ltl2ba/distinfo
new file mode 100644
index 0000000000..31db000c38
--- /dev/null
+++ b/ltl2ba/distinfo
@@ -0,0 +1,5 @@
+$NetBSD$
+
+BLAKE2s (ltl2ba-1.3.tar.gz) = 0b97eff5ad3bba2079c99b61f1759176490769f0ed46e911efdade150ef8b146
+SHA512 (ltl2ba-1.3.tar.gz) = 1bcef13d98879c083dc907939c652e694802ed91c33a5d90bbeb6fc22d6265a0b153932c5fb3f8557aad30582322c16d0be822bf4208f40faf9384b367a84aa6
+Size (ltl2ba-1.3.tar.gz) = 38265 bytes