gnat-gps 4.0.1-3 source package in Ubuntu
Changelog
gnat-gps (4.0.1-3) unstable; urgency=low * debian/gps.gpr: revert to -g -O2 -gnatafno -gnatVa and static elaboration checks. * patches/series (dynamically-tagged-expressions.patch): disable. * patches/documentation-path.patch: fix a bug whereby we would look for shell_commands.xml in the wrong directory. This in turn fixes the Help menu. * patches/memory-corruption.patch: new. Addresses: #400876, #400883, but does not close them yet because I think the underlying memory corruption bug is still lurking somewhere. gnat-gps (4.0.1-2) unstable; urgency=medium * debian/rules: install all the XML files that describe parts of the GUI. Closes: #393636, insofar as I no longer see the crashes I described there. gnat-gps (4.0.1-1) unstable; urgency=low * New upstream version. * patches/gtkada-2.8.1.patch: new. gnat-gps (4.0.0-1) unstable; urgency=low * New upstream version. * patches/gcc-4.1.patch: new. * patches/elaboration.patch: adjust for 4.0.0. * debian/rules (config.ads): replace the build date with "Debian". (binary-arch): adjust for images removed in this new version. gnat-gps (3.1.3-5) unstable; urgency=low * patches/elaboration.patch: new, a step in resolving #393636. gnat-gps (3.1.3-4) unstable; urgency=low * debian/control (Build-Depends): add debhelper and quilt. gnat-gps (3.1.3-3) unstable; urgency=low * debian/control (Build-Depends-Indep): new; move some build dependencies there from Build-Depends. Add tetex-extra (Closes: #392375). (Build-Depends): remove libxmlada2-dev. * patches/texinfo.patch: fix the info-dir-section of the tutorial (Closes: #391972). Also, change the name of the info file to gps_tutorial.info, to prevent conflicts with other packages. -- Matthias Klose <email address hidden> Mon, 11 Dec 2006 10:34:52 +0000
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Feisty
- Original maintainer:
- Ludovic Brenta
- Architectures:
- any
- Section:
- devel
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gnat-gps_4.0.1.orig.tar.gz | 7.3 MiB | dba0a099df0c8a743e394aa5b110276d1603ff65d7c9aa3bca892ee56426c4bb |
gnat-gps_4.0.1-3.diff.gz | 98.0 KiB | cae232d028c398d893f263df4b6f91bbd605f3969409adcaebcc5baa40f07c6a |
gnat-gps_4.0.1-3.dsc | 828 bytes | 3997a1ce00fff7db20795e63dcabfa2eb2b6c2480b42df2f66c889fbb54d3c52 |
Binary packages built by this source
- gnat-gps: No summary available for gnat-gps in ubuntu feisty.
No description available for gnat-gps in ubuntu feisty.
- gnat-gps-doc: No summary available for gnat-gps-doc in ubuntu hardy.
No description available for gnat-gps-doc in ubuntu hardy.