Ubuntu
gnat-gps package

ubuntu/+source/gnat-gps:applied/debian/sid

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

Recent commits

86851fd... by Nicolas Boulenguez

19.2-3 (patches applied)

Imported using git-ubuntu import.

bff1156... by Nicolas Boulenguez

ugly workarounds gluing GPS with more recent libclang

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

2a3d426... by Nicolas Boulenguez

gnat-gps: Inaccuracies in documentation generated by GNATdoc

Gbp-Pq: gnatdoc.diff.

3e7f31a... by Nicolas Boulenguez

handle recent Gtk-3.0.gir.

Gbp-Pq: gtk3-incompatibility.diff.

6be30e4... by Nicolas Boulenguez

ugly workarounds until GPS uses clang 3.8

Gbp-Pq: clang-3.8.diff.

b049b88... by Nicolas Boulenguez

disable libadalang support.

Gbp-Pq: libadalang_disable.diff.

06994c1... by Nicolas Boulenguez

fix inconsistencies with clang generated headers

Gbp-Pq: clang-3.6.diff.

0238434... by Nicolas Boulenguez

make generation of clang bindings more portable

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

1932324... by Nicolas Boulenguez

fix incompatibilities with Python3

Gbp-Pq: python_2_to_3.diff.

5333911... by Nicolas Boulenguez

only set PYTHONHOME if in the environment

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