[libgap-sage] 01/03: New upstream version 4.8.8+3+20160327g69a66f0+dsx

[Jerome Benoit]

This is an automated email from the git hooks/post-receive script.

calculus-guest pushed a commit to branch master
in repository libgap-sage.

commit b62676e65ddb55a443c51cc6ee5c766f7008f90f
Author: Jerome Benoit <calculus at rezozer.net>
Date:   Mon Sep 18 18:23:23 2017 +0400

    New upstream version 4.8.8+3+20160327g69a66f0+dsx
---
 gapcore/gap4r8                                     | 2 +-
 gapcore/{gap4r8p7 => gap4r8p8}/src/aobjects.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/ariths.c        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/ariths.h        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/atomic.h        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/blister.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/blister.h       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/bool.c          | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/bool.h          | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/c_filt1.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/c_meths1.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/c_oper1.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/c_random.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/c_type1.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/calls.c         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/calls.h         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/code.c          | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/code.h          | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/compiled.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/compiler.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/compiler.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/compstat.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/compstat.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/costab.c        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/costab.h        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/cyclotom.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/cyclotom.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/dt.c            | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/dt.h            | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/dteval.c        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/dteval.h        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/exprs.c         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/exprs.h         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/ffdata.h        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/finfield.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/finfield.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/funcs.c         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/funcs.h         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/gap.c           | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/gap.h           | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/gapw95.c        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/gasman.c        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/gasman.h        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/gmpints.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/gmpints.h       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/gvars.c         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/gvars.h         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/integer.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/integer.h       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/intfuncs.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/intfuncs.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/intrprtr.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/intrprtr.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/iostream.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/iostream.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/itanium.s       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/listfunc.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/listfunc.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/listoper.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/listoper.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/lists.c         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/lists.h         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/macfloat.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/macfloat.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/objccoll-impl.h | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/objccoll.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/objccoll.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/objcftl.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/objcftl.h       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/objects.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/objects.h       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/objfgelm.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/objfgelm.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/objpcgel.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/objpcgel.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/objscoll-impl.h | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/objscoll.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/objscoll.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/opers.c         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/opers.h         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/permutat.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/permutat.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/plist.c         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/plist.h         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/pperm.c         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/pperm.h         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/precord.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/precord.h       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/profile.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/profile.h       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/range.c         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/range.h         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/rational.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/rational.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/read.c          | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/read.h          | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/records.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/records.h       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/saveload.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/saveload.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/scanner.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/scanner.h       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/sctable.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/sctable.h       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/set.c           | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/set.h           | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/stats.c         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/stats.h         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/streams.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/streams.h       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/string.c        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/string.h        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/sysfiles.c      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/sysfiles.h      | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/system.c        | 4 ++--
 gapcore/{gap4r8p7 => gap4r8p8}/src/system.h        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/thread.h        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/tietze.c        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/tietze.h        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/tls.h           | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/trans.c         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/trans.h         | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/vars.c          | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/vars.h          | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/vec8bit.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/vec8bit.h       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/vecffe.c        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/vecffe.h        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/vecgf2.c        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/vecgf2.h        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/vector.c        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/vector.h        | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/weakptr.c       | 0
 gapcore/{gap4r8p7 => gap4r8p8}/src/weakptr.h       | 0
 134 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/gapcore/gap4r8 b/gapcore/gap4r8
index ed19475..d501e14 120000
--- a/gapcore/gap4r8
+++ b/gapcore/gap4r8
@@ -1 +1 @@
-gap4r8p7
\ No newline at end of file
+gap4r8p8
\ No newline at end of file
diff --git a/gapcore/gap4r8p7/src/aobjects.h b/gapcore/gap4r8p8/src/aobjects.h
similarity index 100%
rename from gapcore/gap4r8p7/src/aobjects.h
rename to gapcore/gap4r8p8/src/aobjects.h
diff --git a/gapcore/gap4r8p7/src/ariths.c b/gapcore/gap4r8p8/src/ariths.c
similarity index 100%
rename from gapcore/gap4r8p7/src/ariths.c
rename to gapcore/gap4r8p8/src/ariths.c
diff --git a/gapcore/gap4r8p7/src/ariths.h b/gapcore/gap4r8p8/src/ariths.h
similarity index 100%
rename from gapcore/gap4r8p7/src/ariths.h
rename to gapcore/gap4r8p8/src/ariths.h
diff --git a/gapcore/gap4r8p7/src/atomic.h b/gapcore/gap4r8p8/src/atomic.h
similarity index 100%
rename from gapcore/gap4r8p7/src/atomic.h
rename to gapcore/gap4r8p8/src/atomic.h
diff --git a/gapcore/gap4r8p7/src/blister.c b/gapcore/gap4r8p8/src/blister.c
similarity index 100%
rename from gapcore/gap4r8p7/src/blister.c
rename to gapcore/gap4r8p8/src/blister.c
diff --git a/gapcore/gap4r8p7/src/blister.h b/gapcore/gap4r8p8/src/blister.h
similarity index 100%
rename from gapcore/gap4r8p7/src/blister.h
rename to gapcore/gap4r8p8/src/blister.h
diff --git a/gapcore/gap4r8p7/src/bool.c b/gapcore/gap4r8p8/src/bool.c
similarity index 100%
rename from gapcore/gap4r8p7/src/bool.c
rename to gapcore/gap4r8p8/src/bool.c
diff --git a/gapcore/gap4r8p7/src/bool.h b/gapcore/gap4r8p8/src/bool.h
similarity index 100%
rename from gapcore/gap4r8p7/src/bool.h
rename to gapcore/gap4r8p8/src/bool.h
diff --git a/gapcore/gap4r8p7/src/c_filt1.c b/gapcore/gap4r8p8/src/c_filt1.c
similarity index 100%
rename from gapcore/gap4r8p7/src/c_filt1.c
rename to gapcore/gap4r8p8/src/c_filt1.c
diff --git a/gapcore/gap4r8p7/src/c_meths1.c b/gapcore/gap4r8p8/src/c_meths1.c
similarity index 100%
rename from gapcore/gap4r8p7/src/c_meths1.c
rename to gapcore/gap4r8p8/src/c_meths1.c
diff --git a/gapcore/gap4r8p7/src/c_oper1.c b/gapcore/gap4r8p8/src/c_oper1.c
similarity index 100%
rename from gapcore/gap4r8p7/src/c_oper1.c
rename to gapcore/gap4r8p8/src/c_oper1.c
diff --git a/gapcore/gap4r8p7/src/c_random.c b/gapcore/gap4r8p8/src/c_random.c
similarity index 100%
rename from gapcore/gap4r8p7/src/c_random.c
rename to gapcore/gap4r8p8/src/c_random.c
diff --git a/gapcore/gap4r8p7/src/c_type1.c b/gapcore/gap4r8p8/src/c_type1.c
similarity index 100%
rename from gapcore/gap4r8p7/src/c_type1.c
rename to gapcore/gap4r8p8/src/c_type1.c
diff --git a/gapcore/gap4r8p7/src/calls.c b/gapcore/gap4r8p8/src/calls.c
similarity index 100%
rename from gapcore/gap4r8p7/src/calls.c
rename to gapcore/gap4r8p8/src/calls.c
diff --git a/gapcore/gap4r8p7/src/calls.h b/gapcore/gap4r8p8/src/calls.h
similarity index 100%
rename from gapcore/gap4r8p7/src/calls.h
rename to gapcore/gap4r8p8/src/calls.h
diff --git a/gapcore/gap4r8p7/src/code.c b/gapcore/gap4r8p8/src/code.c
similarity index 100%
rename from gapcore/gap4r8p7/src/code.c
rename to gapcore/gap4r8p8/src/code.c
diff --git a/gapcore/gap4r8p7/src/code.h b/gapcore/gap4r8p8/src/code.h
similarity index 100%
rename from gapcore/gap4r8p7/src/code.h
rename to gapcore/gap4r8p8/src/code.h
diff --git a/gapcore/gap4r8p7/src/compiled.h b/gapcore/gap4r8p8/src/compiled.h
similarity index 100%
rename from gapcore/gap4r8p7/src/compiled.h
rename to gapcore/gap4r8p8/src/compiled.h
diff --git a/gapcore/gap4r8p7/src/compiler.c b/gapcore/gap4r8p8/src/compiler.c
similarity index 100%
rename from gapcore/gap4r8p7/src/compiler.c
rename to gapcore/gap4r8p8/src/compiler.c
diff --git a/gapcore/gap4r8p7/src/compiler.h b/gapcore/gap4r8p8/src/compiler.h
similarity index 100%
rename from gapcore/gap4r8p7/src/compiler.h
rename to gapcore/gap4r8p8/src/compiler.h
diff --git a/gapcore/gap4r8p7/src/compstat.c b/gapcore/gap4r8p8/src/compstat.c
similarity index 100%
rename from gapcore/gap4r8p7/src/compstat.c
rename to gapcore/gap4r8p8/src/compstat.c
diff --git a/gapcore/gap4r8p7/src/compstat.h b/gapcore/gap4r8p8/src/compstat.h
similarity index 100%
rename from gapcore/gap4r8p7/src/compstat.h
rename to gapcore/gap4r8p8/src/compstat.h
diff --git a/gapcore/gap4r8p7/src/costab.c b/gapcore/gap4r8p8/src/costab.c
similarity index 100%
rename from gapcore/gap4r8p7/src/costab.c
rename to gapcore/gap4r8p8/src/costab.c
diff --git a/gapcore/gap4r8p7/src/costab.h b/gapcore/gap4r8p8/src/costab.h
similarity index 100%
rename from gapcore/gap4r8p7/src/costab.h
rename to gapcore/gap4r8p8/src/costab.h
diff --git a/gapcore/gap4r8p7/src/cyclotom.c b/gapcore/gap4r8p8/src/cyclotom.c
similarity index 100%
rename from gapcore/gap4r8p7/src/cyclotom.c
rename to gapcore/gap4r8p8/src/cyclotom.c
diff --git a/gapcore/gap4r8p7/src/cyclotom.h b/gapcore/gap4r8p8/src/cyclotom.h
similarity index 100%
rename from gapcore/gap4r8p7/src/cyclotom.h
rename to gapcore/gap4r8p8/src/cyclotom.h
diff --git a/gapcore/gap4r8p7/src/dt.c b/gapcore/gap4r8p8/src/dt.c
similarity index 100%
rename from gapcore/gap4r8p7/src/dt.c
rename to gapcore/gap4r8p8/src/dt.c
diff --git a/gapcore/gap4r8p7/src/dt.h b/gapcore/gap4r8p8/src/dt.h
similarity index 100%
rename from gapcore/gap4r8p7/src/dt.h
rename to gapcore/gap4r8p8/src/dt.h
diff --git a/gapcore/gap4r8p7/src/dteval.c b/gapcore/gap4r8p8/src/dteval.c
similarity index 100%
rename from gapcore/gap4r8p7/src/dteval.c
rename to gapcore/gap4r8p8/src/dteval.c
diff --git a/gapcore/gap4r8p7/src/dteval.h b/gapcore/gap4r8p8/src/dteval.h
similarity index 100%
rename from gapcore/gap4r8p7/src/dteval.h
rename to gapcore/gap4r8p8/src/dteval.h
diff --git a/gapcore/gap4r8p7/src/exprs.c b/gapcore/gap4r8p8/src/exprs.c
similarity index 100%
rename from gapcore/gap4r8p7/src/exprs.c
rename to gapcore/gap4r8p8/src/exprs.c
diff --git a/gapcore/gap4r8p7/src/exprs.h b/gapcore/gap4r8p8/src/exprs.h
similarity index 100%
rename from gapcore/gap4r8p7/src/exprs.h
rename to gapcore/gap4r8p8/src/exprs.h
diff --git a/gapcore/gap4r8p7/src/ffdata.h b/gapcore/gap4r8p8/src/ffdata.h
similarity index 100%
rename from gapcore/gap4r8p7/src/ffdata.h
rename to gapcore/gap4r8p8/src/ffdata.h
diff --git a/gapcore/gap4r8p7/src/finfield.c b/gapcore/gap4r8p8/src/finfield.c
similarity index 100%
rename from gapcore/gap4r8p7/src/finfield.c
rename to gapcore/gap4r8p8/src/finfield.c
diff --git a/gapcore/gap4r8p7/src/finfield.h b/gapcore/gap4r8p8/src/finfield.h
similarity index 100%
rename from gapcore/gap4r8p7/src/finfield.h
rename to gapcore/gap4r8p8/src/finfield.h
diff --git a/gapcore/gap4r8p7/src/funcs.c b/gapcore/gap4r8p8/src/funcs.c
similarity index 100%
rename from gapcore/gap4r8p7/src/funcs.c
rename to gapcore/gap4r8p8/src/funcs.c
diff --git a/gapcore/gap4r8p7/src/funcs.h b/gapcore/gap4r8p8/src/funcs.h
similarity index 100%
rename from gapcore/gap4r8p7/src/funcs.h
rename to gapcore/gap4r8p8/src/funcs.h
diff --git a/gapcore/gap4r8p7/src/gap.c b/gapcore/gap4r8p8/src/gap.c
similarity index 100%
rename from gapcore/gap4r8p7/src/gap.c
rename to gapcore/gap4r8p8/src/gap.c
diff --git a/gapcore/gap4r8p7/src/gap.h b/gapcore/gap4r8p8/src/gap.h
similarity index 100%
rename from gapcore/gap4r8p7/src/gap.h
rename to gapcore/gap4r8p8/src/gap.h
diff --git a/gapcore/gap4r8p7/src/gapw95.c b/gapcore/gap4r8p8/src/gapw95.c
similarity index 100%
rename from gapcore/gap4r8p7/src/gapw95.c
rename to gapcore/gap4r8p8/src/gapw95.c
diff --git a/gapcore/gap4r8p7/src/gasman.c b/gapcore/gap4r8p8/src/gasman.c
similarity index 100%
rename from gapcore/gap4r8p7/src/gasman.c
rename to gapcore/gap4r8p8/src/gasman.c
diff --git a/gapcore/gap4r8p7/src/gasman.h b/gapcore/gap4r8p8/src/gasman.h
similarity index 100%
rename from gapcore/gap4r8p7/src/gasman.h
rename to gapcore/gap4r8p8/src/gasman.h
diff --git a/gapcore/gap4r8p7/src/gmpints.c b/gapcore/gap4r8p8/src/gmpints.c
similarity index 100%
rename from gapcore/gap4r8p7/src/gmpints.c
rename to gapcore/gap4r8p8/src/gmpints.c
diff --git a/gapcore/gap4r8p7/src/gmpints.h b/gapcore/gap4r8p8/src/gmpints.h
similarity index 100%
rename from gapcore/gap4r8p7/src/gmpints.h
rename to gapcore/gap4r8p8/src/gmpints.h
diff --git a/gapcore/gap4r8p7/src/gvars.c b/gapcore/gap4r8p8/src/gvars.c
similarity index 100%
rename from gapcore/gap4r8p7/src/gvars.c
rename to gapcore/gap4r8p8/src/gvars.c
diff --git a/gapcore/gap4r8p7/src/gvars.h b/gapcore/gap4r8p8/src/gvars.h
similarity index 100%
rename from gapcore/gap4r8p7/src/gvars.h
rename to gapcore/gap4r8p8/src/gvars.h
diff --git a/gapcore/gap4r8p7/src/integer.c b/gapcore/gap4r8p8/src/integer.c
similarity index 100%
rename from gapcore/gap4r8p7/src/integer.c
rename to gapcore/gap4r8p8/src/integer.c
diff --git a/gapcore/gap4r8p7/src/integer.h b/gapcore/gap4r8p8/src/integer.h
similarity index 100%
rename from gapcore/gap4r8p7/src/integer.h
rename to gapcore/gap4r8p8/src/integer.h
diff --git a/gapcore/gap4r8p7/src/intfuncs.c b/gapcore/gap4r8p8/src/intfuncs.c
similarity index 100%
rename from gapcore/gap4r8p7/src/intfuncs.c
rename to gapcore/gap4r8p8/src/intfuncs.c
diff --git a/gapcore/gap4r8p7/src/intfuncs.h b/gapcore/gap4r8p8/src/intfuncs.h
similarity index 100%
rename from gapcore/gap4r8p7/src/intfuncs.h
rename to gapcore/gap4r8p8/src/intfuncs.h
diff --git a/gapcore/gap4r8p7/src/intrprtr.c b/gapcore/gap4r8p8/src/intrprtr.c
similarity index 100%
rename from gapcore/gap4r8p7/src/intrprtr.c
rename to gapcore/gap4r8p8/src/intrprtr.c
diff --git a/gapcore/gap4r8p7/src/intrprtr.h b/gapcore/gap4r8p8/src/intrprtr.h
similarity index 100%
rename from gapcore/gap4r8p7/src/intrprtr.h
rename to gapcore/gap4r8p8/src/intrprtr.h
diff --git a/gapcore/gap4r8p7/src/iostream.c b/gapcore/gap4r8p8/src/iostream.c
similarity index 100%
rename from gapcore/gap4r8p7/src/iostream.c
rename to gapcore/gap4r8p8/src/iostream.c
diff --git a/gapcore/gap4r8p7/src/iostream.h b/gapcore/gap4r8p8/src/iostream.h
similarity index 100%
rename from gapcore/gap4r8p7/src/iostream.h
rename to gapcore/gap4r8p8/src/iostream.h
diff --git a/gapcore/gap4r8p7/src/itanium.s b/gapcore/gap4r8p8/src/itanium.s
similarity index 100%
rename from gapcore/gap4r8p7/src/itanium.s
rename to gapcore/gap4r8p8/src/itanium.s
diff --git a/gapcore/gap4r8p7/src/listfunc.c b/gapcore/gap4r8p8/src/listfunc.c
similarity index 100%
rename from gapcore/gap4r8p7/src/listfunc.c
rename to gapcore/gap4r8p8/src/listfunc.c
diff --git a/gapcore/gap4r8p7/src/listfunc.h b/gapcore/gap4r8p8/src/listfunc.h
similarity index 100%
rename from gapcore/gap4r8p7/src/listfunc.h
rename to gapcore/gap4r8p8/src/listfunc.h
diff --git a/gapcore/gap4r8p7/src/listoper.c b/gapcore/gap4r8p8/src/listoper.c
similarity index 100%
rename from gapcore/gap4r8p7/src/listoper.c
rename to gapcore/gap4r8p8/src/listoper.c
diff --git a/gapcore/gap4r8p7/src/listoper.h b/gapcore/gap4r8p8/src/listoper.h
similarity index 100%
rename from gapcore/gap4r8p7/src/listoper.h
rename to gapcore/gap4r8p8/src/listoper.h
diff --git a/gapcore/gap4r8p7/src/lists.c b/gapcore/gap4r8p8/src/lists.c
similarity index 100%
rename from gapcore/gap4r8p7/src/lists.c
rename to gapcore/gap4r8p8/src/lists.c
diff --git a/gapcore/gap4r8p7/src/lists.h b/gapcore/gap4r8p8/src/lists.h
similarity index 100%
rename from gapcore/gap4r8p7/src/lists.h
rename to gapcore/gap4r8p8/src/lists.h
diff --git a/gapcore/gap4r8p7/src/macfloat.c b/gapcore/gap4r8p8/src/macfloat.c
similarity index 100%
rename from gapcore/gap4r8p7/src/macfloat.c
rename to gapcore/gap4r8p8/src/macfloat.c
diff --git a/gapcore/gap4r8p7/src/macfloat.h b/gapcore/gap4r8p8/src/macfloat.h
similarity index 100%
rename from gapcore/gap4r8p7/src/macfloat.h
rename to gapcore/gap4r8p8/src/macfloat.h
diff --git a/gapcore/gap4r8p7/src/objccoll-impl.h b/gapcore/gap4r8p8/src/objccoll-impl.h
similarity index 100%
rename from gapcore/gap4r8p7/src/objccoll-impl.h
rename to gapcore/gap4r8p8/src/objccoll-impl.h
diff --git a/gapcore/gap4r8p7/src/objccoll.c b/gapcore/gap4r8p8/src/objccoll.c
similarity index 100%
rename from gapcore/gap4r8p7/src/objccoll.c
rename to gapcore/gap4r8p8/src/objccoll.c
diff --git a/gapcore/gap4r8p7/src/objccoll.h b/gapcore/gap4r8p8/src/objccoll.h
similarity index 100%
rename from gapcore/gap4r8p7/src/objccoll.h
rename to gapcore/gap4r8p8/src/objccoll.h
diff --git a/gapcore/gap4r8p7/src/objcftl.c b/gapcore/gap4r8p8/src/objcftl.c
similarity index 100%
rename from gapcore/gap4r8p7/src/objcftl.c
rename to gapcore/gap4r8p8/src/objcftl.c
diff --git a/gapcore/gap4r8p7/src/objcftl.h b/gapcore/gap4r8p8/src/objcftl.h
similarity index 100%
rename from gapcore/gap4r8p7/src/objcftl.h
rename to gapcore/gap4r8p8/src/objcftl.h
diff --git a/gapcore/gap4r8p7/src/objects.c b/gapcore/gap4r8p8/src/objects.c
similarity index 100%
rename from gapcore/gap4r8p7/src/objects.c
rename to gapcore/gap4r8p8/src/objects.c
diff --git a/gapcore/gap4r8p7/src/objects.h b/gapcore/gap4r8p8/src/objects.h
similarity index 100%
rename from gapcore/gap4r8p7/src/objects.h
rename to gapcore/gap4r8p8/src/objects.h
diff --git a/gapcore/gap4r8p7/src/objfgelm.c b/gapcore/gap4r8p8/src/objfgelm.c
similarity index 100%
rename from gapcore/gap4r8p7/src/objfgelm.c
rename to gapcore/gap4r8p8/src/objfgelm.c
diff --git a/gapcore/gap4r8p7/src/objfgelm.h b/gapcore/gap4r8p8/src/objfgelm.h
similarity index 100%
rename from gapcore/gap4r8p7/src/objfgelm.h
rename to gapcore/gap4r8p8/src/objfgelm.h
diff --git a/gapcore/gap4r8p7/src/objpcgel.c b/gapcore/gap4r8p8/src/objpcgel.c
similarity index 100%
rename from gapcore/gap4r8p7/src/objpcgel.c
rename to gapcore/gap4r8p8/src/objpcgel.c
diff --git a/gapcore/gap4r8p7/src/objpcgel.h b/gapcore/gap4r8p8/src/objpcgel.h
similarity index 100%
rename from gapcore/gap4r8p7/src/objpcgel.h
rename to gapcore/gap4r8p8/src/objpcgel.h
diff --git a/gapcore/gap4r8p7/src/objscoll-impl.h b/gapcore/gap4r8p8/src/objscoll-impl.h
similarity index 100%
rename from gapcore/gap4r8p7/src/objscoll-impl.h
rename to gapcore/gap4r8p8/src/objscoll-impl.h
diff --git a/gapcore/gap4r8p7/src/objscoll.c b/gapcore/gap4r8p8/src/objscoll.c
similarity index 100%
rename from gapcore/gap4r8p7/src/objscoll.c
rename to gapcore/gap4r8p8/src/objscoll.c
diff --git a/gapcore/gap4r8p7/src/objscoll.h b/gapcore/gap4r8p8/src/objscoll.h
similarity index 100%
rename from gapcore/gap4r8p7/src/objscoll.h
rename to gapcore/gap4r8p8/src/objscoll.h
diff --git a/gapcore/gap4r8p7/src/opers.c b/gapcore/gap4r8p8/src/opers.c
similarity index 100%
rename from gapcore/gap4r8p7/src/opers.c
rename to gapcore/gap4r8p8/src/opers.c
diff --git a/gapcore/gap4r8p7/src/opers.h b/gapcore/gap4r8p8/src/opers.h
similarity index 100%
rename from gapcore/gap4r8p7/src/opers.h
rename to gapcore/gap4r8p8/src/opers.h
diff --git a/gapcore/gap4r8p7/src/permutat.c b/gapcore/gap4r8p8/src/permutat.c
similarity index 100%
rename from gapcore/gap4r8p7/src/permutat.c
rename to gapcore/gap4r8p8/src/permutat.c
diff --git a/gapcore/gap4r8p7/src/permutat.h b/gapcore/gap4r8p8/src/permutat.h
similarity index 100%
rename from gapcore/gap4r8p7/src/permutat.h
rename to gapcore/gap4r8p8/src/permutat.h
diff --git a/gapcore/gap4r8p7/src/plist.c b/gapcore/gap4r8p8/src/plist.c
similarity index 100%
rename from gapcore/gap4r8p7/src/plist.c
rename to gapcore/gap4r8p8/src/plist.c
diff --git a/gapcore/gap4r8p7/src/plist.h b/gapcore/gap4r8p8/src/plist.h
similarity index 100%
rename from gapcore/gap4r8p7/src/plist.h
rename to gapcore/gap4r8p8/src/plist.h
diff --git a/gapcore/gap4r8p7/src/pperm.c b/gapcore/gap4r8p8/src/pperm.c
similarity index 100%
rename from gapcore/gap4r8p7/src/pperm.c
rename to gapcore/gap4r8p8/src/pperm.c
diff --git a/gapcore/gap4r8p7/src/pperm.h b/gapcore/gap4r8p8/src/pperm.h
similarity index 100%
rename from gapcore/gap4r8p7/src/pperm.h
rename to gapcore/gap4r8p8/src/pperm.h
diff --git a/gapcore/gap4r8p7/src/precord.c b/gapcore/gap4r8p8/src/precord.c
similarity index 100%
rename from gapcore/gap4r8p7/src/precord.c
rename to gapcore/gap4r8p8/src/precord.c
diff --git a/gapcore/gap4r8p7/src/precord.h b/gapcore/gap4r8p8/src/precord.h
similarity index 100%
rename from gapcore/gap4r8p7/src/precord.h
rename to gapcore/gap4r8p8/src/precord.h
diff --git a/gapcore/gap4r8p7/src/profile.c b/gapcore/gap4r8p8/src/profile.c
similarity index 100%
rename from gapcore/gap4r8p7/src/profile.c
rename to gapcore/gap4r8p8/src/profile.c
diff --git a/gapcore/gap4r8p7/src/profile.h b/gapcore/gap4r8p8/src/profile.h
similarity index 100%
rename from gapcore/gap4r8p7/src/profile.h
rename to gapcore/gap4r8p8/src/profile.h
diff --git a/gapcore/gap4r8p7/src/range.c b/gapcore/gap4r8p8/src/range.c
similarity index 100%
rename from gapcore/gap4r8p7/src/range.c
rename to gapcore/gap4r8p8/src/range.c
diff --git a/gapcore/gap4r8p7/src/range.h b/gapcore/gap4r8p8/src/range.h
similarity index 100%
rename from gapcore/gap4r8p7/src/range.h
rename to gapcore/gap4r8p8/src/range.h
diff --git a/gapcore/gap4r8p7/src/rational.c b/gapcore/gap4r8p8/src/rational.c
similarity index 100%
rename from gapcore/gap4r8p7/src/rational.c
rename to gapcore/gap4r8p8/src/rational.c
diff --git a/gapcore/gap4r8p7/src/rational.h b/gapcore/gap4r8p8/src/rational.h
similarity index 100%
rename from gapcore/gap4r8p7/src/rational.h
rename to gapcore/gap4r8p8/src/rational.h
diff --git a/gapcore/gap4r8p7/src/read.c b/gapcore/gap4r8p8/src/read.c
similarity index 100%
rename from gapcore/gap4r8p7/src/read.c
rename to gapcore/gap4r8p8/src/read.c
diff --git a/gapcore/gap4r8p7/src/read.h b/gapcore/gap4r8p8/src/read.h
similarity index 100%
rename from gapcore/gap4r8p7/src/read.h
rename to gapcore/gap4r8p8/src/read.h
diff --git a/gapcore/gap4r8p7/src/records.c b/gapcore/gap4r8p8/src/records.c
similarity index 100%
rename from gapcore/gap4r8p7/src/records.c
rename to gapcore/gap4r8p8/src/records.c
diff --git a/gapcore/gap4r8p7/src/records.h b/gapcore/gap4r8p8/src/records.h
similarity index 100%
rename from gapcore/gap4r8p7/src/records.h
rename to gapcore/gap4r8p8/src/records.h
diff --git a/gapcore/gap4r8p7/src/saveload.c b/gapcore/gap4r8p8/src/saveload.c
similarity index 100%
rename from gapcore/gap4r8p7/src/saveload.c
rename to gapcore/gap4r8p8/src/saveload.c
diff --git a/gapcore/gap4r8p7/src/saveload.h b/gapcore/gap4r8p8/src/saveload.h
similarity index 100%
rename from gapcore/gap4r8p7/src/saveload.h
rename to gapcore/gap4r8p8/src/saveload.h
diff --git a/gapcore/gap4r8p7/src/scanner.c b/gapcore/gap4r8p8/src/scanner.c
similarity index 100%
rename from gapcore/gap4r8p7/src/scanner.c
rename to gapcore/gap4r8p8/src/scanner.c
diff --git a/gapcore/gap4r8p7/src/scanner.h b/gapcore/gap4r8p8/src/scanner.h
similarity index 100%
rename from gapcore/gap4r8p7/src/scanner.h
rename to gapcore/gap4r8p8/src/scanner.h
diff --git a/gapcore/gap4r8p7/src/sctable.c b/gapcore/gap4r8p8/src/sctable.c
similarity index 100%
rename from gapcore/gap4r8p7/src/sctable.c
rename to gapcore/gap4r8p8/src/sctable.c
diff --git a/gapcore/gap4r8p7/src/sctable.h b/gapcore/gap4r8p8/src/sctable.h
similarity index 100%
rename from gapcore/gap4r8p7/src/sctable.h
rename to gapcore/gap4r8p8/src/sctable.h
diff --git a/gapcore/gap4r8p7/src/set.c b/gapcore/gap4r8p8/src/set.c
similarity index 100%
rename from gapcore/gap4r8p7/src/set.c
rename to gapcore/gap4r8p8/src/set.c
diff --git a/gapcore/gap4r8p7/src/set.h b/gapcore/gap4r8p8/src/set.h
similarity index 100%
rename from gapcore/gap4r8p7/src/set.h
rename to gapcore/gap4r8p8/src/set.h
diff --git a/gapcore/gap4r8p7/src/stats.c b/gapcore/gap4r8p8/src/stats.c
similarity index 100%
rename from gapcore/gap4r8p7/src/stats.c
rename to gapcore/gap4r8p8/src/stats.c
diff --git a/gapcore/gap4r8p7/src/stats.h b/gapcore/gap4r8p8/src/stats.h
similarity index 100%
rename from gapcore/gap4r8p7/src/stats.h
rename to gapcore/gap4r8p8/src/stats.h
diff --git a/gapcore/gap4r8p7/src/streams.c b/gapcore/gap4r8p8/src/streams.c
similarity index 100%
rename from gapcore/gap4r8p7/src/streams.c
rename to gapcore/gap4r8p8/src/streams.c
diff --git a/gapcore/gap4r8p7/src/streams.h b/gapcore/gap4r8p8/src/streams.h
similarity index 100%
rename from gapcore/gap4r8p7/src/streams.h
rename to gapcore/gap4r8p8/src/streams.h
diff --git a/gapcore/gap4r8p7/src/string.c b/gapcore/gap4r8p8/src/string.c
similarity index 100%
rename from gapcore/gap4r8p7/src/string.c
rename to gapcore/gap4r8p8/src/string.c
diff --git a/gapcore/gap4r8p7/src/string.h b/gapcore/gap4r8p8/src/string.h
similarity index 100%
rename from gapcore/gap4r8p7/src/string.h
rename to gapcore/gap4r8p8/src/string.h
diff --git a/gapcore/gap4r8p7/src/sysfiles.c b/gapcore/gap4r8p8/src/sysfiles.c
similarity index 100%
rename from gapcore/gap4r8p7/src/sysfiles.c
rename to gapcore/gap4r8p8/src/sysfiles.c
diff --git a/gapcore/gap4r8p7/src/sysfiles.h b/gapcore/gap4r8p8/src/sysfiles.h
similarity index 100%
rename from gapcore/gap4r8p7/src/sysfiles.h
rename to gapcore/gap4r8p8/src/sysfiles.h
diff --git a/gapcore/gap4r8p7/src/system.c b/gapcore/gap4r8p8/src/system.c
similarity index 99%
rename from gapcore/gap4r8p7/src/system.c
rename to gapcore/gap4r8p8/src/system.c
index 15f0594..31b334c 100644
--- a/gapcore/gap4r8p7/src/system.c
+++ b/gapcore/gap4r8p8/src/system.c
@@ -78,10 +78,10 @@ Int enableCodeCoverageAtStartup( Char **argv, void * dummy);
 /****************************************************************************
 **
 *V  SyKernelVersion  . . . . . . . . . . . . . . . hard coded kernel version
-** do not edit the following line. Occurences of `4.8.7' and `today'
+** do not edit the following line. Occurences of `4.8.8' and `today'
 ** will be replaced by string matching by distribution wrapping scripts.
 */
