Ubuntu
gnat-gps package

ubuntu/+source/gnat-gps:applied/ubuntu/disco-proposed

  1. Git
  2. lp:ubuntu/+source/gnat-gps
  3. applied/ubuntu/disco-proposed
Last commit made on 2018-12-12
Get this branch:
git clone -b applied/ubuntu/disco-proposed https://git.launchpad.net/ubuntu/+source/gnat-gps
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/disco-proposed
Repository:
lp:ubuntu/+source/gnat-gps

Recent commits

2a0a162... by Gianfranco Costamagna

18-5ubuntu1 (patches applied)

Imported using git-ubuntu import.

10e62b3... by Gianfranco Costamagna

ugly workarounds gluing GPS with more recent libclang

Gbp-Pq: clang-translation-unit.diff.

7755da4... by Gianfranco Costamagna

gnat-gps: Inaccuracies in documentation generated by GNATdoc

Gbp-Pq: gnatdoc.diff.

7ea82ee... by Gianfranco Costamagna

handle recent Gtk-3.0.gir.

Gbp-Pq: gtk3-incompatibility.diff.

44d5561... by Gianfranco Costamagna

ugly workarounds until GPS uses clang 3.8

Gbp-Pq: clang-3.8.diff.

102f033... by Gianfranco Costamagna

disable libadalang support.

Gbp-Pq: libadalang_disable.diff.

f3af974... by Gianfranco Costamagna

fix inconsistencies with clang generated headers

Gbp-Pq: clang-3.6.diff.

a4e74fc... by Gianfranco Costamagna

make generation of clang bindings more portable

Gbp-Pq: clang-flexible-binding-generation.diff.

7892d57... by Gianfranco Costamagna

fix incompatibilities with Python3

Gbp-Pq: python_2_to_3.diff.

61efe36... by Gianfranco Costamagna

only set PYTHONHOME if in the environment

Gbp-Pq: do-not-set-pythonhome.diff.