diff options
| author | ahoka <ahoka> | 2008-08-28 20:07:51 +0000 |
|---|---|---|
| committer | ahoka <ahoka> | 2008-08-28 20:07:51 +0000 |
| commit | 53c3a109d854f4b5f3aee3f7a7e0f79786cfc732 (patch) | |
| tree | 73f145484f6f2cc875a651de63ac078eb109af41 /math/openaxiom | |
| parent | d9934f3473559fa62ea0b88767e8968ba9f2878c (diff) | |
| download | pkgsrc-53c3a109d854f4b5f3aee3f7a7e0f79786cfc732.tar.gz | |
Import openaxiom-1.2.0 as math/openaxiom.
Packaged by Aleksej Saushev through the pkgsrc-wip project.
OpenAxiom is an open source platform for symbolic, algebraic,
and numerical computations. It offers an interactive environment,
an expressive programming language, a compiler, a large set of
mathematical libraries of interest to researchers and practitioners
of computational sciences.
OpenAxiom strives to support ubiquitous, advanced, high quality
open source computer algebra on major operating systems,
in particular major Unix variants, GNU/Linux variants, Windows,
and handheld devices. It aims at being the open source computer
algebra system of choice for research, teaching, engineering, etc.
Diffstat (limited to 'math/openaxiom')
| -rw-r--r-- | math/openaxiom/DESCR | 11 | ||||
| -rw-r--r-- | math/openaxiom/Makefile | 29 | ||||
| -rw-r--r-- | math/openaxiom/PLIST | 2280 | ||||
| -rw-r--r-- | math/openaxiom/distinfo | 5 | ||||
| -rw-r--r-- | math/openaxiom/options.mk | 61 |
5 files changed, 2386 insertions, 0 deletions
diff --git a/math/openaxiom/DESCR b/math/openaxiom/DESCR new file mode 100644 index 00000000000..7c671ccbea2 --- /dev/null +++ b/math/openaxiom/DESCR @@ -0,0 +1,11 @@ +OpenAxiom is an open source platform for symbolic, algebraic, +and numerical computations. It offers an interactive environment, +an expressive programming language, a compiler, a large set of +mathematical libraries of interest to researchers and practitioners +of computational sciences. + +OpenAxiom strives to support ubiquitous, advanced, high quality +open source computer algebra on major operating systems, +in particular major Unix variants, GNU/Linux variants, Windows, +and handheld devices. It aims at being the open source computer +algebra system of choice for research, teaching, engineering, etc. diff --git a/math/openaxiom/Makefile b/math/openaxiom/Makefile new file mode 100644 index 00000000000..4bada929730 --- /dev/null +++ b/math/openaxiom/Makefile @@ -0,0 +1,29 @@ +# $NetBSD: Makefile,v 1.1.1.1 2008/08/28 20:08:18 ahoka Exp $ +# + +DISTNAME= open-axiom-1.2.0 +PKGNAME= ${DISTNAME:S/open-/open/} +CATEGORIES= math +MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=open-axiom/} +EXTRACT_SUFX= .tar.bz2 + +MAINTAINER= asau@inbox.ru +HOMEPAGE= http://www.open-axiom.org/ +COMMENT= Platform for symbolic, algebraic, and numerical computations + +PKG_DESTDIR_SUPPORT= user-destdir +MAKE_JOBS_SAFE= no + +GNU_CONFIGURE= yes +USE_TOOLS+= gmake gawk makeinfo +USE_LANGUAGES+= fortran +BUILD_DEPENDS+= noweb-[0-9]*:../../devel/noweb + +BUILD_MAKE_FLAGS+= TOOLS_PLATFORM.install=${TOOLS_PLATFORM.install:Q} + +.include "options.mk" + +pre-configure: + ${RUN} cd ${WRKSRC} && ./build-setup.sh + +.include "../../mk/bsd.pkg.mk" diff --git a/math/openaxiom/PLIST b/math/openaxiom/PLIST new file mode 100644 index 00000000000..adaf099d3cb --- /dev/null +++ b/math/openaxiom/PLIST @@ -0,0 +1,2280 @@ +@comment $NetBSD: PLIST,v 1.1.1.1 2008/08/28 20:08:18 ahoka Exp $ +bin/open-axiom +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/A1AGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/A1AGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ABELGRP-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ABELGRP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ABELMON-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ABELMON.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ABELSG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ABELSG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ACF-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ACF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ACFS-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ACFS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ACPLOT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/AF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/AGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/AGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/AHYP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ALAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ALGEBRA-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ALGEBRA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ALGFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ALGFF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ALGMANIP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ALGMFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ALGPKG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ALGSC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ALIST.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/AMR-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/AMR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/AN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ANON.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ANTISYM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ANY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ANY1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/APPLYORE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/APPRULE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ARR2CAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ARR2CAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ARRAY1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ARRAY12.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ARRAY2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP10.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP12.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP19.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP20.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP24.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP27.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP28.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP29.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP30.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP31.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP33.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP34.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP35.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP4.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP41.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP42.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP49.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP50.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP55.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP6.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP7.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP73.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP74.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP77.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP78.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP8.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP80.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASP9.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASSOCEQ.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASTACK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ASTCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ATRIG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ATRIG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ATTRBUT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ATTREG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/AUTOMOR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BALFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BASTYPE-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BASTYPE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BBTREE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BEZOUT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BFUNCT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BGAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BGAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BINARY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BINDING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BINFILE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BITS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BMODULE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BOOLEAN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BOP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BOP1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BOUNDZRO.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BPADIC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BPADICRT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BRAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BRAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BRILL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BSTREE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BTAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BTAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BTCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BTCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BTOURN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BTREE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BYTE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/BYTEARY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CABMON.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CACHSET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CARD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CARTEN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CARTEN2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CATEGORY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CCLASS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CDEN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CFCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CHAR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CHARNZ.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CHARPOL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CHARZ.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CHVAR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CINTSLPE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CLAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CLAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CLIF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CLIP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CMPLXRT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COLOR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMBF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMBINAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMBOPC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMMONOP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMMUPC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMPCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMPCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMPFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMPLEX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMPLEX2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMPLPAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMPPROP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COMRING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CONTFRAC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CONTOUR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/COORDSYS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CPIMA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CPMATCH.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CRAPACK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CRFP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CSTTOOLS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CTORCALL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CTRIGMNP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CVMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CYCLES.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/CYCLOTOM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D01AGNT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D01AJFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D01AKFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D01ALFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D01AMFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D01ANFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D01APFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D01AQFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D01ASFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D01FCFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D01GBFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D01TRNS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D01WGTS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D02AGNT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D02BBFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D02BHFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D02CJFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D02EJFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D03AGNT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D03EEFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/D03FAFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DBASE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DBLRESP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DDFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DECIMAL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DEFINTEF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DEFINTRF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DEGRED.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DEPENDENTS.DAASE/index.KAF +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DEQUEUE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DERHAM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DFINTTLS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DFLOAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DFSFUN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DHMATRIX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DIAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DIAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DIFEXT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DIFEXT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DIFRING-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DIFRING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DIOPS-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DIOPS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DIOSP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DIRPCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DIRPCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DIRPROD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DIRPROD2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DISPLAY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DIVRING-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DIVRING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DLAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DLIST.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DLP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DOMAIN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DPMM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DPMO.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DPOLCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DPOLCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DQAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DRAW.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DRAWCFUN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DRAWCURV.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DRAWCX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DRAWHACK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DRAWPT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DROPT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DROPT0.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DROPT1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DSMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DVARCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DVARCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/E04AGNT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/E04DGFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/E04FDFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/E04GCFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/E04JAFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/E04MBFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/E04NAFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/E04UCFA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EAB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EFSTRUC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EFULS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EFUPXS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ELABEXPR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ELAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ELAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ELEMFUN-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ELEMFUN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ELFUTS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ELTAB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ELTAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ELTAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EMR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ENTIRER.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ENV.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EQ.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EQ2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EQTBL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ERROR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ES-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ES.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ES1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ES2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ESCONT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ESCONT1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ESTOOLS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ESTOOLS1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ESTOOLS2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EUCDOM-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EUCDOM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EVALAB-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EVALAB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EVALCYC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EXIT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EXPEXPAN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EXPR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EXPR2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EXPR2UPS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EXPRODE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EXPRTUBE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/EXPUPXS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FACTFUNC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FACUTIL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FAGROUP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FAMONC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FAMONOID.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FAMR-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FAMR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FARRAY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FAXF-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FAXF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FCOMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FCPAK1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FDIV.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FDIV2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FDIVCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FDIVCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FEVALAB-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FEVALAB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FEXPR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFCAT2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFCG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFCGP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFCGX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFHOM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFIELDC-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFIELDC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFINTBAS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFNB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFNBP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFNBX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFPOLY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFPOLY2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFSLPE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FFX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FGLMICPK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FGROUP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FIELD-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FIELD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FILE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FILECAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FINAALG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FINAALG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FINITE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FINRALG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FINRALG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FLAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FLAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FLAGG2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FLALG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FLASORT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FLINEXP-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FLINEXP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FLOAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FLOATCP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FLOATRP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FM1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FMC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FMCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FMFUN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FMONOID.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FMTC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FNAME.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FNCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FNLA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FOP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FORDER.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FORMULA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FORMULA1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FORT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FORTCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FORTFN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FORTRAN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FPARFRAC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FPATMAB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FPC-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FPC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FPS-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FPS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FR2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FRAC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FRAC2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FRAMALG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FRAMALG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FRETRCT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FRETRCT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FRIDEAL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FRIDEAL2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FRMOD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FRNAAF2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FRNAALG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FRNAALG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FRUTIL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FS-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FS2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FS2EXPXP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FS2UPS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FSAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FSAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FSAGG2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FSCINT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FSERIES.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FSINT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FSPECF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FSPRMELT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FSRED.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FST.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FSUPFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FTEM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FUNCTION.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FVC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/FVFUN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GALFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GALFACTU.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GALPOLYU.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GALUTIL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GAUSSFAC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GBEUCLID.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GBF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GBINTERN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GCDDOM-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GCDDOM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GCNAALG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GDMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GENEEZ.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GENMFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GENPGCD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GENUFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GENUPS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GHENSEL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GMODPOL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GOSPER.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GPOLSET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GRALG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GRALG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GRAY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GRDEF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GRIMAGE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GRMOD-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GRMOD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GROEBSOL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GROUP-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GROUP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GSERIES.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GSTBL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/GTSET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HACKPI.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HASHTBL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HDMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HDP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HEAP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HELLFDIV.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HEUGCD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HEXADEC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HOAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HOAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HYPCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/HYPCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IALGFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IAN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IARRAY1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IARRAY2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IBACHIN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IBATOOL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IBITS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IBPTOOLS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ICARD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ICDEN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IDEAL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IDECOMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IDPAG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IDPAM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IDPC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IDPO.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IDPOAM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IDPOAMS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IEVALAB-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IEVALAB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IFAMON.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IFARRAY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IFF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IIARRAY2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ILIST.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IMATLIN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IMATQF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IMATRIX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INBFF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INCRMAPS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INDE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INEP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INFINITY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INFORM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INFORM1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INFPROD0.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INFSP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INMODGCD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INNMFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INPRODFF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INPRODPF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INPSIGN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INS-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTABL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTAF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTALG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTBIT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTDOM-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTDOM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTEF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTFTBL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTG0.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTHEORY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTHERAL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTHERTR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTPACK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTPAF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTPM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTRAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTRET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTRF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTRVL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTSLPE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTTOOLS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INTTR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/INVLAPLA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IPADIC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IPF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IPRNTPK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IR2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IR2F.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IROOT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IRREDFFX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IRRF2F.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IRSN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IRURPK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ISTRING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ISUMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ISUPS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ITAYLOR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ITFUN2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ITFUN3.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ITRIGMNP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ITUPLE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IVECTOR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IXAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/IXAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/JAVACODE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/JORDAN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KAFILE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KDAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KDAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KERNEL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KERNEL2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KOERCE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KONVERT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/KOVACIC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LALG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LALG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LAPLACE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LAUPOL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LAZM3PK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LEADCDET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LEXP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LEXTRIPK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LFCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LGROBP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIECAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIECAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIMITPS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIMITRF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LINDEP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LINEXP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIST.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIST2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIST2MAP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LIST3.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LMDICT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LMODULE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LMOPS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LNAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LNAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LO.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LODEEF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LODO.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LODO1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LODO2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LODOCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LODOCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LODOF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LODOOPS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LOGIC-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LOGIC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LPEFRAC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LPOLY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LSAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LSAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LSMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LSMP1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LSPP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LSQM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LWORD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LZSTAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/LZSTAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/M3D.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAGMA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAPHACK1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAPHACK2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAPHACK3.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAPPKG1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAPPKG2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MAPPKG3.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MATCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MATCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MATCAT2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MATLIN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MATRIX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MATSTOR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MCALCFN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MCDEN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MCMPLX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MDAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MDDFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MESH.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MFINFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MFLOAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MHROWRED.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MINT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MKBCFUNC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MKCHSET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MKFLCFN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MKFUNC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MKRECORD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MKUCFUNC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MLIFT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MLO.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MMAP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MMLFORM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MODFIELD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MODMON.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MODMONOM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MODOP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MODRING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MODULE-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MODULE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MOEBIUS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MONAD-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MONAD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MONADWU-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MONADWU.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MONOGEN-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MONOGEN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MONOID-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MONOID.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MONOTOOL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MPC2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MPC3.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MPCPF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MPOLY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MPRFF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MRATFAC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MRF2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MRING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MSET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MSETAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MSYSCMD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MTHING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MTSCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MULTFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/MULTSQFR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAALG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAALG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAGC02.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAGC05.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAGC06.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAGD01.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAGD02.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAGD03.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAGE01.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAGE02.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAGE04.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAGF01.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAGF02.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAGF04.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAGF07.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAGS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NAGSP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NARNG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NARNG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NASRING-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NASRING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NCEP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NCNTFRAC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NCODIV.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NFINTBAS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NIPROB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NLINSOL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NNI.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NODE1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NONE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NONE1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NORMMA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NORMPK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NORMRETR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NPCOEF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NREP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NSMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NSUP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NSUP2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NTPOLFN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NTSCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NUMERIC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NUMFMT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NUMINT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NUMODE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NUMQUAD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/NUMTUBE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OAGROUP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OAMON.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OAMONS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OASGP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OC-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OCAMON.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OCT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OCTCT2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODECAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODECONST.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODEEF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODEIFTBL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODEINT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODEPACK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODEPAL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODEPRIM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODEPROB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODEPRRIC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODERAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODERED.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODERTRIC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODESYS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODETOOLS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODPOL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ODVAR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OFMONOID.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OINTDOM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OMCONN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OMDEV.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OMENC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OMERR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OMERRK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OMEXPR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OMLO.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OMPKG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OMSAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OMSERVER.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ONECOMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ONECOMP2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OPQUERY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OPTCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OPTPACK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OPTPROB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ORDCOMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ORDCOMP2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ORDFIN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ORDFUNS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ORDMON.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ORDRING-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ORDRING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ORDSET-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ORDSET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OREPCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OREPCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OREPCTO.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ORESUP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OREUP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ORTHPOL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OSGROUP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OSI.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OUT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OUTFORM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OVAR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/OWP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PADE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PADEPAC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PADIC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PADICCT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PADICRAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PADICRC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PAIR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PALETTE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PAN2EXPR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PARPC2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PARPCURV.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PARSC2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PARSCURV.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PARSER.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PARSU2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PARSURF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PARTPERM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PATAB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PATLRES.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PATMAB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PATMATCH.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PATRES.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PATRES2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PATTERN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PATTERN1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PATTERN2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PBWLB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PCOMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PDECAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PDECOMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PDEPACK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PDEPROB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PDRING-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PDRING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PENDTREE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PERM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PERMAN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PERMCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PERMGRP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PFBR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PFBRU.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PFECAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PFECAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PFO.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PFOQ.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PFOTOOLS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PFR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PFRPAC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PGCD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PGE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PGROEB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PI.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PICOERCE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PID.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PINTERP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PINTERPA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PLEQN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PLOT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PLOT1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PLOT3D.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PLOTTOOL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PMASS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PMASSFS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PMDOWN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PMFS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PMINS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PMKERNEL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PMLSAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PMPLCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PMPRED.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PMPREDFS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PMQFCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PMSYM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PMTOOLS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PNTHEORY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/POINT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/POLTOPOL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/POLUTIL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/POLY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/POLY2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/POLY2UP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/POLYCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/POLYCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/POLYCATQ.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/POLYLIFT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/POLYROOT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PPCURVE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PREASSOC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PRIMARR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PRIMARR2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PRIMCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PRIMELT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PRIMES.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PRINT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PRODUCT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PROPERTY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PROPFRML.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PROPLOG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PRQAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PRS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PRTITION.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PSCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PSCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PSCURVE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PSETCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PSETCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PSETPK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PSEUDLIN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PSQFR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PTCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PTFUNC2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PTPACK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PTRANFN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PUSHVAR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/PWFFINTB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QALGSET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QALGSET2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QCMPACK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QEQUAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QFCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QFCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QFCAT2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QFORM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QUAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QUAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QUATCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QUATCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QUATCT2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/QUEUE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RADCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RADCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RADFF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RADIX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RADUTIL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RANDSRC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RATFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RATRET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RCAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RCAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RCFIELD-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RCFIELD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RDEEF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RDEEFS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RDETR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RDETRS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RDIST.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RDIV.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REAL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REAL0.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REAL0Q.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REALSOLV.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RECLOS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REDORDER.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REGSET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REP1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REP2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REPDB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/REPSQ.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RESLATC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RESRING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RESULT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RETRACT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RETRACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RETSOL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RFDIST.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RFFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RFFACTOR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RGCHAIN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RIDIST.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RING-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RMATCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RMATCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RMATRIX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RMCAT2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RMODULE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RNG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RNS-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RNS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ROIRC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ROMAN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ROUTINE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RPOLCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RPOLCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RRCC-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RRCC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RSDCMPK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RSETCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RSETCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RSETGCD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RULE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RULECOLD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RULESET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/RURPK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SAE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SAEFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SAERFFC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SAOS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SCACHE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SCOPE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SCPKG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SDPOL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SDVAR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEG2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEGBIND.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEGBIND2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEGCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEGXCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SETAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SETAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SETCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SETCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SETMN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEXCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SEXOF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SFORT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SFQCMPK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SFRGCD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SFRTCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SGCF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SGROUP-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SGROUP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SHDP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SHP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SIG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SIGNEF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SIGNRF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SIMPAN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SINT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SKAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SMATCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SMATCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SMITH.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SMTS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SNTSCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SOLVEFOR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SOLVERAD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SOLVESER.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SOLVETRA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SORTPAK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SPACE3.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SPACEC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SPADPRSR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SPECOUT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SPFCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SPLNODE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SPLTREE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SQMATRIX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SRAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SRAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SRDCMPK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SREGSET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STACK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STBL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STEP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STINPROD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STREAM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STREAM1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STREAM2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STREAM3.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STRICAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STRING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STRTBL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STTAYLOR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STTF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/STTFNC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUBRESP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUBSPACE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUCH.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SULS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUMFS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUMRF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUP2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUPFRACF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUPXS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SUTS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SWITCH.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYMBOL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYMFUNC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYMPOLY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYMS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYMTAB.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYNTAX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYSSOLP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/SYSTEM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TABLBUMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TABLE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TABLEAU.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TANEXP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TBAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TBAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TBCMPPK.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TEMUTL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TEX.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TEX1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TEXTFILE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TOOLSIGN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TOPSP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TRANFUN-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TRANFUN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TREE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TRIGCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TRIGCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TRIGMNIP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TRIMAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TRMANIP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TSETCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TSETCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TUBE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TUBETOOL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TUPLE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TWOFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/TYPE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UDPO.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UDVO.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UFD-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UFD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ULS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ULS2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ULSCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ULSCCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ULSCCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ULSCONS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UNIFACT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UNISEG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UNISEG2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UP2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPCDEN.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPDECOMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPDIVP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPMP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPOLYC-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPOLYC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPOLYC2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPSCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPSCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPSQFREE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPXS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPXS2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPXSCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPXSCCA-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPXSCCA.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPXSCONS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UPXSSING.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/URAGG-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/URAGG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/USERS.DAASE/index.KAF +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UTS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UTS2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UTSCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UTSCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UTSODE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UTSODETL.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/UTYPE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/VARIABLE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/VECTCAT-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/VECTCAT.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/VECTOR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/VECTOR2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/VIEW.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/VIEW2D.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/VIEW3D.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/VIEWDEF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/VOID.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/VSPACE-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/VSPACE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/WEIER.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/WFFINTBS.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/WP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/WUTSET.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/XALG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/XDPOLY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/XEXPPKG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/XF-.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/XF.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/XFALG.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/XPBWPOLY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/XPOLY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/XPOLYC.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/XPR.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/XRPOLY.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/YSTREAM.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ZDSOLVE.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ZLINDEP.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/ZMOD.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/browse.daase +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/category.daase +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/comdb.text +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/compress.daase +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/exposed.${FASL} +${clisp}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/exposed.lib +${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/exposed.o +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/interp.daase +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/libdb.text +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/operation.daase +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/autoload/ax.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/autoload/def.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/autoload/mark.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/autoload/nspadaux.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/autoload/pspad1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/autoload/pspad2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/autoload/wi1.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/autoload/wi2.${FASL} +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/bin/AXIOMsys +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/bin/asq +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/bin/bootsys +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/bin/clef +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/bin/sman +${x11}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/bin/viewAlone +${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/boot/ast.o +${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/boot/includer.o +${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/boot/initial-env.o +${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/boot/linkset +${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/boot/parser.o +${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/boot/pile.o +${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/boot/scanner.o +${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/boot/tokens.o +${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/boot/translator.o +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/algaggr.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/algbrbf.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/algfacob.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/alist.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/allfact.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/antoine.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/arith.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/array1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/array2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/arrows.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/asec.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/aseg6.as +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/aseg7.as +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/assign.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/atansqrt.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/axiom.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/bags.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/bbtree.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/bern.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/bernpoly.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/binary.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/bop.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/bouquet.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/bstree.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/bug10069.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/bug10312.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/bug6357.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/bug9057.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/bugs.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/calculus.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/calculus2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/card.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/cardinal.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/carten.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/cclass.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/cdraw.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ch.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/char.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/clif.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/clifford.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/coercels.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/collect.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/color.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/complex.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/cone.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/conformal.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/constant.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/contfrac.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/contfrc.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/coordsys.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/curl.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/cycles.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/cycles1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/cycloid.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/cycloid2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/cycloid3.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/cyfactor.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/damped.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/danzwill.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/de2re.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/decimal.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/defintef.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/defintrf.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/defs.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/derham.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/dfloat.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/dhtri.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/divisor.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/dmp.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/dpol.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/draw.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/draw2dSF.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/drawalg.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/drawcfn.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/drawcfun.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/drawcurv.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/drawcx.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/drawex.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/drawpoly.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/drawx.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/easter.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ecfact.as +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/efi.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/egg.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/eigen.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/elemfun.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/elemnum.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/elfuts.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/elt.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/eq.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/eqtbl.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/equation.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/equation2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/errortrap.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/eval.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/evalex.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/exdiff.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/exint.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/exit.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/exlap.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/exlimit.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/expexpan.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/explim.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/explot2d.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/explot3d.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/expr.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/expr1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/exprode.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/exprpoly.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/exseries.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/exsum.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/farray.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ffdemo.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/fferr.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ffrac.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ffx72.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/fib.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/file.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/fixed.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/float.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/float1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/float2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/fname.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/fname1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/fnla.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/fns.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/folium.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/fparfrac.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/fparfrc.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/fr.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/fr1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/fr2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/frac.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/function.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/galois.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/gary1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/gbf.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/genups.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/gnarly1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/gonshor.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/grdef.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/grpthry.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/gstbl.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/heap.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/heat.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/helix.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/help.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/herm.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/hexadec.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/hilbert.as +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/huang.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ico.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ideal.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ifact.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/images1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/images1a.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/images3.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/images3a.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/images6.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/images6a.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/images7.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/images7a.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/infprod.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/int.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/intaf.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/intdeq.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/intef.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/intef2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/intg0.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/intheory.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/intlf.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/intmix.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/intmix2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/intrf.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ipftest.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/is.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/isprime.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/kafile.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/kernel.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/knot.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/knot2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/kovacic.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/kuipers.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/laplace.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/leg.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/lexp.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/lextripk.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/lib.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/limit.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/linalg.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/lindep.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/liss1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/liss2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/list.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/lode.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/lodesys.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/lodo.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/lodo1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/lodo2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/lodo3.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/lodof.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/loop.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/lpoly.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/lump.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/lupfact.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/lword.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/macbug.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/macros.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/magma.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/mapleok.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/mappkg1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/marcbench.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/matbug.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/matops.as +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/matrix.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/matrix1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/matrix22.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/mfinfact.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/mkfunc.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/mountain.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/mpoly.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/mset.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/mset2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/mult3d.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/multKnot.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/multfact.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/multiple.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ndftip.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/negfloats.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/nepip.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/newlodo.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/newton.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/nlode.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/none.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/noonburg.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/noptip.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/nqip.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/nsfip.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ntube.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/numbers.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/oct.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/octonion.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ode.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/odpol.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/op.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/op1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/opalg.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/operator.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ovar.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/padic.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/palette.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/parabola.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/parpcurv.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/parscurv.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/parsurf.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/pascal.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/pascal1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/pat.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/patmatch.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/pdecomp0.as +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/perm.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/perman.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/pfr.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/pfr1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/pinch.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/plotfile.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/pmint.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/pollevel.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/poly.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/poly1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/polycoer.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/psgenfcn.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/quat.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/quat1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/r20abugs.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/r20bugs.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/r21bugs.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/r21bugsbig.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/radff.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/radix.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/realclos.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/reclos.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/reductio.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/regset.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/repa6.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ribbon.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ribbons.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ribbonsNew.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/rk4draw.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/robidoux.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/roman.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/romnum.as +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/roots.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/rules.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/ruleset.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/saddle.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/scherk.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/scope.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/seg.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/segbind.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/series.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/series2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/sersolve.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/set.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/sinCosEx.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/sininv.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/sinsin.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/sinsin2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/sint.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/skew.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/slowint.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/solvetra.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/space3.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/spadprof.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/spiral.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/sqmatrix.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/sregset.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/stbl.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/stream.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/stream2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/streams.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/string.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/strtbl.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/symbol.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/synonym.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/synonym2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/t111293.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/table.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/tanatan.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/test.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/tetra.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/textfile.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/tknot.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/torus.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/tree.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/triglim.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/tschirn.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/tsetcatbutcher.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/tsetcatchemical.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/tsetcatvermeer.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/tutchap1.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/tutchap2.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/tutchap3.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/tutchap4.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/tutchap67.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/typo.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/uniseg.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/up.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/vector.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/vectors.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/viewdef.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/void.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/wiggle.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/wutset.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/xpbwpoly.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/xpoly.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/xpr.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/zdsolve.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/zimmer.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input/zlindep.input +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/command.list +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/copyright +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/ex2ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/htadd +${x11}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/hypertex +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/libopen-axiom-core.a +${clisp}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/libopen-axiom-core.so +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/session +${x11}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/spadbuf +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/spadclient +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/summary +${x11}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/view2D +${x11}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/view3D +${x11}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/viewman +${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lisp/core.o +${ecl}lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lisp/linkset +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Al.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ClickToSet.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Continue.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/DoIt.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Im.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Re.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xdesp.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xfbox.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xfcirc.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xfullbox.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xfullcirc.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xfullfbox.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xfullfcirc.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xgreybox.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xgreycirc.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xgreyfbox.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xgreyfcirc.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xhappy.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xnobox.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xnocirc.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xnoface.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xopenbox.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xopencirc.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xopenfbox.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xopenfcirc.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xperv.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xsad.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xtickbox.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xtickcirc.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xtickfbox.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xtickfcirc.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xxbox.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xxcirc.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xxfbox.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/Xxfcirc.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/aTx=b.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ai.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/aleph.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/alpha.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/alpha.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/alphaj.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/angle.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/anna_logo.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/axiom.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/axiom1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/back.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/backslash.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/beta.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/beta.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/betaj.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/bot.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/bullet.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/c02aff.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/c1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/chi.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ci.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/clear.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/clearall.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ctb.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/d01aqf.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/d01fcf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/d01gaf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/d01gaf2.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/d02gaf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/d03edf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/d03edf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/d03eef.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/d03eef.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/d03eef1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/d03eef2.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/d03faf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/d03faf.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/del.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/delta-cap.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/delta.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/delta.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/div.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/door.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/dot.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/down.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/down3.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/dr.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e01baf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e01baf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e01bef.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e01daf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e01daf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e02adf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e02adf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e02aef.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e02agf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e02agf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e02ahf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e02ahf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e02ajf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e02baf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e02bdf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e02bef.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e02daf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e02daf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e04fdf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e04fdf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e04mbf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e04naf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/e04ucf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ell.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/emptyset.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ep1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ep2.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/epi.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/epp.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/epsilon.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/epsilon.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/eqpage.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/erase.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/error.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/eta.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/exists.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/exit.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/exit3d.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/exit3d_old.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/exit3di.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/f01qcf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/f01qcf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/f01qcf2.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/f01qcf3.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/f01qdf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/f01qdf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/f01qdf2.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/f01rdf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/f01rdf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/f01rdf2.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/fi.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/forall.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/fqr.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/fr.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/gamma-cap.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/gamma.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/gamma.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/gammak.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/gi.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/great=.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/hbar.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/help.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/help2.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/help3.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/help3d.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/help3d_old.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/help3di.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/home3d.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/home3d_old.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/home3di.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/imath.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/infty.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/infty.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ing.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ing1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ing2.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/int.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/int1.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/int10.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/int11.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/int12.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/int13.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/int2.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/int3.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/int4.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/int5.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/int6.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/int7.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/int8.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/int9.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/integral.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/iota.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/jmath.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/kappa.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/l1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/lambda-cap.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/lambda.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/lamdab.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/lamdai.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/lamdaj.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ldlt.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/less=.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/lj.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/llt.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/lt.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/mask.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/menudot.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/mkm.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/mu.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/mui.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/muj.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/mx.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/my.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/nabla.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/naglogo.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ncap.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/neg.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/newrho.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/nl.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/nn.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/noop.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/noop3d.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/not=.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/notequal.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/notequal.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/nu.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/nx.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ny.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ode1.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ode2.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ode3.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/omega-cap.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/omega.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/omicron.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/opt1.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/opt2.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/opt2c.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/opt3.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/opt3c1.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/opt3c2.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/opt4.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/opt4c1.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/opt4c2.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/opt4c3.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/opt5.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/opt61.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/opt62.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/opt63.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/parallel.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/partial.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/pelzel.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/phi-cap.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/phi.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/phi.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/pi-cap.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/pi.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/pi.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/pick.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/pick_old.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/plusminus.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/prime.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/prod.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/psi-cap.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/psi.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/psi.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/px.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/py.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/quad.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/quit.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/return.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/return2.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/return3.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/rho.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/rho=r.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/rhosq=.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s13aaf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s13aaf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s13aaf2.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s13acf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s13adf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s14baf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s15adf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s15aef.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s17acf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s17adf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s17aef.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s17aef1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s17aff.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s17aff1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s17dcf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s17def.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s17dlf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s17dlf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s17dlf2.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s18acf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s18acf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s18adf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s18adf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s18aef.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s18aef1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s18aff.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s18aff1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s18dcf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s18def.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s21baf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s21baf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s21bbf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s21bbf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s21bcf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s21bcf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s21bdf.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/s21bdf1.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/sdown.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/sdown3d.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/sdown3dpr.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/si-integral.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/sigma-cap.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/sigma.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/smile.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/source.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/subtwo.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/sum.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/sup.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/sup3d.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/sup3dpr.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/surd.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/tau.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/tear.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/theta-cap.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/theta.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/top.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/triangle.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/uij.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/uj.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/unpick.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/unpick_old.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/up.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/up2.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/up3.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/up3d.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/up3di.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/updots.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/upsilon-cap.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/upsilon.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/wr.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/x1.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/xbar.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/xe.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/xi-cap.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/xi.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/xii.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/xiii.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/xj.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/xmax.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/xmin.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/xq.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/xr.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/xs.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/y1.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/y2.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/y3.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ye.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/yi.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/yr.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/ys.xbm +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/zeta.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/zetak.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps/zk.bitmap +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ALIST.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ALIST.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ANNA-ES.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ANNA-ES.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ARRAY1.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ARRAY1.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ARRAY2.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ARRAY2.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/BBTREE.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/BBTREE.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/BINARY.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/BINARY.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/BOP.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/BOP.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/BSTREE.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/BSTREE.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/CARD.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/CARD.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/CARTEN.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/CARTEN.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/CCLASS.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/CCLASS.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/CHAR.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/CHAR.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/CLIF.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/CLIF.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/COMPLEX.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/COMPLEX.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/CONTFRAC.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/CONTFRAC.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/CPHelp.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/CYCLES.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/CYCLES.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/DECIMAL.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/DECIMAL.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/DERHAM.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/DERHAM.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/DFLOAT.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/DFLOAT.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/DMP.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/DMP.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/EQ.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/EQ.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/EQTBL.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/EQTBL.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/EXIT.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/EXIT.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/EXPR.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/EXPR.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FARRAY.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FARRAY.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FILE.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FILE.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FLOAT.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FLOAT.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FNAME.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FNAME.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FPARFRAC.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FPARFRAC.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FR.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FR.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FR2.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FR2.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FRAC.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/FRAC.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/GBF.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/GBF.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/GSTBL.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/GSTBL.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HEAP.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HEAP.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HEXADEC.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HEXADEC.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXAdvPage1.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXAdvPage2.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXAdvPage3.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXAdvPage4.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXAdvPage5.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXAdvPage6.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXAdvTopPage.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXFormatPage1.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXFormatPage2.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXFormatPage3.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXFormatPage4.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXFormatPage5.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXFormatPage6.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXFormatPage7.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXFormatPage8.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXFormatTopPage.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXIntroPage1.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXIntroPage2.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXIntroPage3.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXIntroTopPage.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXLinkPage1.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXLinkPage2.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXLinkPage3.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXLinkPage4.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXLinkPage5.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXLinkPage6.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXLinkTopPage.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXTopPage.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXTryPage.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/HTXplay.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/INT.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/INT.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/INTHEORY.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/INTHEORY.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/KAFILE.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/KAFILE.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/KERNEL.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/KERNEL.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LAZM3PK.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LAZM3PK.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LEXP.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LEXP.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LEXTRIPK.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LEXTRIPK.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LIB.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LIB.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LIST.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LIST.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LODO.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LODO.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LODO1.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LODO1.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LODO2.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LODO2.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LPOLY.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LPOLY.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LWORD.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/LWORD.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/Link.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/MAGMA.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/MAGMA.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/MAPPKG1.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/MAPPKG1.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/MATRIX.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/MATRIX.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/MKFUNC.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/MKFUNC.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/MPOLY.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/MPOLY.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/MSET.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/MSET.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/NONE.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/NONE.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/OCT.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/OCT.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ODPOL.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ODPOL.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/OP.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/OP.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/OVAR.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/OVAR.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/PERMAN.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/PERMAN.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/PFR.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/PFR.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/POLY.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/POLY.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/QUAT.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/QUAT.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/RADIX.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/RADIX.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/RECLOS.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/RECLOS.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/REGSET.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/REGSET.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ROMAN.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ROMAN.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/SEG.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/SEG.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/SEGBIND.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/SEGBIND.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/SET.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/SET.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/SINT.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/SINT.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/SQMATRIX.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/SQMATRIX.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/SREGSET.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/SREGSET.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/STBL.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/STBL.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/STREAM.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/STREAM.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/STRING.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/STRING.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/STRTBL.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/STRTBL.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/SYMBOL.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/SYMBOL.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/TABLE.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/TABLE.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/TEXTFILE.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/TEXTFILE.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/UNISEG.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/UNISEG.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/UP.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/UP.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/VECTOR.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/VECTOR.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/VOID.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/VOID.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/WUTSET.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/WUTSET.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/XPBWPOLY.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/XPBWPOLY.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/XPOLY.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/XPOLY.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/XPR.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/XPR.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ZDSOLVE.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ZDSOLVE.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ZLINDEP.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ZLINDEP.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/algebra.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/aspex.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/basic.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/bmcat.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/coverex.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/coverex.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/evalex.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/evalex.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/exdiff.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/exdiff.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/exint.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/exint.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/exlap.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/exlap.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/exlimit.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/exlimit.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/exmatrix.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/exmatrix.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/explot2d.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/explot2d.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/explot3d.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/explot3d.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/expose.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/exseries.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/exseries.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/exsum.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/exsum.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/function.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/function.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/gloss.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/graphics.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/graphics.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/grpthry.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/grpthry.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/help.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ht.db +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/hyperdoc.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/man0.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/mapping.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/nagaux.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/nagc.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/nagd.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/nage.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/nagf.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/nagm.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/nags.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/nagx.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/newuser.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/numbers.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/numbers.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/patch.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/polys.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/polys.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/record.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/releaseNotes.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/rootpage.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/srchkey.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/topics.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/type.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug00.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug01.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug01.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug02.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug02.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug03.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug03.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug04.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug04.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug05.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug05.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug06.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug06.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug07.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug07.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug08.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug08.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug10.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug10.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug11.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug11.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug12.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug12.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug13.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug13.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug14.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug15.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug15.pht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug16.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/ug21.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/union.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/util.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages/xmpexp.ht +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/msgs/s2-us.msgs +lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/timestamp +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/msgs +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/pages +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex/bitmaps +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share/hypertex +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/share +${ecl}@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lisp +@exec ${MKDIR} %D/lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/graph +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/graph +@exec ${MKDIR} %D/lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/.libs +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib/.libs +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/lib +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/input +@exec ${MKDIR} %D/lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/bin/.libs +${ecl}@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/boot +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/bin/.libs +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/bin +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/autoload +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/USERS.DAASE +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra/DEPENDENTS.DAASE +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION}/algebra +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM}/${PKGVERSION} +@dirrm lib/open-axiom/${MACHINE_GNU_PLATFORM} +@dirrm lib/open-axiom diff --git a/math/openaxiom/distinfo b/math/openaxiom/distinfo new file mode 100644 index 00000000000..b6a83d0e6a8 --- /dev/null +++ b/math/openaxiom/distinfo @@ -0,0 +1,5 @@ +$NetBSD: distinfo,v 1.1.1.1 2008/08/28 20:07:51 ahoka Exp $ + +SHA1 (open-axiom-1.2.0.tar.bz2) = 2fce9a0533fc614e04f8685480007e5f5e3610dc +RMD160 (open-axiom-1.2.0.tar.bz2) = 10f5b8754925f9a303bea549b932e6d58199561b +Size (open-axiom-1.2.0.tar.bz2) = 11593549 bytes diff --git a/math/openaxiom/options.mk b/math/openaxiom/options.mk new file mode 100644 index 00000000000..d5c15b37636 --- /dev/null +++ b/math/openaxiom/options.mk @@ -0,0 +1,61 @@ +# $NetBSD: options.mk,v 1.1.1.1 2008/08/28 20:07:51 ahoka Exp $ + +PKG_OPTIONS_VAR= PKG_OPTIONS.openaxiom +PKG_OPTIONS_REQUIRED_GROUPS= lisp +PKG_OPTIONS_GROUP.lisp= clisp sbcl ecl + +PKG_SUPPORTED_OPTIONS+= x11 + +PKG_SUGGESTED_OPTIONS+= clisp x11 + +.include "../../mk/bsd.options.mk" + +# Select Lisp backend +.if !empty(PKG_OPTIONS:Mclisp) +FASL= fas +DEPENDS+= clisp>=2.41:../../lang/clisp +CONFIGURE_ARGS+= --with-lisp=clisp +.endif +.if !empty(PKG_OPTIONS:Msbcl) +FASL= fasl +DEPENDS+= sbcl-[0-9]*:../../lang/sbcl +CONFIGURE_ARGS+= --with-lisp=sbcl +.endif +.if !empty(PKG_OPTIONS:Mecl) +FASL= fas +CONFIGURE_ARGS+= --with-lisp=ecl +.include "../../lang/ecl/buildlink3.mk" +.endif + +# Fix suffix for "fast load" files: +PLIST_SUBST+= FASL=${FASL:Q} + +# Generalize "fast load" files +PRINT_PLIST_AWK+= {gsub(/\.${FASL}$$/, ".$${FASL}");} +.if !empty(PKG_OPTIONS:Mclisp) +# Handle CLISP-specific files +PRINT_PLIST_AWK+= {if ($$0 ~ /\.lib$$/) {$$0 = "$${clisp}" $$0;}} +.endif +.if !empty(PKG_OPTIONS:Mecl) +# Handle ECL-specific files +PRINT_PLIST_AWK+= {if ($$0 ~ /\.o$$/) {$$0 = "$${ecl}" $$0;}} +.endif + +# X11 +.if !empty(PKG_OPTIONS:Mx11) +CONFIGURE_ARGS+= --with-x=yes +CONFIGURE_ENV+= X_LIBS=${LDFLAGS:M*:Q} +.include "../../x11/libX11/buildlink3.mk" +.include "../../x11/libXpm/buildlink3.mk" +.include "../../x11/libXt/buildlink3.mk" +.else +CONFIGURE_ARGS+= --with-x=no +.endif + +.for opt in clisp sbcl ecl x11 +. if !empty(PKG_OPTIONS:M${opt}) +PLIST_SUBST+= ${opt}="" +. else +PLIST_SUBST+= ${opt}="@comment " +. endif +.endfor |