diff options
| -rw-r--r-- | math/open-axiom/Makefile | 4 | ||||
| -rw-r--r-- | math/open-axiom/distinfo | 4 | ||||
| -rw-r--r-- | math/open-axiom/pkg-plist | 185 |
3 files changed, 18 insertions, 175 deletions
diff --git a/math/open-axiom/Makefile b/math/open-axiom/Makefile index dca20fadc10b..f1f2172d2d2b 100644 --- a/math/open-axiom/Makefile +++ b/math/open-axiom/Makefile @@ -2,8 +2,7 @@ # $FreeBSD$ PORTNAME= open-axiom -PORTVERSION= 1.4.1 -PORTREVISION= 9 +PORTVERSION= 1.4.2 CATEGORIES= math MASTER_SITES= SF/${PORTNAME}/${PORTVERSION} @@ -21,6 +20,7 @@ USE_XORG= x11 ice sm xpm USE_ICONV= yes USE_GETTEXT= yes MAKE_JOBS_UNSAFE=yes +CFLAGS+= -I${LOCALBASE}/include -L${LOCALBASE}/lib PLIST_SUB= AXIOM_VER=${PORTVERSION} GNU_HOST=${CONFIGURE_TARGET} diff --git a/math/open-axiom/distinfo b/math/open-axiom/distinfo index 79bac610d5b5..e3866e0b3f70 100644 --- a/math/open-axiom/distinfo +++ b/math/open-axiom/distinfo @@ -1,2 +1,2 @@ -SHA256 (open-axiom-1.4.1.tar.bz2) = 552c9dbafe6ea147e13cc11be7c11363357fc1a02ce94b44faa22c035a7c1507 -SIZE (open-axiom-1.4.1.tar.bz2) = 10023493 +SHA256 (open-axiom-1.4.2.tar.bz2) = 745024aadb4fefdd09980e3076141e1a4646ea8588b4d9b0ece486d581b8a119 +SIZE (open-axiom-1.4.2.tar.bz2) = 9862899 diff --git a/math/open-axiom/pkg-plist b/math/open-axiom/pkg-plist index dae7e33811a5..668a7d9f976e 100644 --- a/math/open-axiom/pkg-plist +++ b/math/open-axiom/pkg-plist @@ -42,35 +42,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARR2CAT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY1.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY12.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY2.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP1.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP10.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP12.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP19.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP20.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP24.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP27.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP28.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP29.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP30.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP31.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP33.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP34.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP35.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP4.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP41.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP42.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP49.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP50.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP55.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP6.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP7.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP73.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP74.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP77.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP78.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP8.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP80.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP9.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASSOCEQ.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASTACK.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASTCAT-.fasl @@ -78,7 +49,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASTCAT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATRIG-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATRIG.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATTRAST.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATTRBUT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATTREG.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AUTOMOR.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BALFACT.fasl @@ -86,12 +56,13 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BASTYPE-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BASTYPE.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BBTREE.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BEZOUT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BFUNCT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BGAGG-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BGAGG.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINARY.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINDING.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BITS.fasl +lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINOP.fasl +lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINOPC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BMODULE.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOOLE-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOOLE.fasl @@ -176,27 +147,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTRIGMNP.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CVMP.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CYCLES.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CYCLOTOM.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AGNT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AJFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AKFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01ALFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AMFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01ANFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01APFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AQFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01ASFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01FCFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01GBFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01TRNS.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01WGTS.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02AGNT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02BBFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02BHFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02CJFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02EJFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D03AGNT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D03EEFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D03FAFA.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DATAARY.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DBASE.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DBASIS.fasl @@ -223,6 +173,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFFMOD.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFFSPC-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFFSPC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFRING.fasl +lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOID.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOPS-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOPS.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOSP.fasl @@ -260,14 +211,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DSEXT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DSMP.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DVARCAT-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DVARCAT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04AGNT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04DGFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04FDFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04GCFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04JAFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04MBFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04NAFA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04UCFA.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EAB.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EF.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EFSTRUC.fasl @@ -295,11 +238,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES1.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES2.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESCONT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESCONT1.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESTOOLS.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESTOOLS1.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESTOOLS2.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EUCDOM-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EUCDOM.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EVALAB-.fasl @@ -324,9 +262,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAMR.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FARRAY.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAXF-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAXF.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FCOMP.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FCPAK1.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FCTRDATA.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIV.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIV2.fasl @@ -334,7 +270,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIVCAT-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIVCAT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FEVALAB-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FEVALAB.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FEXPR.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FF.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCAT-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCAT.fasl @@ -364,6 +299,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FILECAT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINAALG-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINAALG.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINITE.fasl +lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINITE-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINRALG-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINRALG.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLAGG-.fasl @@ -378,21 +314,13 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLOATCP.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLOATRP.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FM.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FM1.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMCAT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMFUN.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMONCAT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMONOID.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMTC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FNAME.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FNCAT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FNLA.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FOP.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORDER.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORTCAT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORTFN.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORTRAN.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPARFRAC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPATMAB.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPC-.fasl @@ -431,11 +359,8 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSRED.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FST.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSUPFACT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FTEM.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FUNCTION.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FUNDESC.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FVC.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FVFUN.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALFACT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALFACTU.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALPOLYU.fasl @@ -500,6 +425,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ICARD.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ICDEN.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDEAL.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDECOMP.fasl +lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDEMOPC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDENT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPAG.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPAM.fasl @@ -514,7 +440,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFARRAY.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFAST.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFF.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IIARRAY2.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ILIST.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMATLIN.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMATQF.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMATRIX.fasl @@ -554,12 +479,10 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTDOM-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTDOM.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTEF.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTFACT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTFTBL.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTG0.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTHEORY.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTHERAL.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTHERTR.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTPACK.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTPAF.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTPM.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTRAT.fasl @@ -587,7 +510,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRRF2F.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRSN.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRURPK.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISAST.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISTRING.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISUMP.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISUPS.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITAYLOR.fasl @@ -677,7 +599,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSTAST.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LWORD.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LZSTAGG-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LZSTAGG.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/M3D.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MACROAST.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAGMA.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPHACK1.fasl @@ -694,16 +615,12 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATLIN.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATRIX.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATSTOR.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAYBE.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MCALCFN.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MCDEN.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MCMPLX.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MDAGG.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MDDFACT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MESH.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MFINFACT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MFLOAT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MHROWRED.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MINT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKBCFUNC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKFLCFN.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKFUNC.fasl @@ -729,6 +646,8 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOGEN-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOGEN.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOID-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOID.fasl +lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOP.fasl +lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOPC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOTOOL.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPC2.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPC3.fasl @@ -747,21 +666,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MULTFACT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MULTSQFR.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAALG-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAALG.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGC02.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGC05.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGC06.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGD01.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGD02.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGD03.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGE01.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGE02.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGE04.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF01.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF02.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF04.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF07.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGS.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGSP.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NARNG-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NARNG.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NASRING-.fasl @@ -771,7 +675,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NCNTFRAC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NCODIV.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NETCLT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NFINTBAS.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NIPROB.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NLINSOL.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NNI.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NODE1.fasl @@ -789,7 +692,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NTPOLFN.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NTSCAT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMERIC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMFMT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMINT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMODE.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMQUAD.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMTUBE.fasl @@ -804,15 +706,11 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OCAMON.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OCT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OCTCT2.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODECAT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODECONST.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEEF.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEIFTBL.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEINT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPACK.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPAL.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPRIM.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPROB.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPRRIC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODERAT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODERED.fasl @@ -825,17 +723,8 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODR.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODVAR.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OFMONOID.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OINTDOM.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OM.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMCONN.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMDEV.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMENC.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMERR.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMERRK.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMEXPR.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMLO.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMPKG.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMSAGG.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMSERVER.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ONECOMP.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ONECOMP2.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OP.fasl @@ -843,9 +732,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPERCAT-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPERCAT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPQUERY.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPSIG.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPTCAT.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPTPACK.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPTPROB.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDCOMP.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDCOMP2.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDFIN.fasl @@ -903,10 +789,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PBWLB.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PCOMP.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDDOM-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDDOM.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDECAT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDECOMP.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDEPACK.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDEPROB.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDMOD.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDRING.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDSPC-.fasl @@ -1047,7 +930,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REPDB.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REPSQ.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RESLATC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RESRING.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RESULT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETAST.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETRACT-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETRACT.fasl @@ -1075,7 +957,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RNS-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RNS.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ROIRC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ROMAN.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ROUTINE.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RPOLCAT-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RPOLCAT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RPTAST.fasl @@ -1118,11 +999,12 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETMN.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEX.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEXCAT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEXOF.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFORT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFQCMPK.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFRGCD.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFRTCAT.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGCF.fasl +lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGPOP.fasl +lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGPOPC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGROUP-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGROUP.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SHDP.fasl @@ -1188,7 +1070,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUP2.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUPFRACF.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUPXS.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUTS.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SWITCH.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMBOL.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMFUNC.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMPOLY.fasl @@ -1208,7 +1089,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TANEXP.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TBAGG-.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TBAGG.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TBCMPPK.fasl -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEMUTL.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEX.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEX1.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEXTFILE.fasl @@ -1361,6 +1241,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/include/open-axiom/hash-table lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/include/open-axiom/sexpr lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/include/open-axiom/storage lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/include/open-axiom/string-pool +lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/include/open-axiom/vm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/algaggr.input lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/algbrbf.input lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/algfacob.input @@ -1721,6 +1602,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/xpr.input lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/zdsolve.input lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/zimmer.input lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/zlindep.input +lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/interp/sys-os.fasl lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/command.list lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/copyright lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/ex2ht @@ -2426,19 +2308,14 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/algfact.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/algfunc.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/allfact.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/alql.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/annacat.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/any.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/array1.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/array2.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/asp.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/attreg.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/bags.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/bezout.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/boolean.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/brill.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/c02.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/c05.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/c06.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/card.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/carten.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/catdef.spad @@ -2452,7 +2329,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/combfunc.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/combinat.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/complet.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/constant.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/cont.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/contfrac.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/coordsys.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/cra.spad @@ -2460,20 +2336,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/crfp.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/curve.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/cycles.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/cyclotom.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d01.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d01Package.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d01agents.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d01routine.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d01transform.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d01weights.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d02.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d02Package.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d02agents.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d02routine.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d03.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d03Package.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d03agents.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d03routine.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ddfact.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/defaults.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/defintef.spad @@ -2482,16 +2344,11 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/degred.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/derham.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/dhmatrix.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/divisor.spad +lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/domain.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/dpolcat.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/draw.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/drawopt.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/drawpak.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/e01.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/e02.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/e04.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/e04Package.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/e04agents.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/e04routine.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/efstruc.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/efuls.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/efupxs.spad @@ -2505,10 +2362,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/expexpan.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/expr.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/expr2ups.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/exprode.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/f01.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/f02.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/f04.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/f07.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/facutil.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ffcat.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ffcg.spad @@ -2524,10 +2377,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/float.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fmod.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fname.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fnla.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fortcat.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fortmac.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fortpak.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fortran.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/forttyp.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fourier.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fparfrac.spad @@ -2538,7 +2387,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fs2expxp.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fs2ups.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fspace.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/funcpkgs.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/functions.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/galfact.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/galfactu.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/galpolyu.spad @@ -2640,13 +2488,8 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/oct.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/odealg.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/odeef.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/oderf.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/omcat.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/omdev.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/omerror.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/omserver.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/op.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/opalg.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/openmath.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ore.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/out.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/outform.spad @@ -2707,9 +2550,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/retract.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/rf.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/riccati.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/rinterp.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/routines.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/rule.spad -lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/s.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/seg.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/setorder.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/sets.spad @@ -2739,6 +2580,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/sups.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/supxs.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/suts.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/symbol.spad +lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/syntax.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/syssolp.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/system.spad lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/table.spad @@ -2779,6 +2621,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/timestamp @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/include/open-axiom @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/include @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input +@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/interp @exec mkdir -p %D/lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/.libs @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/.libs @exec mkdir -p %D/lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph |