[polyml] branch master updated (d767a73 -> 670474c)

[James Clarke]

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

jrtc27-guest pushed a change to branch master
in repository polyml.

      from  d767a73   Release 5.6-2
       new  f4043b6   mips-abi.diff: Merged upstream
       new  5bcd9f3   unix-const-vec-unsigned.diff: Merged upstream
       new  6651fee   Add support for Alpha
       new  6e25e95   Add support for Motorola 68000
       new  be57de6   Add support for 64-bit MIPS
       new  74f878b   Add support for X32
       new  b90cc5e   Add support for the Hurd by removing all use of MAXPATHLEN
       new  a363e8c   Mark stack as non-executable on non-Linux systems
       new  66cb98d   Make build reproducible
       new  934fd5c   Bump up Standards-Version to 3.9.7
       new  a2028ce   Update Vcs-*
       new  6345254   Cast NOFLSH to unsigned
       new  670474c   Release 5.6-3

The 13 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 debian/changelog                            |  20 ++
 debian/control                              |   6 +-
 debian/patches/alpha.diff                   |  49 ++++
 debian/patches/bss-ioarea.diff              | 281 +++++++++++++++++++
 debian/patches/m68k.diff                    |  44 +++
 debian/patches/maxpathlen.diff              | 420 ++++++++++++++++++++++++++++
 debian/patches/mips-abi.diff                |   1 +
 debian/patches/mips64.diff                  | 153 ++++++++++
 debian/patches/noexec-stack-gnu.diff        |  50 ++++
 debian/patches/noflsh-unsigned.diff         |  16 ++
 debian/patches/series                       |   9 +
 debian/patches/source-date-epoch.diff       | 252 +++++++++++++++++
 debian/patches/unix-const-vec-unsigned.diff |   1 +
 debian/patches/x32.diff                     |  81 ++++++
 14 files changed, 1380 insertions(+), 3 deletions(-)
 create mode 100644 debian/patches/alpha.diff
 create mode 100644 debian/patches/bss-ioarea.diff
 create mode 100644 debian/patches/m68k.diff
 create mode 100644 debian/patches/maxpathlen.diff
 create mode 100644 debian/patches/mips64.diff
 create mode 100644 debian/patches/noexec-stack-gnu.diff
 create mode 100644 debian/patches/noflsh-unsigned.diff
 create mode 100644 debian/patches/source-date-epoch.diff
 create mode 100644 debian/patches/x32.diff

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