+piranha, spot, lie, glm, fxt, clasp, adept, c-graph

To: pkgsrc-wip-changes%NetBSD.org@localhost
Subject: +piranha, spot, lie, glm, fxt, clasp, adept, c-graph
From: K.I.A.Derouiche <kamel.derouiche%gmail.com@localhost>
Date: Tue, 12 Mar 2019 21:45:00 +0000
Module Name:	pkgsrc-wip
Committed By:	K.I.A.Derouiche <kamel.derouiche%gmail.com@localhost>
Pushed By:	jihbed
Date:		Tue Mar 12 22:45:00 2019 +0100
Changeset:	c93d397fe6c0f2509a3279f607de05f02b5ada56

Modified Files:
	dosbox-x/Makefile
Added Files:
	adept/DESCR
	adept/Makefile
	adept/PLIST
	adept/distinfo
	c-graph/DESCR
	c-graph/Makefile
	c-graph/PLIST
	c-graph/distinfo
	clasp/DESCR
	clasp/Makefile
	clasp/PLIST
	clasp/distinfo
	fxt/DESCR
	fxt/Makefile
	fxt/PLIST
	fxt/distinfo
	fxt/patches/patch-makefile
	glm/DESCR
	glm/Makefile
	glm/PLIST
	glm/distinfo
	lie/DESCR
	lie/Makefile
	lie/PLIST
	lie/distinfo
	lie/patches/patch-Makefile
	mppp/DESCR
	mppp/Makefile
	mppp/PLIST
	mppp/distinfo
	piranha/DESCR
	piranha/Makefile
	piranha/PLIST
	piranha/distinfo
	spot/DESCR
	spot/Makefile
	spot/PLIST
	spot/distinfo

Log Message:
+piranha, spot, lie, glm, fxt, clasp, adept, c-graph

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

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

diffstat:
 adept/DESCR                |   4 +
 adept/Makefile             |  20 ++
 adept/PLIST                |  51 ++++
 adept/distinfo             |   6 +
 c-graph/DESCR              |   8 +
 c-graph/Makefile           |  16 ++
 c-graph/PLIST              |  12 +
 c-graph/distinfo           |   6 +
 clasp/DESCR                |  11 +
 clasp/Makefile             |  18 ++
 clasp/PLIST                |   3 +
 clasp/distinfo             |   6 +
 dosbox-x/Makefile          |   2 +-
 fxt/DESCR                  |  11 +
 fxt/Makefile               |  20 ++
 fxt/PLIST                  | 666 +++++++++++++++++++++++++++++++++++++++++++++
 fxt/distinfo               |   7 +
 fxt/patches/patch-makefile |  17 ++
 glm/DESCR                  |  16 ++
 glm/Makefile               |  22 ++
 glm/PLIST                  | 406 +++++++++++++++++++++++++++
 glm/distinfo               |   6 +
 lie/DESCR                  |   2 +
 lie/Makefile               |  29 ++
 lie/PLIST                  |   9 +
 lie/distinfo               |   7 +
 lie/patches/patch-Makefile |  27 ++
 mppp/DESCR                 |  16 ++
 mppp/Makefile              |  21 ++
 mppp/PLIST                 |  23 ++
 mppp/distinfo              |   6 +
 piranha/DESCR              |   8 +
 piranha/Makefile           |  25 ++
 piranha/PLIST              |  87 ++++++
 piranha/distinfo           |   6 +
 spot/DESCR                 |  22 ++
 spot/Makefile              |  29 ++
 spot/PLIST                 | 196 +++++++++++++
 spot/distinfo              |   6 +
 39 files changed, 1852 insertions(+), 1 deletion(-)

diffs:
diff --git a/adept/DESCR b/adept/DESCR
new file mode 100644
index 0000000000..d91c49925d
--- /dev/null
+++ b/adept/DESCR
@@ -0,0 +1,4 @@
+This library implements a very unusual and interesting approach. It takes a function
+of several arguments supplied by the caller, deconstructs its analytic structure
+using C++ type substitution for all values, and computes gradients (Jacobians) of
+the function while ony calling the function once. A very innovative approach
diff --git a/adept/Makefile b/adept/Makefile
new file mode 100644
index 0000000000..0c38f5732e
--- /dev/null
+++ b/adept/Makefile
@@ -0,0 +1,20 @@
+# $NetBSD$
+
+DISTNAME=	adept-2.0.5
+CATEGORIES=	math
+MASTER_SITES=	http://www.met.reading.ac.uk/clouds/adept/
+
+MAINTAINER=	jihbed.research%gmail.com@localhost
+HOMEPAGE=	http://www.met.reading.ac.uk/clouds/adept/
+COMMENT=	Combined automatic differentiation and array library for C++
+LICENSE=	apache-2.0
+
+GNU_CONFIGURE=	yes
+USE_LIBTOOL=	yes
+USE_TOOLS+=	gmake intltool msgfmt
+USE_LANGUAGES=	c c++ fortran
+
+.include "../../math/blas/buildlink3.mk"
+.include "../../math/gsl/buildlink3.mk"
+.include "../../math/lapack/buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/adept/PLIST b/adept/PLIST
new file mode 100644
index 0000000000..3daccf8778
--- /dev/null
+++ b/adept/PLIST
@@ -0,0 +1,51 @@
+@comment $NetBSD$
+include/adept.h
+include/adept/Active.h
+include/adept/ActiveConstReference.h
+include/adept/ActiveReference.h
+include/adept/Allocator.h
+include/adept/Array.h
+include/adept/ArrayWrapper.h
+include/adept/BinaryOperation.h
+include/adept/Expression.h
+include/adept/ExpressionSize.h
+include/adept/FixedArray.h
+include/adept/IndexedArray.h
+include/adept/Packet.h
+include/adept/RangeIndex.h
+include/adept/ScratchVector.h
+include/adept/SpecialMatrix.h
+include/adept/Stack.h
+include/adept/StackStorage.h
+include/adept/StackStorageOrig.h
+include/adept/StackStorageOrigStl.h
+include/adept/Statement.h
+include/adept/Storage.h
+include/adept/UnaryOperation.h
+include/adept/array_shortcuts.h
+include/adept/base.h
+include/adept/contiguous_matrix.h
+include/adept/cppblas.h
+include/adept/eval.h
+include/adept/exception.h
+include/adept/interp.h
+include/adept/inv.h
+include/adept/matmul.h
+include/adept/noalias.h
+include/adept/outer_product.h
+include/adept/reduce.h
+include/adept/scalar_shortcuts.h
+include/adept/settings.h
+include/adept/solve.h
+include/adept/spread.h
+include/adept/store_transpose.h
+include/adept/traits.h
+include/adept/vector_utilities.h
+include/adept/where.h
+include/adept_arrays.h
+lib/libadept.la
+share/adept/AUTHORS
+share/adept/COPYING
+share/adept/ChangeLog
+share/adept/NEWS
+share/adept/README
diff --git a/adept/distinfo b/adept/distinfo
new file mode 100644
index 0000000000..2891ca7fd4
--- /dev/null
+++ b/adept/distinfo
@@ -0,0 +1,6 @@
+$NetBSD$
+
+SHA1 (adept-2.0.5.tar.gz) = 2cb6817d27cf9025031817f41fe18021a8125a71
+RMD160 (adept-2.0.5.tar.gz) = 1ce3deb9a969ffc5c8e58cb854e4884934811ed2
+SHA512 (adept-2.0.5.tar.gz) = e42afe0607a3d51e99194ea031a6ce6548d3aed731cd09078a07e6373fe30513937f19c61e012faa0eec31c9d75964cf51d2a952e4ef9cb7c76b7bdc815b0d33
+Size (adept-2.0.5.tar.gz) = 661754 bytes
diff --git a/c-graph/DESCR b/c-graph/DESCR
new file mode 100644
index 0000000000..8629c28b1e
--- /dev/null
+++ b/c-graph/DESCR
@@ -0,0 +1,8 @@
+Convolution is a core concept in today's cutting-edge technologies of deep
+learning and computer vision. Singularly cogent in application to digital signal
+processing, the convolution theorem is regarded as the most powerful tool in
+modern scientific analysis. Long utilised for accelerating the application of
+filters to images, fast training of convolutional neural networks exploit the
+convolution theorem to accelerate training and inference in the ubiquitous
+applications of computer vision that, today, are at the vanguard of the evolving
+artificially intelligent world in which we are becoming increasingly immersed
diff --git a/c-graph/Makefile b/c-graph/Makefile
new file mode 100644
index 0000000000..35d1170b5b
--- /dev/null
+++ b/c-graph/Makefile
@@ -0,0 +1,16 @@
+# $NetBSD$
+
+DISTNAME=	c-graph-2.0.1
+CATEGORIES=	math
+MASTER_SITES=	ftp://ftp.gnu.org/gnu/c-graph/
+
+MAINTAINER=	jihbed.research%gmail.com@localhost
+HOMEPAGE=	https://www.gnu.org/software/c-graph/
+COMMENT=	Convolution Theorem Visualization
+LICENSE=	gnu-gpl-v3
+
+GNU_CONFIGURE=	yes
+INFO_FILES=yes
+USE_LANGUAGES=	c fortran
+
+.include "../../mk/bsd.pkg.mk"
diff --git a/c-graph/PLIST b/c-graph/PLIST
new file mode 100644
index 0000000000..8028864b4a
--- /dev/null
+++ b/c-graph/PLIST
@@ -0,0 +1,12 @@
+@comment $NetBSD$
+bin/c-graph
+info/c-graph.info
+man/man1/c-graph.1
+share/c-graph/logo/README
+share/c-graph/logo/c-graph.gif
+share/doc/c-graph/AUTHORS
+share/doc/c-graph/COPYING
+share/doc/c-graph/NEWS
+share/doc/c-graph/README
+share/doc/c-graph/TODO
+share/doc/c-graph/c-graph.pdf
diff --git a/c-graph/distinfo b/c-graph/distinfo
new file mode 100644
index 0000000000..5a136dbe7e
--- /dev/null
+++ b/c-graph/distinfo
@@ -0,0 +1,6 @@
+$NetBSD$
+
+SHA1 (c-graph-2.0.1.tar.gz) = 1e88c6cbd74a7a4feb3b31475a5a210f38e1f942
+RMD160 (c-graph-2.0.1.tar.gz) = 2a19f0a70dd060a3902b380bb6fac3fe5c2cad35
+SHA512 (c-graph-2.0.1.tar.gz) = 468b8df9102242f0744064fc2022714c9697f408a45e5cb4f74845c83aa45f2aadbf4953bdb03663bd57b3b28acf7bd6ea30ed3814b84722ad31de93f62d14dc
+Size (c-graph-2.0.1.tar.gz) = 1510610 bytes
diff --git a/clasp/DESCR b/clasp/DESCR
new file mode 100644
index 0000000000..3983dcb1ce
--- /dev/null
+++ b/clasp/DESCR
@@ -0,0 +1,11 @@
+Clasp is an answer set solver for (extended) normal logic programs. It combines
+the high-level modeling capacities of answer set programming (ASP) with
+state-of-the-art techniques from the area of Boolean constraint solving. The
+primary clasp algorithm relies on conflict-driven nogood learning, a technique
+that proved very successful for satisfiability checking (SAT). Unlike other
+learning ASP solvers, clasp does not rely on legacy software, such as a SAT
+solver or any other existing ASP solver. Rather, clasp has been genuinely
+developed for answer set solving based on conflict-driven nogood learning.
+clasp can be applied as an ASP solver (on SMODELS format, as output by Gringo),
+as a SAT solver (on a simplified version of DIMACS/CNF format), or as a PB
+solver (on OPB format).
diff --git a/clasp/Makefile b/clasp/Makefile
new file mode 100644
index 0000000000..f3b41c3cb0
--- /dev/null
+++ b/clasp/Makefile
@@ -0,0 +1,18 @@
+# $NetBSD$
+
+DISTNAME=	clasp-3.3.4-source
+PKGNAME=	${DISTNAME:S/-source//}
+CATEGORIES=	math devel
+MASTER_SITES=	${MASTER_SITE_GITHUB:=potassco/}
+GITHUB_RELEASE=	v3.3.4
+
+MAINTAINER=	jihbed.research%gmail.com@localhost
+HOMEPAGE=	http://potassco.sourceforge.net/
+COMMENT=	Answer set solver for (extended) normal logic programs
+LICENSE=	mit
+
+WRKSRC=		${WRKDIR}/clasp-3.3.4
+USE_CMAKE=	yes
+USE_LANGUAGES=	c c++
+
+.include "../../mk/bsd.pkg.mk"
diff --git a/clasp/PLIST b/clasp/PLIST
new file mode 100644
index 0000000000..5d622150ed
--- /dev/null
+++ b/clasp/PLIST
@@ -0,0 +1,3 @@
+@comment $NetBSD$
+bin/clasp
+bin/lpconvert
diff --git a/clasp/distinfo b/clasp/distinfo
new file mode 100644
index 0000000000..3e9e41f9c3
--- /dev/null
+++ b/clasp/distinfo
@@ -0,0 +1,6 @@
+$NetBSD$
+
+SHA1 (clasp-3.3.4-source.tar.gz) = 866d312137a38e4703bfe39c167e784f71574af0
+RMD160 (clasp-3.3.4-source.tar.gz) = a09294bad38cb27eb095d98dc91be93319f701b2
+SHA512 (clasp-3.3.4-source.tar.gz) = 7cfb2c9470ac8f7a57b48038e600b02e8b04cd4e923a6c59b58d75dbe114feb41c577688b4945f97c646e975fcf2c3e23578a12e3c97eec4639f558f5fe8595c
+Size (clasp-3.3.4-source.tar.gz) = 826644 bytes
diff --git a/dosbox-x/Makefile b/dosbox-x/Makefile
index bde3d95a49..f14eae0a62 100644
--- a/dosbox-x/Makefile
+++ b/dosbox-x/Makefile
@@ -11,7 +11,7 @@ MAINTAINER=	pkgsrc-users%NetBSD.org@localhost
 HOMEPAGE=	http://dosbox-x.com/
 COMMENT=	DOSBox with accurate emulation and wide testing
 LICENSE=	gnu-gpl-v2
-
+O
 WRKSRC=			${WRKDIR}/dosbox-x-${GITHUB_TAG}
 GNU_CONFIGURE=		yes
 # dosbox-x uses a modified SDL1 or system SDL2
diff --git a/fxt/DESCR b/fxt/DESCR
new file mode 100644
index 0000000000..422aee4ff8
--- /dev/null
+++ b/fxt/DESCR
@@ -0,0 +1,11 @@
+fxt is a library package (coming as C++ source code) containing various
+algorithms for:
+- Fast Fourier Transform (FFT) incl. real-valued,
+- multidimensional and weighted variants.
+- Fast Hartley Transform (FHT)
+- Number Theoretic Transform (NTT), Fast Walsh Transform.
+- Convolution (cyclic, linear and weighted),
+- correlation and power spectrum.
+- Fast Haar Transform, Fast Wavelet Transform
+- Mass storage convolution and fast multiplication routines.
+- Sine- and cosine transform (DCT, DST), Fast Z-Transform (FZT)
diff --git a/fxt/Makefile b/fxt/Makefile
new file mode 100644
index 0000000000..1808f35977
--- /dev/null
+++ b/fxt/Makefile
@@ -0,0 +1,20 @@
+# $NetBSD$
+
+DISTNAME=	fxt-2019.03.09
+CATEGORIES=	math
+MASTER_SITES=	https://www.jjj.de/fxt/
+
+MAINTAINER=	jihbed.research%gmail.com@localhost
+HOMEPAGE=	https://www.jjj.de/fxt/
+COMMENT=	FFT code and related stuff
+LICENSE=	gnu-gpl-v3
+
+WRKSRC=		${WRKDIR}/fxt
+
+USE_TOOLS+=	gmake perl
+MAKE_FILE= makefile
+USE_LANGUAGES=	c++
+
+#Minimal configuration
+
+.include "../../mk/bsd.pkg.mk"
diff --git a/fxt/PLIST b/fxt/PLIST
new file mode 100644
index 0000000000..11786e5819
--- /dev/null
+++ b/fxt/PLIST
@@ -0,0 +1,666 @@
+@comment $NetBSD$
+include/fxt/array-len.h
+include/fxt/aux0-all.h
+include/fxt/aux0/binomial.h
+include/fxt/aux0/cayley-dickson-mult.h
+include/fxt/aux0/cmult.h
+include/fxt/aux0/csincos.h
+include/fxt/aux0/factorial.h
+include/fxt/aux0/fibonacci.h
+include/fxt/aux0/gcd.h
+include/fxt/aux0/ipow.h
+include/fxt/aux0/ldn2rc.h
+include/fxt/aux0/print-fixed.h
+include/fxt/aux0/rand-idx.h
+include/fxt/aux0/randf.h
+include/fxt/aux0/sincos.h
+include/fxt/aux0/sumdiff.h
+include/fxt/aux0/swap.h
+include/fxt/aux0/tex-line.h
+include/fxt/aux0/version.h
+include/fxt/aux1-all.h
+include/fxt/aux1/arith1.h
+include/fxt/aux1/bytescan.h
+include/fxt/aux1/copy.h
+include/fxt/aux1/num2str.h
+include/fxt/aux1/wordgray.h
+include/fxt/aux2-all.h
+include/fxt/aux2/transpose.h
+include/fxt/aux2/transpose2.h
+include/fxt/bits-all.h
+include/fxt/bits/average.h
+include/fxt/bits/bin-to-sl-gray.h
+include/fxt/bits/bin2naf.h
+include/fxt/bits/bit-dragon-r13.h
+include/fxt/bits/bit-dragon-r4.h
+include/fxt/bits/bit-dragon-r5.h
+include/fxt/bits/bit-dragon-r7.h
+include/fxt/bits/bit-dragon-r9.h
+include/fxt/bits/bit-dragon3.h
+include/fxt/bits/bit-isolate.h
+include/fxt/bits/bit-necklace.h
+include/fxt/bits/bit-paper-fold.h
+include/fxt/bits/bit-rll2.h
+include/fxt/bits/bit-sl-gray.h
+include/fxt/bits/bit2adic.h
+include/fxt/bits/bit2pow.h
+include/fxt/bits/bitasm-amd64.h
+include/fxt/bits/bitasm-i386.h
+include/fxt/bits/bitasm-sse.h
+include/fxt/bits/bitasm.h
+include/fxt/bits/bitblock.h
+include/fxt/bits/bitbutterfly.h
+include/fxt/bits/bitcombcolex.h
+include/fxt/bits/bitcombminchange.h
+include/fxt/bits/bitcombshifts.h
+include/fxt/bits/bitcopy.h
+include/fxt/bits/bitcount.h
+include/fxt/bits/bitcyclic-dist.h
+include/fxt/bits/bitcyclic-match.h
+include/fxt/bits/bitcyclic-minmax.h
+include/fxt/bits/bitcyclic-period.h
+include/fxt/bits/bitcyclic-xor.h
+include/fxt/bits/bitfibgray.h
+include/fxt/bits/bitgather.h
+include/fxt/bits/bitgraypermute.h
+include/fxt/bits/bithigh-edge.h
+include/fxt/bits/bithigh.h
+include/fxt/bits/bitldeq.h
+include/fxt/bits/bitlex.h
+include/fxt/bits/bitlow-edge.h
+include/fxt/bits/bitlow.h
+include/fxt/bits/bitperiodic.h
+include/fxt/bits/bitrotate.h
+include/fxt/bits/bitseparate.h
+include/fxt/bits/bitsequency.h
+include/fxt/bits/bitset2set.h
+include/fxt/bits/bitsperlong.h
+include/fxt/bits/bitsubset-gray.h
+include/fxt/bits/bitsubset.h
+include/fxt/bits/bitsubsetq.h
+include/fxt/bits/bitswap.h
+include/fxt/bits/bittest.h
+include/fxt/bits/bittransforms.h
+include/fxt/bits/bitxtransforms.h
+include/fxt/bits/bitzip-pairs.h
+include/fxt/bits/bitzip.h
+include/fxt/bits/blue-fixed-points.h
+include/fxt/bits/branchless.h
+include/fxt/bits/colormix-fl.h
+include/fxt/bits/colormix.h
+include/fxt/bits/colormixp.h
+include/fxt/bits/crc32.h
+include/fxt/bits/crc64.h
+include/fxt/bits/cswap.h
+include/fxt/bits/evenodd.h
+include/fxt/bits/fibrep-subset-lexrev.h
+include/fxt/bits/fibrep.h
+include/fxt/bits/graycode.h
+include/fxt/bits/graypower.h
+include/fxt/bits/grsnegative.h
+include/fxt/bits/hilbert.h
+include/fxt/bits/ith-one-idx.h
+include/fxt/bits/kolakoski-seq.h
+include/fxt/bits/negbin.h
+include/fxt/bits/nextgray.h
+include/fxt/bits/parenwords.h
+include/fxt/bits/parity.h
+include/fxt/bits/pcrc64.h
+include/fxt/bits/print-bin.h
+include/fxt/bits/radix-2i.h
+include/fxt/bits/radix-m1pi.h
+include/fxt/bits/radix-m4.h
+include/fxt/bits/revbin-upd.h
+include/fxt/bits/revbin.h
+include/fxt/bits/revgraycode.h
+include/fxt/bits/tcrc64.h
+include/fxt/bits/thue-morse.h
+include/fxt/bits/tinyfactors.h
+include/fxt/bits/zerobyte.h
+include/fxt/bits/zorder.h
+include/fxt/bmat-all.h
+include/fxt/bmat/bitmat-funcs.h
+include/fxt/bmat/bitmat-inline.h
+include/fxt/bpol-all.h
+include/fxt/bpol/all-irredpoly.h
+include/fxt/bpol/bitpol-arith.h
+include/fxt/bpol/bitpol-degree.h
+include/fxt/bpol/bitpol-deriv.h
+include/fxt/bpol/bitpol-factor.h
+include/fxt/bpol/bitpol-gcd.h
+include/fxt/bpol/bitpol-irred.h
+include/fxt/bpol/bitpol-order.h
+include/fxt/bpol/bitpol-primitive.h
+include/fxt/bpol/bitpol-print.h
+include/fxt/bpol/bitpol-squarefree.h
+include/fxt/bpol/bitpol-srp.h
+include/fxt/bpol/bitpolmod-arith.h
+include/fxt/bpol/bitpolmod-minpoly.h
+include/fxt/bpol/bitpolmod-solvequadratic.h
+include/fxt/bpol/clhca.h
+include/fxt/bpol/fcsr.h
+include/fxt/bpol/gf2n-trace.h
+include/fxt/bpol/gf2n.h
+include/fxt/bpol/lfsr.h
+include/fxt/bpol/lfsr64.h
+include/fxt/bpol/lhca.h
+include/fxt/bpol/mersenne-coprime.h
+include/fxt/bpol/necklace2bitpol.h
+include/fxt/bpol/normal-solvequadratic.h
+include/fxt/bpol/normalbasis.h
+include/fxt/bpol/normalpoly-dual.h
+include/fxt/bpol/num-bitpol.h
+include/fxt/bpol/poly-tab.h
+include/fxt/chirpzt-all.h
+include/fxt/chirpzt/chirpzt.h
+include/fxt/comb-all.h
+include/fxt/comb/acgray.h
+include/fxt/comb/acyclic-map.h
+include/fxt/comb/arith-3-progression.h
+include/fxt/comb/arrangement-lex.h
+include/fxt/comb/arrangement-rgs.h
+include/fxt/comb/ascent-alt-rgs.h
+include/fxt/comb/ascent-nonflat-rgs.h
+include/fxt/comb/ascent-rgs-subset-lex.h
+include/fxt/comb/ascent-rgs.h
+include/fxt/comb/balanced-ordered-tree-lev-seq.h
+include/fxt/comb/big-fact2perm.h
+include/fxt/comb/binary-debruijn.h
+include/fxt/comb/binary-huffman.h
+include/fxt/comb/binary-necklace.h
+include/fxt/comb/binary-sl-gray.h
+include/fxt/comb/catalan-flat-path-lex.h
+include/fxt/comb/catalan-path-lex.h
+include/fxt/comb/catalan-rgs-gray.h
+include/fxt/comb/catalan-rgs-gslex.h
+include/fxt/comb/catalan-rgs-subset-lex.h
+include/fxt/comb/catalan-rgs-to-noncrossing-setpart-rgs.h
+include/fxt/comb/catalan-rgs.h
+include/fxt/comb/catalan-step-rgs-colex.h
+include/fxt/comb/catalan-step-rgs-lex.h
+include/fxt/comb/catalan-step-rgs-subset-lexrev.h
+include/fxt/comb/catalan-step-rgs-to-paren-string.h
+include/fxt/comb/catalan.h
+include/fxt/comb/cayley-perm.h
+include/fxt/comb/change-rgs.h
+include/fxt/comb/check-kpermgen.h
+include/fxt/comb/check-mixedradix.h
+include/fxt/comb/check-permgen.h
+include/fxt/comb/comb-print.h
+include/fxt/comb/combination-chase.h
+include/fxt/comb/combination-colex.h
+include/fxt/comb/combination-emk.h
+include/fxt/comb/combination-endo.h
+include/fxt/comb/combination-enup.h
+include/fxt/comb/combination-lex.h
+include/fxt/comb/combination-mod.h
+include/fxt/comb/combination-pref.h
+include/fxt/comb/combination-rec.h
+include/fxt/comb/combination-revdoor.h
+include/fxt/comb/comp2comb.h
+include/fxt/comb/composition-colex.h
+include/fxt/comb/composition-colex2.h
+include/fxt/comb/composition-dist-unimodal.h
+include/fxt/comb/composition-ex-colex.h
+include/fxt/comb/composition-ex-lex.h
+include/fxt/comb/composition-nz-binary.h
+include/fxt/comb/composition-nz-carlitz.h
+include/fxt/comb/composition-nz-conj.h
+include/fxt/comb/composition-nz-first-max.h
+include/fxt/comb/composition-nz-gray.h
+include/fxt/comb/composition-nz-gray2.h
+include/fxt/comb/composition-nz-i-smooth.h
+include/fxt/comb/composition-nz-left-2smooth.h
+include/fxt/comb/composition-nz-left-smooth.h
+include/fxt/comb/composition-nz-max.h
+include/fxt/comb/composition-nz-min.h
+include/fxt/comb/composition-nz-minc.h
+include/fxt/comb/composition-nz-numparts.h
+include/fxt/comb/composition-nz-odd-subset-lex.h
+include/fxt/comb/composition-nz-odd.h
+include/fxt/comb/composition-nz-rank.h
+include/fxt/comb/composition-nz-restrpref.h
+include/fxt/comb/composition-nz-rl.h
+include/fxt/comb/composition-nz-smooth.h
+include/fxt/comb/composition-nz-sorts.h
+include/fxt/comb/composition-nz-sorts2-pp.h
+include/fxt/comb/composition-nz-sorts2.h
+include/fxt/comb/composition-nz-subset-lex.h
+include/fxt/comb/composition-nz-superdiagonal.h
+include/fxt/comb/composition-nz-upstep.h
+include/fxt/comb/composition-nz-weakly-unimodal.h
+include/fxt/comb/composition-nz.h
+include/fxt/comb/composition-rank.h
+include/fxt/comb/composition-unimodal.h
+include/fxt/comb/cyclic-perm.h
+include/fxt/comb/cyclic-words.h
+include/fxt/comb/debruijn.h
+include/fxt/comb/delta2gray.h
+include/fxt/comb/descent-rgs.h
+include/fxt/comb/dyck-gray.h
+include/fxt/comb/dyck-gray2.h
+include/fxt/comb/dyck-pref.h
+include/fxt/comb/dyck-pref2.h
+include/fxt/comb/dyck-rgs-subset-lex.h
+include/fxt/comb/dyck-rgs.h
+include/fxt/comb/endo-enup.h
+include/fxt/comb/fact2num.h
+include/fxt/comb/fact2num2perm.h
+include/fxt/comb/fact2perm.h
+include/fxt/comb/gray-compare.h
+include/fxt/comb/gray-cycle-leaders.h
+include/fxt/comb/hilbert-ndim-rec.h
+include/fxt/comb/hilbert-ndim.h
+include/fxt/comb/id-tree-lev-seq.h
+include/fxt/comb/involution-zero-map-rgs.h
+include/fxt/comb/is-arrangement-rgs.h
+include/fxt/comb/is-ascent-rgs.h
+include/fxt/comb/is-catalan-path.h
+include/fxt/comb/is-catalan-rgs.h
+include/fxt/comb/is-catalan-step-rgs.h
+include/fxt/comb/is-cayley-perm.h
+include/fxt/comb/is-change-rgs.h
+include/fxt/comb/is-composition-nz.h
+include/fxt/comb/is-descent-rgs.h
+include/fxt/comb/is-dyck-rgs.h
+include/fxt/comb/is-isoscent-rgs.h
+include/fxt/comb/is-mixedradix-num.h
+include/fxt/comb/is-motzkin-path.h
+include/fxt/comb/is-motzkin-rgs.h
+include/fxt/comb/is-motzkin-step-rgs.h
+include/fxt/comb/is-noncrossing-setpart-rgs.h
+include/fxt/comb/is-nonsquashing.h
+include/fxt/comb/is-paren-position-word.h
+include/fxt/comb/is-paren-string.h
+include/fxt/comb/is-partition-asc.h
+include/fxt/comb/is-partition-desc.h
+include/fxt/comb/is-partition-rgs.h
+include/fxt/comb/is-schroeder-path.h
+include/fxt/comb/is-schroeder-rgs.h
+include/fxt/comb/is-setpart-ccf-perm.h
+include/fxt/comb/is-setpart-rgs.h
+include/fxt/comb/is-shifted-young-tab-rgs.h
+include/fxt/comb/is-smooth.h
+include/fxt/comb/is-sorts-in-runs-sorted.h
+include/fxt/comb/is-stack-sortable.h
+include/fxt/comb/is-symmetric.h
+include/fxt/comb/is-unimodal.h
+include/fxt/comb/is-young-tab-rgs.h
+include/fxt/comb/is-zero-map-rgs.h
+include/fxt/comb/isoscent-rgs.h
+include/fxt/comb/kperm-gray.h
+include/fxt/comb/kperm-lex.h
+include/fxt/comb/ksubset-gray.h
+include/fxt/comb/ksubset-lex.h
+include/fxt/comb/ksubset-rec.h
+include/fxt/comb/ksubset-twoclose.h
+include/fxt/comb/lex-compare.h
+include/fxt/comb/lindenmayer-system.h
+include/fxt/comb/lyndon-factorization.h
+include/fxt/comb/lyndon-words.h
+include/fxt/comb/map23-rgs.h
+include/fxt/comb/mixedradix-colex.h
+include/fxt/comb/mixedradix-endo-gray.h
+include/fxt/comb/mixedradix-endo.h
+include/fxt/comb/mixedradix-gray.h
+include/fxt/comb/mixedradix-gray2.h
+include/fxt/comb/mixedradix-gslex-alt.h
+include/fxt/comb/mixedradix-gslex-alt2.h
+include/fxt/comb/mixedradix-gslex.h
+include/fxt/comb/mixedradix-gslex2.h
+include/fxt/comb/mixedradix-lex.h
+include/fxt/comb/mixedradix-modular-gray.h
+include/fxt/comb/mixedradix-modular-gray2.h
+include/fxt/comb/mixedradix-naf-gray.h
+include/fxt/comb/mixedradix-naf-subset-lex.h
+include/fxt/comb/mixedradix-naf.h
+include/fxt/comb/mixedradix-restrpref.h
+include/fxt/comb/mixedradix-rfact.h
+include/fxt/comb/mixedradix-sl-gray.h
+include/fxt/comb/mixedradix-sod-lex.h
+include/fxt/comb/mixedradix-subset-lex.h
+include/fxt/comb/mixedradix-subset-lexrev.h
+include/fxt/comb/mixedradix.h
+include/fxt/comb/monotonic-gray.h
+include/fxt/comb/motzkin-nonflat-rgs-lex.h
+include/fxt/comb/motzkin-path-lex.h
+include/fxt/comb/motzkin-rgs-lex.h
+include/fxt/comb/motzkin-step-rgs-lex.h
+include/fxt/comb/mpartition.h
+include/fxt/comb/mpartition2.h
+include/fxt/comb/mset-kperm-lex.h
+include/fxt/comb/mset-perm-gray.h
+include/fxt/comb/mset-perm-lex-rec.h
+include/fxt/comb/mset-perm-lex.h
+include/fxt/comb/mset-perm-pref.h
+include/fxt/comb/necklace.h
+include/fxt/comb/num-compositions.h
+include/fxt/comb/num-necklaces.h
+include/fxt/comb/num2perm.h
+include/fxt/comb/ordered-tree-branches.h
+include/fxt/comb/ordered-tree-branching-seq.h
+include/fxt/comb/ordered-tree-lev-seq.h
+include/fxt/comb/paren-gray.h
+include/fxt/comb/paren-lex.h
+include/fxt/comb/paren-pref.h
+include/fxt/comb/paren-string-to-rgs.h
+include/fxt/comb/paren.h
+include/fxt/comb/partition-2fall-asc-subset-lex.h
+include/fxt/comb/partition-2fall-asc.h
+include/fxt/comb/partition-2fall-desc.h
+include/fxt/comb/partition-asc-2rep-subset-lex.h
+include/fxt/comb/partition-asc-2rep.h
+include/fxt/comb/partition-asc-perim.h
+include/fxt/comb/partition-asc-sorts.h
+include/fxt/comb/partition-asc-sorts2-pp.h
+include/fxt/comb/partition-asc-sorts2.h
+include/fxt/comb/partition-asc-subset-lex-csh.h
+include/fxt/comb/partition-asc-subset-lex.h
+include/fxt/comb/partition-asc.h
+include/fxt/comb/partition-binary-asc.h
+include/fxt/comb/partition-binary-desc.h
+include/fxt/comb/partition-boundary.h
+include/fxt/comb/partition-conj.h
+include/fxt/comb/partition-desc-bb.h
+include/fxt/comb/partition-desc.h
+include/fxt/comb/partition-dist-asc-len.h
+include/fxt/comb/partition-dist-asc-subset-lex.h
+include/fxt/comb/partition-dist-asc.h
+include/fxt/comb/partition-dist-d-asc.h
+include/fxt/comb/partition-dist-desc.h
+include/fxt/comb/partition-gen.h
+include/fxt/comb/partition-hook-prod.h
+include/fxt/comb/partition-nonsquashing-desc.h
+include/fxt/comb/partition-odd-asc-subset-lex-csh.h
+include/fxt/comb/partition-odd-asc-subset-lex.h
+include/fxt/comb/partition-odd-asc.h
+include/fxt/comb/partition-odd-desc.h
+include/fxt/comb/partition-odd-nonsquashing-desc.h
+include/fxt/comb/partition-odd-to-dist.h
+include/fxt/comb/partition-rgs-lex.h
+include/fxt/comb/partition-s-desc.h
+include/fxt/comb/partition-strongly-decr-desc.h
+include/fxt/comb/partition.h
+include/fxt/comb/perm-colex.h
+include/fxt/comb/perm-derange.h
+include/fxt/comb/perm-gray-ffact.h
+include/fxt/comb/perm-gray-ffact2.h
+include/fxt/comb/perm-gray-lipski.h
+include/fxt/comb/perm-gray-rfact.h
+include/fxt/comb/perm-gray-rot1.h
+include/fxt/comb/perm-gray-wells.h
+include/fxt/comb/perm-heap.h
+include/fxt/comb/perm-heap2-swaps.h
+include/fxt/comb/perm-heap2.h
+include/fxt/comb/perm-involution.h
+include/fxt/comb/perm-ives.h
+include/fxt/comb/perm-lex-inv.h
+include/fxt/comb/perm-lex.h
+include/fxt/comb/perm-lex2.h
+include/fxt/comb/perm-mv0.h
+include/fxt/comb/perm-pref.h
+include/fxt/comb/perm-rec.h
+include/fxt/comb/perm-restrpref.h
+include/fxt/comb/perm-rev.h
+include/fxt/comb/perm-rev2.h
+include/fxt/comb/perm-rot.h
+include/fxt/comb/perm-st-gray.h
+include/fxt/comb/perm-st-pref.h
+include/fxt/comb/perm-st.h
+include/fxt/comb/perm-star-swaps.h
+include/fxt/comb/perm-star.h
+include/fxt/comb/perm-trotter-lg.h
+include/fxt/comb/perm-trotter.h
+include/fxt/comb/print-arrangement-rgs-perm.h
+include/fxt/comb/print-catalan-path-aa.h
+include/fxt/comb/print-catalan-step-rgs-aa.h
+include/fxt/comb/print-composition-aa.h
+include/fxt/comb/print-composition-by-sorts.h
+include/fxt/comb/print-composition-unimodal.h
+include/fxt/comb/print-partition-aa.h
+include/fxt/comb/print-partition-conj.h
+include/fxt/comb/print-young-tab-rgs-aa.h
+include/fxt/comb/print-zero-map-rgs.h
+include/fxt/comb/reverse-paren-string.h
+include/fxt/comb/rgs-fincr.h
+include/fxt/comb/rgs-kincr.h
+include/fxt/comb/rgs-maxincr.h
+include/fxt/comb/ruler-func-s.h
+include/fxt/comb/ruler-func.h
+include/fxt/comb/ruler-func1.h
+include/fxt/comb/schroeder-path-lex.h
+include/fxt/comb/schroeder-rgs-lex.h
+include/fxt/comb/score-sequence.h
+include/fxt/comb/setpart-ccf-rgs-lex.h
+include/fxt/comb/setpart-ck-rgs.h
+include/fxt/comb/setpart-p-rgs-lex.h
+include/fxt/comb/setpart-rgs-gray.h
+include/fxt/comb/setpart-rgs-lex.h
+include/fxt/comb/setpart-rgs-subset-lex.h
+include/fxt/comb/setpart-s-zero-map-rgs.h
+include/fxt/comb/setpart-zero-map-rgs.h
+include/fxt/comb/setpart.h
+include/fxt/comb/skew-binary.h
+include/fxt/comb/sl-gray-compare.h
+include/fxt/comb/smooth-rfact-rgs.h
+include/fxt/comb/string-subst.h
+include/fxt/comb/subset-debruijn.h
+include/fxt/comb/subset-deltalex.h
+include/fxt/comb/subset-gray-delta.h
+include/fxt/comb/subset-gray.h
+include/fxt/comb/subset-lex-compare.h
+include/fxt/comb/subset-lex.h
+include/fxt/comb/test-gray.h
+include/fxt/comb/tree-lev-seq-aux.h
+include/fxt/comb/tree-lev-seq.h
+include/fxt/comb/weakly-unimodal-rgs-lex.h
+include/fxt/comb/wfl-hilbert.h
+include/fxt/comb/word-stats.h
+include/fxt/comb/young-tab-rgs-descents.h
+include/fxt/comb/young-tab-rgs-subset-lex.h
+include/fxt/comb/young-tab-rgs.h
+include/fxt/complextype.h
+include/fxt/convolution-all.h
+include/fxt/convolution/complexconvolution.h
+include/fxt/convolution/fhtmulsqr.h
+include/fxt/convolution/realconvolution.h
+include/fxt/convolution/slowcnvl-lin.h
+include/fxt/convolution/slowcnvl.h
+include/fxt/convolution/slowcnvla.h
+include/fxt/convolution/slowcnvlhalf.h
+include/fxt/convolution/slowconvolution.h
+include/fxt/convolution/slowtwodimcnvl.h
+include/fxt/convolution/slowweightedcnvl.h
+include/fxt/convolution/weightedconvolution.h
+include/fxt/correlation-all.h
+include/fxt/correlation/correlation.h
+include/fxt/correlation/slowcorr.h
+include/fxt/dctdst-all.h
+include/fxt/dctdst/dctdst.h
+include/fxt/ds-all.h
+include/fxt/ds/array2d.h
+include/fxt/ds/array3d.h
+include/fxt/ds/bitarray.h
+include/fxt/ds/bitarray2d.h
+include/fxt/ds/bounding-box.h
+include/fxt/ds/centered-array2d.h
+include/fxt/ds/centered-array3d.h
+include/fxt/ds/deque.h
+include/fxt/ds/heap.h
+include/fxt/ds/left-right-array.h
+include/fxt/ds/point2d.h
+include/fxt/ds/point3d.h
+include/fxt/ds/priorityqueue.h
+include/fxt/ds/queue.h
+include/fxt/ds/ringbuffer.h
+include/fxt/ds/stack.h
+include/fxt/ds/vector2d.h
+include/fxt/ds/vector3d.h
+include/fxt/fft-all.h
+include/fxt/fft/fft-default.h
+include/fxt/fft/fft.h
+include/fxt/fft/matrixfft.h
+include/fxt/fft/shortfft.h
+include/fxt/fft/slowft.h
+include/fxt/fht-all.h
+include/fxt/fht/fht-default.h
+include/fxt/fht/fht.h
+include/fxt/fht/fht2d.h
+include/fxt/fht/fhtloc2.h
+include/fxt/fht/hartleyshift.h
+include/fxt/fht/shortfhtdifcore.h
+include/fxt/fht/shortfhtditcore.h
+include/fxt/fht/slowht.h
+include/fxt/fxtalloca.h
+include/fxt/fxtio.h
+include/fxt/fxttypes.h
+include/fxt/graph-all.h
+include/fxt/graph/digraph-paths.h
+include/fxt/graph/digraph.h
+include/fxt/graph/lyndon-gray.h
+include/fxt/graph/mk-special-digraphs.h
+include/fxt/graph/print-path.h
+include/fxt/haar-all.h
+include/fxt/haar/fib-haar.h
+include/fxt/haar/haar.h
+include/fxt/haar/haarnn.h
+include/fxt/haar/haarrevnn.h
+include/fxt/haar/mers-haar.h
+include/fxt/haar/prefix-transform.h
+include/fxt/haar/transposedhaarnn.h
+include/fxt/haar/transposedhaarrevnn.h
+include/fxt/jjassert.h
+include/fxt/matrix-all.h
+include/fxt/matrix/matrix.h
+include/fxt/matrix/vector.h
+include/fxt/mod-all.h
+include/fxt/mod/chebyshev.h
+include/fxt/mod/divisors.h
+include/fxt/mod/factor.h
+include/fxt/mod/isqrt.h
+include/fxt/mod/mersenne.h
+include/fxt/mod/mod.h
+include/fxt/mod/modarith.h
+include/fxt/mod/mtypes.h
+include/fxt/mod/numtheory.h
+include/fxt/mod/primes.h
+include/fxt/nextarg.h
+include/fxt/ntt-all.h
+include/fxt/ntt/ntt.h
+include/fxt/perm-all.h
+include/fxt/perm/even2lower.h
+include/fxt/perm/fact2perm-swp-apply.h
+include/fxt/perm/graypermute.h
+include/fxt/perm/grayrevpermute.h
+include/fxt/perm/haarpermute.h
+include/fxt/perm/perm-genus.h
+include/fxt/perm/perm2ccf.h
+include/fxt/perm/permapply.h
+include/fxt/perm/permapplyfunc.h
+include/fxt/perm/permcomplement.h
+include/fxt/perm/permcompose.h
+include/fxt/perm/perminvert.h
+include/fxt/perm/permq.h
+include/fxt/perm/permrand-2cycles.h
+include/fxt/perm/permrand-connected.h
+include/fxt/perm/permrand-cycle-type.h
+include/fxt/perm/permrand-cyclic.h
+include/fxt/perm/permrand-derange.h
+include/fxt/perm/permrand-derange3.h
+include/fxt/perm/permrand-inv-mod-m.h
+include/fxt/perm/permrand-ncm2.h
+include/fxt/perm/permrand-ord.h
+include/fxt/perm/permrand-parity.h
+include/fxt/perm/permrand-pref.h
+include/fxt/perm/permrand-sdc.h
+include/fxt/perm/permrand-self-inverse.h
+include/fxt/perm/permrand.h
+include/fxt/perm/printcycles.h
+include/fxt/perm/radixpermute.h
+include/fxt/perm/revbinpermute.h
+include/fxt/perm/revbinpermute0.h
+include/fxt/perm/reverse.h
+include/fxt/perm/rotate.h
+include/fxt/perm/shortgraypermute.h
+include/fxt/perm/shortrevbinpermute.h
+include/fxt/perm/shortrevbinpermute0.h
+include/fxt/perm/swapblocks.h
+include/fxt/perm/xorpermute.h
+include/fxt/perm/zip.h
+include/fxt/perm/ziprev.h
+include/fxt/realfft-all.h
+include/fxt/realfft/realfft.h
+include/fxt/realloc.h
+include/fxt/restrict.h
+include/fxt/sort-all.h
+include/fxt/sort/bsearch.h
+include/fxt/sort/bsearchapprox.h
+include/fxt/sort/bsearchfunc.h
+include/fxt/sort/bsearchidx.h
+include/fxt/sort/bsearchidxfunc.h
+include/fxt/sort/bsearchptr.h
+include/fxt/sort/bsearchptrfunc.h
+include/fxt/sort/convex.h
+include/fxt/sort/equivclasses.h
+include/fxt/sort/heapsort.h
+include/fxt/sort/merge-sort.h
+include/fxt/sort/minmax.h
+include/fxt/sort/minmaxfunc.h
+include/fxt/sort/minmaxidx.h
+include/fxt/sort/minmaxidxfunc.h
+include/fxt/sort/minmaxmed23.h
+include/fxt/sort/minmaxmed23func.h
+include/fxt/sort/minmaxmed23idx.h
+include/fxt/sort/minmaxptr.h
+include/fxt/sort/minmaxptrfunc.h
+include/fxt/sort/quantize.h
+include/fxt/sort/radixsort.h
+include/fxt/sort/sort.h
+include/fxt/sort/sort23.h
+include/fxt/sort/sort23func.h
+include/fxt/sort/sortbykey.h
+include/fxt/sort/sortfunc.h
+include/fxt/sort/sortidx.h
+include/fxt/sort/sortidxfunc.h
+include/fxt/sort/sortptr.h
+include/fxt/sort/sortptrfunc.h
+include/fxt/sort/unique.h
+include/fxt/sort/uniquefunc.h
+include/fxt/sort/usearch.h
+include/fxt/walsh-all.h
+include/fxt/walsh/and-convolution.h
+include/fxt/walsh/arithtransform.h
+include/fxt/walsh/bitcount-weight.h
+include/fxt/walsh/dyadiccnvl.h
+include/fxt/walsh/fib-walsh.h
+include/fxt/walsh/grsnegate.h
+include/fxt/walsh/max-convolution.h
+include/fxt/walsh/mers-walsh.h
+include/fxt/walsh/or-convolution.h
+include/fxt/walsh/reedmuller.h
+include/fxt/walsh/shortwalshwakdif.h
+include/fxt/walsh/shortwalshwakdit.h
+include/fxt/walsh/slant.h
+include/fxt/walsh/square-wave-transform.h
+include/fxt/walsh/subset-convolution.h
+include/fxt/walsh/walsh-basis.h
+include/fxt/walsh/walsheigen.h
+include/fxt/walsh/walshgray.h
+include/fxt/walsh/walshpal.h
+include/fxt/walsh/walshq.h
+include/fxt/walsh/walshseq.h
+include/fxt/walsh/walshwak.h
+include/fxt/walsh/walshwak2.h
+include/fxt/walsh/walshwak4.h
+include/fxt/walsh/walshwak8.h
+include/fxt/walsh/walshwakloc2.h
+include/fxt/walsh/walshwal.h
+include/fxt/walsh/walshwalrev.h
+include/fxt/walsh/weighted-arithtransform.h
+include/fxt/walsh/weighted-or-convolution.h
+include/fxt/wavelet-all.h
+include/fxt/wavelet/daubechies.h
+include/fxt/wavelet/harmonic-wavelet.h
+include/fxt/wavelet/wavelet.h
+include/fxt/wavelet/waveletfilter.h
+lib/libfxt.a
diff --git a/fxt/distinfo b/fxt/distinfo
new file mode 100644
index 0000000000..4516e44b54
--- /dev/null
+++ b/fxt/distinfo
@@ -0,0 +1,7 @@
+$NetBSD$
+
+SHA1 (fxt-2019.03.09.tar.gz) = cf40fd018a34cf65e6870626b5232620d744c246
+RMD160 (fxt-2019.03.09.tar.gz) = 9c9e73427c21c8798fa9f87f5146012b7d256bfd
+SHA512 (fxt-2019.03.09.tar.gz) = 378375bac72a2d5dc502e3cb488c845d1d34d75bedc338e1299b66ae728ddfe42a85bba684643a34e07603161cee291b0b5c7d8ef4192269ab4adde7bbf0fcd0
+Size (fxt-2019.03.09.tar.gz) = 1846592 bytes
+SHA1 (patch-makefile) = b6b98339c77117cecd2b7568bf167f839b4ab95a
diff --git a/fxt/patches/patch-makefile b/fxt/patches/patch-makefile
new file mode 100644
index 0000000000..40df86fad1
--- /dev/null
+++ b/fxt/patches/patch-makefile
@@ -0,0 +1,17 @@
+$NetBSD$
+
+--- makefile.orig	2019-02-21 16:07:55.000000000 +0000
++++ makefile
+@@ -194,9 +194,9 @@ FXT_INSTALL ?= cp -p$(CP_U)v
+ 
+ ## PREFIX is only set if not supplied
+ ## for other locations use e.g.  "make install PREFIX=/opt/"
+-PREFIX ?= /usr/local/
+-LIBDIR=$(PREFIX)/lib
+-INCDIR=$(PREFIX)/include/fxt
++PREFIX ?= /usr/pkg/
++LIBDIR=$(DESTDIR)$(PREFIX)/lib
++INCDIR=$(DESTDIR)$(PREFIX)/include/fxt
+ .PHONY: install  ## install to $(PREFIX)/lib/ and $(PREFIX)/include/fxt/
+ install: lib
+ 	: '[$@]'
diff --git a/glm/DESCR b/glm/DESCR
new file mode 100644
index 0000000000..0e74392309
--- /dev/null
+++ b/glm/DESCR
@@ -0,0 +1,16 @@
+OpenGL Mathematics (GLM) is a header only C++ mathematics library for
+graphics software based on the OpenGL Shading Language (GLSL) specification.
+
+GLM provides classes and functions designed and implemented with the same
+naming conventions and functionalities than GLSL so that when a programmer
+knows GLSL, he knows GLM as well which makes it really easy to use.
+
+This project isn't limited to GLSL features.  An extension system, based on
+the GLSL extension conventions, provides extended capabilities: matrix
+transformations, quaternions, half-based types, random numbers, procedural
+noise functions, etc...
+
+This library works perfectly with OpenGL but it also ensures interoperability
+with third party libraries and SDKs.  It is a good candidate for software
+rendering (Raytracing / Rasterisation), image processing, physic simulations
+and any context that requires a simple and convenient mathematics library
diff --git a/glm/Makefile b/glm/Makefile
new file mode 100644
index 0000000000..9d82a59944
--- /dev/null
+++ b/glm/Makefile
@@ -0,0 +1,22 @@
+# $NetBSD$
+
+GITHUB_PROJECT=	glm
+DISTNAME=	0.9.9.3
+PKGNAME=	${GITHUB_PROJECT}-${DISTNAME}
+CATEGORIES=	math
+MASTER_SITES=	${MASTER_SITE_GITHUB:=g-truc/}
+DIST_SUBDIR=	${GITHUB_PROJECT}
+
+MAINTAINER=	jihbed.research%gmail.com@localhost
+HOMEPAGE=	https://glm.g-truc.net/
+COMMENT=	C++ mathematics library for software based on the OpenGL GLSL
+LICENSE=	mit
+
+WRKSRC=		${WRKDIR}/glm-0.9.9.3
+USE_CMAKE=	yes
+USE_TOOLS+=	pkg-config
+USE_LANGUAGES=	c++
+
+PKGCONFIG_OVERRIDE+=	cmake/glm.pc.in
+
+.include "../../mk/bsd.pkg.mk"
diff --git a/glm/PLIST b/glm/PLIST
new file mode 100644
index 0000000000..236bbee172
--- /dev/null
+++ b/glm/PLIST
@@ -0,0 +1,406 @@
+@comment $NetBSD$
+include/glm/CMakeFiles/CMakeDirectoryInformation.cmake
+include/glm/CMakeFiles/glm_shared.dir/CXX.includecache
+include/glm/CMakeFiles/glm_shared.dir/DependInfo.cmake
+include/glm/CMakeFiles/glm_shared.dir/build.make
+include/glm/CMakeFiles/glm_shared.dir/cmake_clean.cmake
+include/glm/CMakeFiles/glm_shared.dir/depend.internal
+include/glm/CMakeFiles/glm_shared.dir/depend.make
+include/glm/CMakeFiles/glm_shared.dir/detail/glm.cpp.o
+include/glm/CMakeFiles/glm_shared.dir/flags.make
+include/glm/CMakeFiles/glm_shared.dir/link.txt
+include/glm/CMakeFiles/glm_shared.dir/progress.make
+include/glm/CMakeFiles/glm_static.dir/CXX.includecache
+include/glm/CMakeFiles/glm_static.dir/DependInfo.cmake
+include/glm/CMakeFiles/glm_static.dir/build.make
+include/glm/CMakeFiles/glm_static.dir/cmake_clean.cmake
+include/glm/CMakeFiles/glm_static.dir/cmake_clean_target.cmake
+include/glm/CMakeFiles/glm_static.dir/depend.internal
+include/glm/CMakeFiles/glm_static.dir/depend.make
+include/glm/CMakeFiles/glm_static.dir/detail/glm.cpp.o
+include/glm/CMakeFiles/glm_static.dir/flags.make
+include/glm/CMakeFiles/glm_static.dir/link.txt
+include/glm/CMakeFiles/glm_static.dir/progress.make
+include/glm/CMakeFiles/progress.marks
+include/glm/CMakeLists.txt
+include/glm/CTestTestfile.cmake
+include/glm/Makefile
+include/glm/cmake_install.cmake
+include/glm/common.hpp
+include/glm/detail/_features.hpp
+include/glm/detail/_fixes.hpp
+include/glm/detail/_noise.hpp
+include/glm/detail/_swizzle.hpp
+include/glm/detail/_swizzle_func.hpp
+include/glm/detail/_vectorize.hpp
+include/glm/detail/compute_common.hpp
+include/glm/detail/compute_vector_relational.hpp
+include/glm/detail/func_common.inl
+include/glm/detail/func_common_simd.inl
+include/glm/detail/func_exponential.inl
+include/glm/detail/func_exponential_simd.inl
+include/glm/detail/func_geometric.inl
+include/glm/detail/func_geometric_simd.inl
+include/glm/detail/func_integer.inl
+include/glm/detail/func_integer_simd.inl
+include/glm/detail/func_matrix.inl
+include/glm/detail/func_matrix_simd.inl
+include/glm/detail/func_packing.inl
+include/glm/detail/func_packing_simd.inl
+include/glm/detail/func_trigonometric.inl
+include/glm/detail/func_trigonometric_simd.inl
+include/glm/detail/func_vector_relational.inl
+include/glm/detail/func_vector_relational_simd.inl
+include/glm/detail/glm.cpp
+include/glm/detail/qualifier.hpp
+include/glm/detail/setup.hpp
+include/glm/detail/type_float.hpp
+include/glm/detail/type_half.hpp
+include/glm/detail/type_half.inl
+include/glm/detail/type_mat2x2.hpp
+include/glm/detail/type_mat2x2.inl
+include/glm/detail/type_mat2x3.hpp
+include/glm/detail/type_mat2x3.inl
+include/glm/detail/type_mat2x4.hpp
+include/glm/detail/type_mat2x4.inl
+include/glm/detail/type_mat3x2.hpp
+include/glm/detail/type_mat3x2.inl
+include/glm/detail/type_mat3x3.hpp
+include/glm/detail/type_mat3x3.inl
+include/glm/detail/type_mat3x4.hpp
+include/glm/detail/type_mat3x4.inl
+include/glm/detail/type_mat4x2.hpp
+include/glm/detail/type_mat4x2.inl
+include/glm/detail/type_mat4x3.hpp
+include/glm/detail/type_mat4x3.inl
+include/glm/detail/type_mat4x4.hpp
+include/glm/detail/type_mat4x4.inl
+include/glm/detail/type_mat4x4_simd.inl
+include/glm/detail/type_quat.hpp
+include/glm/detail/type_quat.inl
+include/glm/detail/type_quat_simd.inl
+include/glm/detail/type_vec1.hpp
+include/glm/detail/type_vec1.inl
+include/glm/detail/type_vec2.hpp
+include/glm/detail/type_vec2.inl
+include/glm/detail/type_vec3.hpp
+include/glm/detail/type_vec3.inl
+include/glm/detail/type_vec4.hpp
+include/glm/detail/type_vec4.inl
+include/glm/detail/type_vec4_simd.inl
+include/glm/exponential.hpp
+include/glm/ext.hpp
+include/glm/ext/matrix_clip_space.hpp
+include/glm/ext/matrix_clip_space.inl
+include/glm/ext/matrix_double2x2.hpp
+include/glm/ext/matrix_double2x2_precision.hpp
+include/glm/ext/matrix_double2x3.hpp
+include/glm/ext/matrix_double2x3_precision.hpp
+include/glm/ext/matrix_double2x4.hpp
+include/glm/ext/matrix_double2x4_precision.hpp
+include/glm/ext/matrix_double3x2.hpp
+include/glm/ext/matrix_double3x2_precision.hpp
+include/glm/ext/matrix_double3x3.hpp
+include/glm/ext/matrix_double3x3_precision.hpp
+include/glm/ext/matrix_double3x4.hpp
+include/glm/ext/matrix_double3x4_precision.hpp
+include/glm/ext/matrix_double4x2.hpp
+include/glm/ext/matrix_double4x2_precision.hpp
+include/glm/ext/matrix_double4x3.hpp
+include/glm/ext/matrix_double4x3_precision.hpp
+include/glm/ext/matrix_double4x4.hpp
+include/glm/ext/matrix_double4x4_precision.hpp
+include/glm/ext/matrix_float2x2.hpp
+include/glm/ext/matrix_float2x2_precision.hpp
+include/glm/ext/matrix_float2x3.hpp
+include/glm/ext/matrix_float2x3_precision.hpp
+include/glm/ext/matrix_float2x4.hpp
+include/glm/ext/matrix_float2x4_precision.hpp
+include/glm/ext/matrix_float3x2.hpp
+include/glm/ext/matrix_float3x2_precision.hpp
+include/glm/ext/matrix_float3x3.hpp
+include/glm/ext/matrix_float3x3_precision.hpp
+include/glm/ext/matrix_float3x4.hpp
+include/glm/ext/matrix_float3x4_precision.hpp
+include/glm/ext/matrix_float4x2.hpp
+include/glm/ext/matrix_float4x2_precision.hpp
+include/glm/ext/matrix_float4x3.hpp
+include/glm/ext/matrix_float4x3_precision.hpp
+include/glm/ext/matrix_float4x4.hpp
+include/glm/ext/matrix_float4x4_precision.hpp
+include/glm/ext/matrix_projection.hpp
+include/glm/ext/matrix_projection.inl
+include/glm/ext/matrix_relational.hpp
+include/glm/ext/matrix_relational.inl
+include/glm/ext/matrix_transform.hpp
+include/glm/ext/matrix_transform.inl
+include/glm/ext/quaternion_common.hpp
+include/glm/ext/quaternion_common.inl
+include/glm/ext/quaternion_common_simd.inl
+include/glm/ext/quaternion_double.hpp
+include/glm/ext/quaternion_double_precision.hpp
+include/glm/ext/quaternion_exponential.hpp
+include/glm/ext/quaternion_exponential.inl
+include/glm/ext/quaternion_float.hpp
+include/glm/ext/quaternion_float_precision.hpp
+include/glm/ext/quaternion_geometric.hpp
+include/glm/ext/quaternion_geometric.inl
+include/glm/ext/quaternion_relational.hpp
+include/glm/ext/quaternion_relational.inl
+include/glm/ext/quaternion_transform.hpp
+include/glm/ext/quaternion_transform.inl
+include/glm/ext/quaternion_trigonometric.hpp
+include/glm/ext/quaternion_trigonometric.inl
+include/glm/ext/scalar_common.hpp
+include/glm/ext/scalar_common.inl
+include/glm/ext/scalar_constants.hpp
+include/glm/ext/scalar_constants.inl
+include/glm/ext/scalar_int_sized.hpp
+include/glm/ext/scalar_relational.hpp
+include/glm/ext/scalar_relational.inl
+include/glm/ext/scalar_uint_sized.hpp
+include/glm/ext/scalar_ulp.hpp
+include/glm/ext/scalar_ulp.inl
+include/glm/ext/vector_bool1.hpp
+include/glm/ext/vector_bool1_precision.hpp
+include/glm/ext/vector_bool2.hpp
+include/glm/ext/vector_bool2_precision.hpp
+include/glm/ext/vector_bool3.hpp
+include/glm/ext/vector_bool3_precision.hpp
+include/glm/ext/vector_bool4.hpp
+include/glm/ext/vector_bool4_precision.hpp
+include/glm/ext/vector_common.hpp
+include/glm/ext/vector_common.inl
+include/glm/ext/vector_double1.hpp
+include/glm/ext/vector_double1_precision.hpp
+include/glm/ext/vector_double2.hpp
+include/glm/ext/vector_double2_precision.hpp
+include/glm/ext/vector_double3.hpp
+include/glm/ext/vector_double3_precision.hpp
+include/glm/ext/vector_double4.hpp
+include/glm/ext/vector_double4_precision.hpp
+include/glm/ext/vector_float1.hpp
+include/glm/ext/vector_float1_precision.hpp
+include/glm/ext/vector_float2.hpp
+include/glm/ext/vector_float2_precision.hpp
+include/glm/ext/vector_float3.hpp
+include/glm/ext/vector_float3_precision.hpp
+include/glm/ext/vector_float4.hpp
+include/glm/ext/vector_float4_precision.hpp
+include/glm/ext/vector_int1.hpp
+include/glm/ext/vector_int1_precision.hpp
+include/glm/ext/vector_int2.hpp
+include/glm/ext/vector_int2_precision.hpp
+include/glm/ext/vector_int3.hpp
+include/glm/ext/vector_int3_precision.hpp
+include/glm/ext/vector_int4.hpp
+include/glm/ext/vector_int4_precision.hpp
+include/glm/ext/vector_relational.hpp
+include/glm/ext/vector_relational.inl
+include/glm/ext/vector_uint1.hpp
+include/glm/ext/vector_uint1_precision.hpp
+include/glm/ext/vector_uint2.hpp
+include/glm/ext/vector_uint2_precision.hpp
+include/glm/ext/vector_uint3.hpp
+include/glm/ext/vector_uint3_precision.hpp
+include/glm/ext/vector_uint4.hpp
+include/glm/ext/vector_uint4_precision.hpp
+include/glm/ext/vector_ulp.hpp
+include/glm/ext/vector_ulp.inl
+include/glm/fwd.hpp
+include/glm/geometric.hpp
+include/glm/glm.hpp
+include/glm/gtc/bitfield.hpp
+include/glm/gtc/bitfield.inl
+include/glm/gtc/color_space.hpp
+include/glm/gtc/color_space.inl
+include/glm/gtc/constants.hpp
+include/glm/gtc/constants.inl
+include/glm/gtc/epsilon.hpp
+include/glm/gtc/epsilon.inl
+include/glm/gtc/integer.hpp
+include/glm/gtc/integer.inl
+include/glm/gtc/matrix_access.hpp
+include/glm/gtc/matrix_access.inl
+include/glm/gtc/matrix_integer.hpp
+include/glm/gtc/matrix_inverse.hpp
+include/glm/gtc/matrix_inverse.inl
+include/glm/gtc/matrix_transform.hpp
+include/glm/gtc/matrix_transform.inl
+include/glm/gtc/noise.hpp
+include/glm/gtc/noise.inl
+include/glm/gtc/packing.hpp
+include/glm/gtc/packing.inl
+include/glm/gtc/quaternion.hpp
+include/glm/gtc/quaternion.inl
+include/glm/gtc/quaternion_simd.inl
+include/glm/gtc/random.hpp
+include/glm/gtc/random.inl
+include/glm/gtc/reciprocal.hpp
+include/glm/gtc/reciprocal.inl
+include/glm/gtc/round.hpp
+include/glm/gtc/round.inl
+include/glm/gtc/type_aligned.hpp
+include/glm/gtc/type_precision.hpp
+include/glm/gtc/type_precision.inl
+include/glm/gtc/type_ptr.hpp
+include/glm/gtc/type_ptr.inl
+include/glm/gtc/ulp.hpp
+include/glm/gtc/ulp.inl
+include/glm/gtc/vec1.hpp
+include/glm/gtx/associated_min_max.hpp
+include/glm/gtx/associated_min_max.inl
+include/glm/gtx/bit.hpp
+include/glm/gtx/bit.inl
+include/glm/gtx/closest_point.hpp
+include/glm/gtx/closest_point.inl
+include/glm/gtx/color_encoding.hpp
+include/glm/gtx/color_encoding.inl
+include/glm/gtx/color_space.hpp
+include/glm/gtx/color_space.inl
+include/glm/gtx/color_space_YCoCg.hpp
+include/glm/gtx/color_space_YCoCg.inl
+include/glm/gtx/common.hpp
+include/glm/gtx/common.inl
+include/glm/gtx/compatibility.hpp
+include/glm/gtx/compatibility.inl
+include/glm/gtx/component_wise.hpp
+include/glm/gtx/component_wise.inl
+include/glm/gtx/dual_quaternion.hpp
+include/glm/gtx/dual_quaternion.inl
+include/glm/gtx/easing.hpp
+include/glm/gtx/easing.inl
+include/glm/gtx/euler_angles.hpp
+include/glm/gtx/euler_angles.inl
+include/glm/gtx/extend.hpp
+include/glm/gtx/extend.inl
+include/glm/gtx/extended_min_max.hpp
+include/glm/gtx/extended_min_max.inl
+include/glm/gtx/exterior_product.hpp
+include/glm/gtx/exterior_product.inl
+include/glm/gtx/fast_exponential.hpp
+include/glm/gtx/fast_exponential.inl
+include/glm/gtx/fast_square_root.hpp
+include/glm/gtx/fast_square_root.inl
+include/glm/gtx/fast_trigonometry.hpp
+include/glm/gtx/fast_trigonometry.inl
+include/glm/gtx/float_notmalize.inl
+include/glm/gtx/functions.hpp
+include/glm/gtx/functions.inl
+include/glm/gtx/gradient_paint.hpp
+include/glm/gtx/gradient_paint.inl
+include/glm/gtx/handed_coordinate_space.hpp
+include/glm/gtx/handed_coordinate_space.inl
+include/glm/gtx/hash.hpp
+include/glm/gtx/hash.inl
+include/glm/gtx/integer.hpp
+include/glm/gtx/integer.inl
+include/glm/gtx/intersect.hpp
+include/glm/gtx/intersect.inl
+include/glm/gtx/io.hpp
+include/glm/gtx/io.inl
+include/glm/gtx/log_base.hpp
+include/glm/gtx/log_base.inl
+include/glm/gtx/matrix_cross_product.hpp
+include/glm/gtx/matrix_cross_product.inl
+include/glm/gtx/matrix_decompose.hpp
+include/glm/gtx/matrix_decompose.inl
+include/glm/gtx/matrix_factorisation.hpp
+include/glm/gtx/matrix_factorisation.inl
+include/glm/gtx/matrix_interpolation.hpp
+include/glm/gtx/matrix_interpolation.inl
+include/glm/gtx/matrix_major_storage.hpp
+include/glm/gtx/matrix_major_storage.inl
+include/glm/gtx/matrix_operation.hpp
+include/glm/gtx/matrix_operation.inl
+include/glm/gtx/matrix_query.hpp
+include/glm/gtx/matrix_query.inl
+include/glm/gtx/matrix_transform_2d.hpp
+include/glm/gtx/matrix_transform_2d.inl
+include/glm/gtx/mixed_product.hpp
+include/glm/gtx/mixed_product.inl
+include/glm/gtx/norm.hpp
+include/glm/gtx/norm.inl
+include/glm/gtx/normal.hpp
+include/glm/gtx/normal.inl
+include/glm/gtx/normalize_dot.hpp
+include/glm/gtx/normalize_dot.inl
+include/glm/gtx/number_precision.hpp
+include/glm/gtx/number_precision.inl
+include/glm/gtx/optimum_pow.hpp
+include/glm/gtx/optimum_pow.inl
+include/glm/gtx/orthonormalize.hpp
+include/glm/gtx/orthonormalize.inl
+include/glm/gtx/perpendicular.hpp
+include/glm/gtx/perpendicular.inl
+include/glm/gtx/polar_coordinates.hpp
+include/glm/gtx/polar_coordinates.inl
+include/glm/gtx/projection.hpp
+include/glm/gtx/projection.inl
+include/glm/gtx/quaternion.hpp
+include/glm/gtx/quaternion.inl
+include/glm/gtx/range.hpp
+include/glm/gtx/raw_data.hpp
+include/glm/gtx/raw_data.inl
+include/glm/gtx/rotate_normalized_axis.hpp
+include/glm/gtx/rotate_normalized_axis.inl
+include/glm/gtx/rotate_vector.hpp
+include/glm/gtx/rotate_vector.inl
+include/glm/gtx/scalar_multiplication.hpp
+include/glm/gtx/scalar_relational.hpp
+include/glm/gtx/scalar_relational.inl
+include/glm/gtx/spline.hpp
+include/glm/gtx/spline.inl
+include/glm/gtx/std_based_type.hpp
+include/glm/gtx/std_based_type.inl
+include/glm/gtx/string_cast.hpp
+include/glm/gtx/string_cast.inl
+include/glm/gtx/texture.hpp
+include/glm/gtx/texture.inl
+include/glm/gtx/transform.hpp
+include/glm/gtx/transform.inl
+include/glm/gtx/transform2.hpp
+include/glm/gtx/transform2.inl
+include/glm/gtx/type_aligned.hpp
+include/glm/gtx/type_aligned.inl
+include/glm/gtx/type_trait.hpp
+include/glm/gtx/type_trait.inl
+include/glm/gtx/vec_swizzle.hpp
+include/glm/gtx/vector_angle.hpp
+include/glm/gtx/vector_angle.inl
+include/glm/gtx/vector_query.hpp
+include/glm/gtx/vector_query.inl
+include/glm/gtx/wrap.hpp
+include/glm/gtx/wrap.inl
+include/glm/integer.hpp
+include/glm/libglm_shared.so
+include/glm/libglm_static.a
+include/glm/mat2x2.hpp
+include/glm/mat2x3.hpp
+include/glm/mat2x4.hpp
+include/glm/mat3x2.hpp
+include/glm/mat3x3.hpp
+include/glm/mat3x4.hpp
+include/glm/mat4x2.hpp
+include/glm/mat4x3.hpp
+include/glm/mat4x4.hpp
+include/glm/matrix.hpp
+include/glm/packing.hpp
+include/glm/simd/common.h
+include/glm/simd/exponential.h
+include/glm/simd/geometric.h
+include/glm/simd/integer.h
+include/glm/simd/matrix.h
+include/glm/simd/packing.h
+include/glm/simd/platform.h
+include/glm/simd/trigonometric.h
+include/glm/simd/vector_relational.h
+include/glm/trigonometric.hpp
+include/glm/vec2.hpp
+include/glm/vec3.hpp
+include/glm/vec4.hpp
+include/glm/vector_relational.hpp
+lib/cmake/glm/glmConfig.cmake
+lib/cmake/glm/glmConfigVersion.cmake
+lib/cmake/glm/glmTargets.cmake
+lib/pkgconfig/glm.pc
diff --git a/glm/distinfo b/glm/distinfo
new file mode 100644
index 0000000000..41adc8ded5
--- /dev/null
+++ b/glm/distinfo
@@ -0,0 +1,6 @@
+$NetBSD$
+
+SHA1 (glm/0.9.9.3.tar.gz) = 4353b01dfadfbcb51ff2fef85933afb993bfc03b
+RMD160 (glm/0.9.9.3.tar.gz) = fe2b0ff5f457cd19d8f6d6dba7f7bccb0ae60994
+SHA512 (glm/0.9.9.3.tar.gz) = 44152ea6438763feda3b78813287fd59d3574a9630a41647a157825bf5ce4a18fbbecae5a5ccd94acc118ed3d42cbce53d3a67f25632d0c00ab77e7de2bb4650
+Size (glm/0.9.9.3.tar.gz) = 4577239 bytes
diff --git a/lie/DESCR b/lie/DESCR
new file mode 100644
index 0000000000..cf2ba9c4ff
--- /dev/null
+++ b/lie/DESCR
@@ -0,0 +1,2 @@
+LiE is a computer algebra system that is specialised in computations involving
+(reductive) Lie groups and their representations
diff --git a/lie/Makefile b/lie/Makefile
new file mode 100644
index 0000000000..ac2a24735e
--- /dev/null
+++ b/lie/Makefile
@@ -0,0 +1,29 @@
+# $NetBSD$
+
+DISTNAME=	conLiE
+PKGNAME=	lie-2.2.2
+CATEGORIES=	math
+MASTER_SITES=	http://young.sp2mi.univ-poitiers.fr/~marc/LiE/
+
+MAINTAINER=	jihbed.research%gmail.com@localhost
+HOMEPAGE=	http://young.sp2mi.univ-poitiers.fr/~marc/LiE/
+COMMENT=	Computer algebra package for Lie group computations
+LICENSE=	gnu-lgpl-v3
+
+WRKSRC=	${WRKDIR}/LiE
+
+CPPFLAGS+=	-DUNiX -DPROTO
+
+USE_TOOLS+=	bison gmake
+
+INSTALLATION_DIRS=	bin
+
+do-install:
+	${INSTALL_PROGRAM} ${WRKSRC}/Lie.exe ${DESTDIR}${PREFIX}/bin/lie
+	${INSTALL_DATA_DIR} ${DESTDIR}${PREFIX}/lib/lie
+	${INSTALL_DATA} ${WRKSRC}/INFO.* \
+		${DESTDIR}${PREFIX}/lib/lie
+	${INSTALL_DATA} ${WRKSRC}/LEARN.ind \
+		${DESTDIR}${PREFIX}/lib/lie
+
+.include "../../mk/bsd.pkg.mk"
diff --git a/lie/PLIST b/lie/PLIST
new file mode 100644
index 0000000000..38e5ba3db3
--- /dev/null
+++ b/lie/PLIST
@@ -0,0 +1,9 @@
+@comment $NetBSD$
+bin/lie
+lib/lie/INFO.0
+lib/lie/INFO.1
+lib/lie/INFO.2
+lib/lie/INFO.3
+lib/lie/INFO.4
+lib/lie/INFO.ind
+lib/lie/LEARN.ind
diff --git a/lie/distinfo b/lie/distinfo
new file mode 100644
index 0000000000..ac1e1e5df5
--- /dev/null
+++ b/lie/distinfo
@@ -0,0 +1,7 @@
+$NetBSD$
+
+SHA1 (conLiE.tar.gz) = 92eb9283868cc46ae0b87c4dfd6f13631e046bee
+RMD160 (conLiE.tar.gz) = 3a0ff7e62db3de194222d0d5bd5fab8390ef8537
+SHA512 (conLiE.tar.gz) = bc7247c273b24b9dc03ce3e5d7f55dfdc8b80988d29821926938b72fa4dd4f937a28cc3b0ae350b9cbbe7c78a994918fb323964bbf0cfd3a211f95e239154cc2
+Size (conLiE.tar.gz) = 361170 bytes
+SHA1 (patch-Makefile) = db2986bb6b028de002b5e6c58206dc70a933b327
diff --git a/lie/patches/patch-Makefile b/lie/patches/patch-Makefile
new file mode 100644
index 0000000000..528fb60430
--- /dev/null
+++ b/lie/patches/patch-Makefile
@@ -0,0 +1,27 @@
+$NetBSD$
+
+--- Makefile.orig	2000-04-07 07:46:28.000000000 +0000
++++ Makefile
+@@ -1,11 +1,11 @@
+ srcdir     :=$(shell pwd)
+ 
+-CFLAGS= -O
++#CFLAGS= -O
+ fixed-flags = -I$(srcdir) -I$(srcdir)/box
+ all-C-flags:= -ansi $(fixed-flags) $(CFLAGS)
+ non-ansi-flags :=  $(fixed-flags) $(CFLAGS)
+ 
+-CC = gcc # some compiler for ANSI/ISO C
++#CC = gcc # some compiler for ANSI/ISO C
+ 
+ # These settings should also be used in subdirectories:
+ export CC all-C-flags fixed-flags CFLAGS
+@@ -71,7 +71,7 @@ lexer.o: parser.h
+ # Binding to the GNU readline library is achieved by -Dpreprocessor below
+ 
+ getl.o:	getl.c
+-	$(CC) -c $(CPPFLAGS) -Dpreprocessor $(all-C-flags) $<
++	$(CC) -c $(CPPFLAGS) $(all-C-flags) $<
+ gapgetl.o: getl.c
+ 	$(CC) -c $(CPPFLAGS) $(all-C-flags) -o gapgetl.o $<
+ 
diff --git a/mppp/DESCR b/mppp/DESCR
new file mode 100644
index 0000000000..da99953709
--- /dev/null
+++ b/mppp/DESCR
@@ -0,0 +1,16 @@
+mp++ is a C++11 library for multiprecision arithmetic, currently supporting
+arbitrary-precision integers, rationals and floats, and quadruple-precision
+floats.
+
+Based on well-known libraries such as GMP, MPFR, and others, mp++ was initially
+conceived as a GMP wrapper with a special focus on performance with small
+operands. In particular, a small buffer optimisation and custom implementations
+of basic mathematical primitives are instrumental in achieving a performance
+increase, with respect to GMP and other integer multiprecision libraries, which
+can be substantial (see the benchmarks section of the documentation). The price
+to pay is a small overhead when operating on large integers.
+
+Eventually, a multiprecision rational class and two multiprecision
+floating-point classes were added, and today a secondary objective of mp++ is to
+provide a modern, consistent and unified C++ interface to several lower-level
+multiprecision libraries
diff --git a/mppp/Makefile b/mppp/Makefile
new file mode 100644
index 0000000000..6e0b1373b4
--- /dev/null
+++ b/mppp/Makefile
@@ -0,0 +1,21 @@
+# $NetBSD$
+
+GITHUB_PROJECT=	mppp
+DISTNAME=	v0.12
+PKGNAME=	${GITHUB_PROJECT}-${DISTNAME:S/v//}
+CATEGORIES=	math
+MASTER_SITES=	${MASTER_SITE_GITHUB:=bluescarni/}
+DIST_SUBDIR=	${GITHUB_PROJECT}
+
+MAINTAINER=	jihbed.research%gmail.com@localhost
+HOMEPAGE=	https://github.com/bluescarni/mppp/
+COMMENT=	Multiprecision for modern C++
+LICENSE=	mozilla-trademark-license
+
+WRKSRC=		${WRKDIR}/mppp-0.12
+
+USE_CMAKE=	yes
+USE_LANGUAGES=	c c++
+
+.include "../../devel/gmp/buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/mppp/PLIST b/mppp/PLIST
new file mode 100644
index 0000000000..1f7e0f6c5d
--- /dev/null
+++ b/mppp/PLIST
@@ -0,0 +1,23 @@
+@comment $NetBSD$
+include/mp++/concepts.hpp
+include/mp++/config.hpp
+include/mp++/detail/demangle.hpp
+include/mp++/detail/fwd_decl.hpp
+include/mp++/detail/gmp.hpp
+include/mp++/detail/mpfr.hpp
+include/mp++/detail/quadmath.hpp
+include/mp++/detail/type_traits.hpp
+include/mp++/detail/utils.hpp
+include/mp++/exceptions.hpp
+include/mp++/extra/pybind11.hpp
+include/mp++/integer.hpp
+include/mp++/mp++.hpp
+include/mp++/rational.hpp
+include/mp++/real.hpp
+include/mp++/real128.hpp
+lib/cmake/mp++/FindGMP.cmake
+lib/cmake/mp++/FindMPFR.cmake
+lib/cmake/mp++/FindQuadmath.cmake
+lib/cmake/mp++/mp++-config-version.cmake
+lib/cmake/mp++/mp++-config.cmake
+lib/cmake/mp++/mp++_export.cmake
diff --git a/mppp/distinfo b/mppp/distinfo
new file mode 100644
index 0000000000..e011657d03
--- /dev/null
+++ b/mppp/distinfo
@@ -0,0 +1,6 @@
+$NetBSD$
+
+SHA1 (mppp/v0.12.tar.gz) = fec0088a12573e4aa7c0f4dae47d577cdd575a45
+RMD160 (mppp/v0.12.tar.gz) = e2e46852798a69b772860d2c8eaa1cac09746f46
+SHA512 (mppp/v0.12.tar.gz) = 41038a4ddbfc5fb522e5db7ee66d6940880967904abeb8454816a03994b39f24c4449b099322af0f5502b114a43bbc6fecfad04c6ccc8f16d8eef934742cf219
+Size (mppp/v0.12.tar.gz) = 1347690 bytes
diff --git a/piranha/DESCR b/piranha/DESCR
new file mode 100644
index 0000000000..2586f3ce41
--- /dev/null
+++ b/piranha/DESCR
@@ -0,0 +1,8 @@
+Piranha is a computer-algebra library for the symbolic manipulation of sparse
+multivariate polynomials and other closely-related symbolic objects (such as
+Poisson series).
+
+Piranha is written in modern C++, with emphasis on portability, correctness and
+performance. Piranha also includes a set of optional bindings for the Python
+programming language, called Pyranha, that allow to use the library in an
+interactive and script-oriented way
diff --git a/piranha/Makefile b/piranha/Makefile
new file mode 100644
index 0000000000..073d29a428
--- /dev/null
+++ b/piranha/Makefile
@@ -0,0 +1,25 @@
+# $NetBSD$
+
+GITHUB_PROJECT=	piranha
+DISTNAME=	v0.11
+PKGNAME=	${GITHUB_PROJECT}-${DISTNAME:S/v//}
+CATEGORIES=	math
+MASTER_SITES=	${MASTER_SITE_GITHUB:=bluescarni/}
+DIST_SUBDIR=	${GITHUB_PROJECT}
+
+MAINTAINER=	jihbed.research%gmail.com@localhost
+HOMEPAGE=	https://github.com/bluescarni/piranha
+COMMENT=	The Piranha computer algebra system
+LICENSE=	gnu-gpl-v3 AND gnu-lgpl-v3
+
+WRKSRC=		${WRKDIR}/piranha-0.11
+
+USE_CMAKE=	yes
+USE_LANGUAGES=	c c++
+
+.include "../../devel/boost-libs/buildlink3.mk"
+BUILDLINK_API_DEPENDS.boost-headers+=	boost-headers-1.69.*
+.include "../../devel/boost-headers/buildlink3.mk"
+.include "../../devel/gmp/buildlink3.mk"
+.include "../../devel/zlib/buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/piranha/PLIST b/piranha/PLIST
new file mode 100644
index 0000000000..4511314abc
--- /dev/null
+++ b/piranha/PLIST
@@ -0,0 +1,87 @@
+@comment $NetBSD$
+include/piranha/array_key.hpp
+include/piranha/base_series_multiplier.hpp
+include/piranha/binomial.hpp
+include/piranha/cache_aligning_allocator.hpp
+include/piranha/config.hpp
+include/piranha/convert_to.hpp
+include/piranha/debug_access.hpp
+include/piranha/detail/atomic_flag_array.hpp
+include/piranha/detail/atomic_lock_guard.hpp
+include/piranha/detail/cf_mult_impl.hpp
+include/piranha/detail/config_clang.hpp
+include/piranha/detail/config_gcc.hpp
+include/piranha/detail/config_intel.hpp
+include/piranha/detail/demangle.hpp
+include/piranha/detail/divisor_series_fwd.hpp
+include/piranha/detail/gmp.hpp
+include/piranha/detail/init_data.hpp
+include/piranha/detail/is_digit.hpp
+include/piranha/detail/km_commons.hpp
+include/piranha/detail/mp_rational_fwd.hpp
+include/piranha/detail/mpfr.hpp
+include/piranha/detail/parallel_vector_transform.hpp
+include/piranha/detail/poisson_series_fwd.hpp
+include/piranha/detail/polynomial_fwd.hpp
+include/piranha/detail/prepare_for_print.hpp
+include/piranha/detail/real_fwd.hpp
+include/piranha/detail/safe_integral_adder.hpp
+include/piranha/detail/series_fwd.hpp
+include/piranha/detail/series_multiplier_fwd.hpp
+include/piranha/detail/sfinae_types.hpp
+include/piranha/detail/small_vector_fwd.hpp
+include/piranha/detail/symbol_set_fwd.hpp
+include/piranha/detail/type_in_tuple.hpp
+include/piranha/detail/ulshift.hpp
+include/piranha/detail/vector_hasher.hpp
+include/piranha/detail/vector_merge_args.hpp
+include/piranha/divisor.hpp
+include/piranha/divisor_series.hpp
+include/piranha/dynamic_aligning_allocator.hpp
+include/piranha/exceptions.hpp
+include/piranha/forwarding.hpp
+include/piranha/hash_set.hpp
+include/piranha/init.hpp
+include/piranha/invert.hpp
+include/piranha/ipow_substitutable_series.hpp
+include/piranha/is_cf.hpp
+include/piranha/is_key.hpp
+include/piranha/key_is_convertible.hpp
+include/piranha/key_is_multipliable.hpp
+include/piranha/kronecker_array.hpp
+include/piranha/kronecker_monomial.hpp
+include/piranha/lambdify.hpp
+include/piranha/math.hpp
+include/piranha/memory.hpp
+include/piranha/monomial.hpp
+include/piranha/mp_integer.hpp
+include/piranha/mp_rational.hpp
+include/piranha/piranha.hpp
+include/piranha/poisson_series.hpp
+include/piranha/polynomial.hpp
+include/piranha/pow.hpp
+include/piranha/power_series.hpp
+include/piranha/print_coefficient.hpp
+include/piranha/print_tex_coefficient.hpp
+include/piranha/rational_function.hpp
+include/piranha/real.hpp
+include/piranha/real_trigonometric_kronecker_monomial.hpp
+include/piranha/runtime_info.hpp
+include/piranha/s11n.hpp
+include/piranha/safe_cast.hpp
+include/piranha/series.hpp
+include/piranha/series_multiplier.hpp
+include/piranha/settings.hpp
+include/piranha/small_vector.hpp
+include/piranha/static_vector.hpp
+include/piranha/substitutable_series.hpp
+include/piranha/symbol.hpp
+include/piranha/symbol_set.hpp
+include/piranha/t_substitutable_series.hpp
+include/piranha/term.hpp
+include/piranha/thread_barrier.hpp
+include/piranha/thread_management.hpp
+include/piranha/thread_pool.hpp
+include/piranha/trigonometric_series.hpp
+include/piranha/tuning.hpp
+include/piranha/type_traits.hpp
diff --git a/piranha/distinfo b/piranha/distinfo
new file mode 100644
index 0000000000..96d95d33ed
--- /dev/null
+++ b/piranha/distinfo
@@ -0,0 +1,6 @@
+$NetBSD$
+
+SHA1 (piranha/v0.11.tar.gz) = 47731425e39562c8d4e6d2cd8c1d41b2a571ae55
+RMD160 (piranha/v0.11.tar.gz) = 4eb041b5fcb2743f75a52c0ebe87c6b145fdbff4
+SHA512 (piranha/v0.11.tar.gz) = 3e843213b43de0736d699751c706f67aeaedc5538ba956d4cc05f56f1b3c6c8997feaceef5a3fb67c40ae2220039d55a9c61489a5fca16067a442962725ae340
+Size (piranha/v0.11.tar.gz) = 821345 bytes
diff --git a/spot/DESCR b/spot/DESCR
new file mode 100644
index 0000000000..4f91967f0b
--- /dev/null
+++ b/spot/DESCR
@@ -0,0 +1,22 @@
+Spot is a library for LTL, omega-automata manipulation and model checking.
+
+It has the following notable features:
+* Support for LTL (several syntaxes supported) and a subset of the linear
+  fragment of PSL.
+* Support for omega-automata with arbitrary acceptance condition.
+* Support for transition-based acceptance (state-based acceptance is supported
+  by a reduction to transition-based acceptance).
+* The automaton parser can read a stream of automata written in any of four
+  syntaxes (HOA, never claims, LBTT, DSTAR).
+* Several algorithms for formula manipulation including: simplifying formulas,
+  testing implication or equivalence, testing stutter-invariance, removing some
+  operators by rewriting, translation to automata, testing membership to the
+  temporal hierarchy of Manna & Pnueli...
+* Several algorithms for automata manipulation including: product, emptiness
+  checks, simulation-based reductions, minimization of weak-DBA, removal of
+  useless SCCs, acceptance-condition transformations, determinization, SAT-based
+  minimization of deterministic automata, etc.
+* In addition to the C++ interface, most of its algorithms are usable via
+  command-line tools, and via Python bindings.
+* One command-line tool, called ltlcross, is a rewrite of LBTT, but with support
+  for PSL and automata with arbitrary acceptance conditions.
diff --git a/spot/Makefile b/spot/Makefile
new file mode 100644
index 0000000000..862736149b
--- /dev/null
+++ b/spot/Makefile
@@ -0,0 +1,29 @@
+# $NetBSD$
+
+DISTNAME=	spot-2.7.1
+CATEGORIES=	math
+MASTER_SITES=	http://www.lrde.epita.fr/dload/spot/
+
+MAINTAINER=	jihbed.research%gmail.com@localhost
+HOMEPAGE=	https://spot.lrde.epita.fr/
+COMMENT=	Library for omega automata manipulation and model checking
+LICENSE=	gnu-gpl-v3
+
+GNU_CONFIGURE=	yes
+USE_LIBTOOL= yes
+USE_TOOLS+=	pkg-config perl
+USE_LANGUAGES=	c c++
+
+PKGCONFIG_OVERRIDE+=	buddy/src/libbddx.pc.in
+PKGCONFIG_OVERRIDE+=	spot/ltsmin/libspotltsmin.pc.in
+PKGCONFIG_OVERRIDE+=	spot/libspot.pc.in
+PKGCONFIG_OVERRIDE+=	spot/gen/libspotgen.pc.in
+
+#Minimum configuration.
+
+CONFIGURE_ARGS+=	--enable-doxygen
+CONFIGURE_ARGS+=	--disable-python
+
+DEPENDS+=	doxygen>=1.8.15:../../devel/doxygen
+
+.include "../../mk/bsd.pkg.mk"
diff --git a/spot/PLIST b/spot/PLIST
new file mode 100644
index 0000000000..f362799061
--- /dev/null
+++ b/spot/PLIST
@@ -0,0 +1,196 @@
+@comment $NetBSD$
+bin/autcross
+bin/autfilt
+bin/dstar2tgba
+bin/genaut
+bin/genltl
+bin/ltl2tgba
+bin/ltl2tgta
+bin/ltlcross
+bin/ltldo
+bin/ltlfilt
+bin/ltlgrind
+bin/ltlsynt
+bin/randaut
+bin/randltl
+include/bddx.h
+include/bvecx.h
+include/fddx.h
+include/spot/gen/automata.hh
+include/spot/gen/formulas.hh
+include/spot/graph/graph.hh
+include/spot/graph/ngraph.hh
+include/spot/kripke/fairkripke.hh
+include/spot/kripke/fwd.hh
+include/spot/kripke/kripke.hh
+include/spot/kripke/kripkegraph.hh
+include/spot/ltsmin/ltsmin.hh
+include/spot/misc/_config.h
+include/spot/misc/bareword.hh
+include/spot/misc/bddlt.hh
+include/spot/misc/bitset.hh
+include/spot/misc/bitvect.hh
+include/spot/misc/casts.hh
+include/spot/misc/common.hh
+include/spot/misc/escape.hh
+include/spot/misc/fixpool.hh
+include/spot/misc/formater.hh
+include/spot/misc/game.hh
+include/spot/misc/hash.hh
+include/spot/misc/hashfunc.hh
+include/spot/misc/intvcmp2.hh
+include/spot/misc/intvcomp.hh
+include/spot/misc/location.hh
+include/spot/misc/ltstr.hh
+include/spot/misc/memusage.hh
+include/spot/misc/minato.hh
+include/spot/misc/mspool.hh
+include/spot/misc/optionmap.hh
+include/spot/misc/position.hh
+include/spot/misc/random.hh
+include/spot/misc/satsolver.hh
+include/spot/misc/timer.hh
+include/spot/misc/tmpfile.hh
+include/spot/misc/trival.hh
+include/spot/misc/version.hh
+include/spot/parseaut/public.hh
+include/spot/ta/ta.hh
+include/spot/ta/taexplicit.hh
+include/spot/ta/taproduct.hh
+include/spot/ta/tgta.hh
+include/spot/ta/tgtaexplicit.hh
+include/spot/ta/tgtaproduct.hh
+include/spot/taalgos/dot.hh
+include/spot/taalgos/emptinessta.hh
+include/spot/taalgos/minimize.hh
+include/spot/taalgos/reachiter.hh
+include/spot/taalgos/statessetbuilder.hh
+include/spot/taalgos/stats.hh
+include/spot/taalgos/tgba2ta.hh
+include/spot/tl/apcollect.hh
+include/spot/tl/contain.hh
+include/spot/tl/declenv.hh
+include/spot/tl/defaultenv.hh
+include/spot/tl/dot.hh
+include/spot/tl/environment.hh
+include/spot/tl/exclusive.hh
+include/spot/tl/formula.hh
+include/spot/tl/hierarchy.hh
+include/spot/tl/length.hh
+include/spot/tl/ltlf.hh
+include/spot/tl/mutation.hh
+include/spot/tl/nenoform.hh
+include/spot/tl/parse.hh
+include/spot/tl/print.hh
+include/spot/tl/randomltl.hh
+include/spot/tl/relabel.hh
+include/spot/tl/remove_x.hh
+include/spot/tl/simplify.hh
+include/spot/tl/snf.hh
+include/spot/tl/unabbrev.hh
+include/spot/twa/acc.hh
+include/spot/twa/bdddict.hh
+include/spot/twa/bddprint.hh
+include/spot/twa/formula2bdd.hh
+include/spot/twa/fwd.hh
+include/spot/twa/taatgba.hh
+include/spot/twa/twa.hh
+include/spot/twa/twagraph.hh
+include/spot/twa/twaproduct.hh
+include/spot/twaalgos/aiger.hh
+include/spot/twaalgos/alternation.hh
+include/spot/twaalgos/are_isomorphic.hh
+include/spot/twaalgos/bfssteps.hh
+include/spot/twaalgos/canonicalize.hh
+include/spot/twaalgos/cleanacc.hh
+include/spot/twaalgos/cobuchi.hh
+include/spot/twaalgos/complement.hh
+include/spot/twaalgos/complete.hh
+include/spot/twaalgos/compsusp.hh
+include/spot/twaalgos/contains.hh
+include/spot/twaalgos/copy.hh
+include/spot/twaalgos/couvreurnew.hh
+include/spot/twaalgos/cycles.hh
+include/spot/twaalgos/degen.hh
+include/spot/twaalgos/determinize.hh
+include/spot/twaalgos/dot.hh
+include/spot/twaalgos/dtbasat.hh
+include/spot/twaalgos/dtwasat.hh
+include/spot/twaalgos/dualize.hh
+include/spot/twaalgos/emptiness.hh
+include/spot/twaalgos/emptiness_stats.hh
+include/spot/twaalgos/genem.hh
+include/spot/twaalgos/gfguarantee.hh
+include/spot/twaalgos/gtec/ce.hh
+include/spot/twaalgos/gtec/gtec.hh
+include/spot/twaalgos/gtec/sccstack.hh
+include/spot/twaalgos/gtec/status.hh
+include/spot/twaalgos/gv04.hh
+include/spot/twaalgos/hoa.hh
+include/spot/twaalgos/iscolored.hh
+include/spot/twaalgos/isdet.hh
+include/spot/twaalgos/isunamb.hh
+include/spot/twaalgos/isweakscc.hh
+include/spot/twaalgos/langmap.hh
+include/spot/twaalgos/lbtt.hh
+include/spot/twaalgos/ltl2taa.hh
+include/spot/twaalgos/ltl2tgba_fm.hh
+include/spot/twaalgos/magic.hh
+include/spot/twaalgos/mask.hh
+include/spot/twaalgos/minimize.hh
+include/spot/twaalgos/neverclaim.hh
+include/spot/twaalgos/parity.hh
+include/spot/twaalgos/postproc.hh
+include/spot/twaalgos/powerset.hh
+include/spot/twaalgos/product.hh
+include/spot/twaalgos/rabin2parity.hh
+include/spot/twaalgos/randomgraph.hh
+include/spot/twaalgos/randomize.hh
+include/spot/twaalgos/reachiter.hh
+include/spot/twaalgos/relabel.hh
+include/spot/twaalgos/remfin.hh
+include/spot/twaalgos/remprop.hh
+include/spot/twaalgos/sbacc.hh
+include/spot/twaalgos/sccfilter.hh
+include/spot/twaalgos/sccinfo.hh
+include/spot/twaalgos/se05.hh
+include/spot/twaalgos/sepsets.hh
+include/spot/twaalgos/simulation.hh
+include/spot/twaalgos/split.hh
+include/spot/twaalgos/stats.hh
+include/spot/twaalgos/strength.hh
+include/spot/twaalgos/stripacc.hh
+include/spot/twaalgos/stutter.hh
+include/spot/twaalgos/sum.hh
+include/spot/twaalgos/tau03.hh
+include/spot/twaalgos/tau03opt.hh
+include/spot/twaalgos/toparity.hh
+include/spot/twaalgos/totgba.hh
+include/spot/twaalgos/toweak.hh
+include/spot/twaalgos/translate.hh
+include/spot/twaalgos/word.hh
+lib/libbddx.la
+lib/libspot.la
+lib/libspotgen.la
+lib/libspotltsmin.la
+lib/pkgconfig/libbddx.pc
+lib/pkgconfig/libspot.pc
+lib/pkgconfig/libspotgen.pc
+lib/pkgconfig/libspotltsmin.pc
+man/man1/autcross.1
+man/man1/autfilt.1
+man/man1/dstar2tgba.1
+man/man1/genaut.1
+man/man1/genltl.1
+man/man1/ltl2tgba.1
+man/man1/ltl2tgta.1
+man/man1/ltlcross.1
+man/man1/ltldo.1
+man/man1/ltlfilt.1
+man/man1/ltlgrind.1
+man/man1/ltlsynt.1
+man/man1/randaut.1
+man/man1/randltl.1
+man/man7/spot-x.7
+man/man7/spot.7
+share/doc/spot/tl.pdf
diff --git a/spot/distinfo b/spot/distinfo
new file mode 100644
index 0000000000..3f0ffc4983
--- /dev/null
+++ b/spot/distinfo
@@ -0,0 +1,6 @@
+$NetBSD$
+
+SHA1 (spot-2.7.1.tar.gz) = 7604557f5d8be72864745842f785259e0d6e9166
+RMD160 (spot-2.7.1.tar.gz) = cacb4e4b9e73474b56221db0bec88835769ed493
+SHA512 (spot-2.7.1.tar.gz) = c14338d31460dae22258f964d214fcb9710bdf65191c3fe821c225212f69c841a223b521eb53b765201ff2856c1504b86e2969155d8a9df871bc98f449870e35
+Size (spot-2.7.1.tar.gz) = 7170639 bytes
Prev by Date: joomla: Add reference to CVE-2019-971[1-4]
Next by Date: dosbox-x: Revert a (probably) accidental copypasto
Previous by Thread: joomla: Add reference to CVE-2019-971[1-4]
Next by Thread: dosbox-x: Revert a (probably) accidental copypasto
Indexes:
Home | Main Index | Thread Index | Old Index