-const Char * SyKernelVersion = "4.8.7";
+const Char * SyKernelVersion = "4.8.8";
 
 /****************************************************************************
 **
diff --git a/gapcore/gap4r8p7/src/system.h b/gapcore/gap4r8p8/src/system.h
similarity index 100%
rename from gapcore/gap4r8p7/src/system.h
rename to gapcore/gap4r8p8/src/system.h
diff --git a/gapcore/gap4r8p7/src/thread.h b/gapcore/gap4r8p8/src/thread.h
similarity index 100%
rename from gapcore/gap4r8p7/src/thread.h
rename to gapcore/gap4r8p8/src/thread.h
diff --git a/gapcore/gap4r8p7/src/tietze.c b/gapcore/gap4r8p8/src/tietze.c
similarity index 100%
rename from gapcore/gap4r8p7/src/tietze.c
rename to gapcore/gap4r8p8/src/tietze.c
diff --git a/gapcore/gap4r8p7/src/tietze.h b/gapcore/gap4r8p8/src/tietze.h
similarity index 100%
rename from gapcore/gap4r8p7/src/tietze.h
rename to gapcore/gap4r8p8/src/tietze.h
diff --git a/gapcore/gap4r8p7/src/tls.h b/gapcore/gap4r8p8/src/tls.h
similarity index 100%
rename from gapcore/gap4r8p7/src/tls.h
rename to gapcore/gap4r8p8/src/tls.h
diff --git a/gapcore/gap4r8p7/src/trans.c b/gapcore/gap4r8p8/src/trans.c
similarity index 100%
rename from gapcore/gap4r8p7/src/trans.c
rename to gapcore/gap4r8p8/src/trans.c
diff --git a/gapcore/gap4r8p7/src/trans.h b/gapcore/gap4r8p8/src/trans.h
similarity index 100%
rename from gapcore/gap4r8p7/src/trans.h
rename to gapcore/gap4r8p8/src/trans.h
diff --git a/gapcore/gap4r8p7/src/vars.c b/gapcore/gap4r8p8/src/vars.c
similarity index 100%
rename from gapcore/gap4r8p7/src/vars.c
rename to gapcore/gap4r8p8/src/vars.c
diff --git a/gapcore/gap4r8p7/src/vars.h b/gapcore/gap4r8p8/src/vars.h
similarity index 100%
rename from gapcore/gap4r8p7/src/vars.h
rename to gapcore/gap4r8p8/src/vars.h
diff --git a/gapcore/gap4r8p7/src/vec8bit.c b/gapcore/gap4r8p8/src/vec8bit.c
similarity index 100%
rename from gapcore/gap4r8p7/src/vec8bit.c
rename to gapcore/gap4r8p8/src/vec8bit.c
diff --git a/gapcore/gap4r8p7/src/vec8bit.h b/gapcore/gap4r8p8/src/vec8bit.h
similarity index 100%
rename from gapcore/gap4r8p7/src/vec8bit.h
rename to gapcore/gap4r8p8/src/vec8bit.h
diff --git a/gapcore/gap4r8p7/src/vecffe.c b/gapcore/gap4r8p8/src/vecffe.c
similarity index 100%
rename from gapcore/gap4r8p7/src/vecffe.c
rename to gapcore/gap4r8p8/src/vecffe.c
diff --git a/gapcore/gap4r8p7/src/vecffe.h b/gapcore/gap4r8p8/src/vecffe.h
similarity index 100%
rename from gapcore/gap4r8p7/src/vecffe.h
rename to gapcore/gap4r8p8/src/vecffe.h
diff --git a/gapcore/gap4r8p7/src/vecgf2.c b/gapcore/gap4r8p8/src/vecgf2.c
similarity index 100%
rename from gapcore/gap4r8p7/src/vecgf2.c
rename to gapcore/gap4r8p8/src/vecgf2.c
diff --git a/gapcore/gap4r8p7/src/vecgf2.h b/gapcore/gap4r8p8/src/vecgf2.h
similarity index 100%
rename from gapcore/gap4r8p7/src/vecgf2.h
rename to gapcore/gap4r8p8/src/vecgf2.h
diff --git a/gapcore/gap4r8p7/src/vector.c b/gapcore/gap4r8p8/src/vector.c
similarity index 100%
rename from gapcore/gap4r8p7/src/vector.c
rename to gapcore/gap4r8p8/src/vector.c
diff --git a/gapcore/gap4r8p7/src/vector.h b/gapcore/gap4r8p8/src/vector.h
similarity index 100%
rename from gapcore/gap4r8p7/src/vector.h
rename to gapcore/gap4r8p8/src/vector.h
diff --git a/gapcore/gap4r8p7/src/weakptr.c b/gapcore/gap4r8p8/src/weakptr.c
similarity index 100%
rename from gapcore/gap4r8p7/src/weakptr.c
rename to gapcore/gap4r8p8/src/weakptr.c
diff --git a/gapcore/gap4r8p7/src/weakptr.h b/gapcore/gap4r8p8/src/weakptr.h
similarity index 100%
rename from gapcore/gap4r8p7/src/weakptr.h
rename to gapcore/gap4r8p8/src/weakptr.h

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/libgap-sage.git