debian specific patch information for gnat-gps / 4.0.1-3

Summary

Package Version Package Type Source Package Format
4.0.1-3 Debian-diff 1.0

"Debian diff" Information

Diff file gnat-gps_4.0.1-3.diff.gz
Size100353
MD5sumfcab03b1965774f616dcfca33846f902
./debian only changes view download
non packaging (i.e. not ./debian) changes view download

Misc. Non-packaging "direct" style patches

file inserted deleted modified view download
default.gpr2000 view download
gnat-gps.valgrind.log1569700 view download
gnat-gps.valgrind.log.021623000 view download
gps.gpr11600 view download
patches/command-names.patch4400 view download
patches/documentation-path.patch10300 view download
patches/dynamically-tagged-expressions.patch11100 view download
patches/elaboration.patch16900 view download
patches/gcc-4.1.patch26800 view download
patches/gtkada-2.8.1.patch2100 view download
patches/memory-corruption.patch4200 view download
patches/no-tcl.patch2600 view download
patches/python-customisation.patch3900 view download
patches/series1000 view download
patches/texinfo.patch4800 view download