Ubuntu
gnat-gps package

ubuntu/+source/gnat-gps:applied/ubuntu/devel

  1. Git
  2. lp:ubuntu/+source/gnat-gps
  3. applied/ubuntu/devel
Last commit made on 2020-02-26
Get this branch:
git clone -b applied/ubuntu/devel 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/devel
Repository:
lp:ubuntu/+source/gnat-gps

Recent commits

ad58328... by Matthias Klose

19.2-3ubuntu2 (patches applied)

Imported using git-ubuntu import.

42440ba... by Matthias Klose

ugly workarounds gluing GPS with more recent libclang

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

145242e... by Matthias Klose

gnat-gps: Inaccuracies in documentation generated by GNATdoc

Gbp-Pq: gnatdoc.diff.

2da80c8... by Matthias Klose

handle recent Gtk-3.0.gir.

Gbp-Pq: gtk3-incompatibility.diff.

566189f... by Matthias Klose

ugly workarounds until GPS uses clang 3.8

Gbp-Pq: clang-3.8.diff.

a268683... by Matthias Klose

disable libadalang support.

Gbp-Pq: libadalang_disable.diff.

013269d... by Matthias Klose

fix inconsistencies with clang generated headers

Gbp-Pq: clang-3.6.diff.

57ed1c6... by Matthias Klose

make generation of clang bindings more portable

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

e2acc97... by Matthias Klose

fix incompatibilities with Python3

Gbp-Pq: python_2_to_3.diff.

c4a37cf... by Matthias Klose

only set PYTHONHOME if in the environment

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