[elpa] externals/gpr-mode updated (8cd9712506 -> 1932e3a42c)

[Stephen Leake]

stephen_leake pushed a change to branch externals/gpr-mode.

      from  8cd9712506 new package gpr-mode
      adds  1932e3a42c Add files to gpr-mode

No new revisions were added by this update.

Summary of changes:
 Alire.make                 |    9 +
 ELPA.make                  |   51 +
 NEWS                       |   13 +
 README                     |   25 +
 build.sh                   |   41 +
 doclicense.texi            |  507 +++
 emacs_gpr_mode.gpr         |   33 +
 gpr-indent-user-options.el |   48 +
 gpr-mode.el                |  432 +++
 gpr-mode.texi              |  256 ++
 gpr-process.el             |  148 +
 gpr-skel.el                |  137 +
 gpr.wy                     |  379 +++
 gpr_mode_wisi_parse.ads    |   31 +
 gpr_mode_wisi_parse.gpr    |   91 +
 gpr_process_actions.adb    |  418 +++
 gpr_process_actions.ads    |  304 ++
 gpr_process_main.adb       | 2640 +++++++++++++++
 gpr_process_main.ads       |   32 +
 gpr_re2c.c                 | 7693 ++++++++++++++++++++++++++++++++++++++++++++
 gpr_re2c_c.ads             |   74 +
 install.sh                 |   35 +
 prj-eglot.el               |   40 +
 run_gpr_parse.ads          |   29 +
 run_gpr_parse.exe          |  Bin 0 -> 11834278 bytes
 wisi-gpr.adb               |   84 +
 wisi-gpr.ads               |   56 +
 27 files changed, 13606 insertions(+)
 create mode 100644 Alire.make
 create mode 100644 ELPA.make
 create mode 100644 NEWS
 create mode 100644 README
 create mode 100644 build.sh
 create mode 100644 doclicense.texi
 create mode 100644 emacs_gpr_mode.gpr
 create mode 100644 gpr-indent-user-options.el
 create mode 100644 gpr-mode.el
 create mode 100644 gpr-mode.texi
 create mode 100644 gpr-process.el
 create mode 100644 gpr-skel.el
 create mode 100644 gpr.wy
 create mode 100644 gpr_mode_wisi_parse.ads
 create mode 100644 gpr_mode_wisi_parse.gpr
 create mode 100644 gpr_process_actions.adb
 create mode 100644 gpr_process_actions.ads
 create mode 100644 gpr_process_main.adb
 create mode 100644 gpr_process_main.ads
 create mode 100644 gpr_re2c.c
 create mode 100644 gpr_re2c_c.ads
 create mode 100644 install.sh
 create mode 100644 prj-eglot.el
 create mode 100644 run_gpr_parse.ads
 create mode 100644 run_gpr_parse.exe
 create mode 100644 wisi-gpr.adb
 create mode 100644 wisi-gpr.ads