spark (2011.0.deb-5) unstable; urgency=low

  * Build with --gc-sections again (closes: #643863).

 -- Євгеній Мещеряков <eugen@debian.org>  Wed, 12 Oct 2011 17:52:45 +0200

spark (2011.0.deb-4) unstable; urgency=low

  * Disable --gc-sections and others. It does not work with current binutils.

 -- Євгеній Мещеряков <eugen@debian.org>  Thu, 29 Sep 2011 23:26:22 +0200

spark (2011.0.deb-3) unstable; urgency=low

  * Add -fdata-sections and -ffunction-sections to Ada compiler flags
  * New patch:
    - ada-link-env-flags.diff - get additional linker flags from ADA_LINK
      environment variable
  * Add -Wl,--gc-sections to Ada linker flags (1832k installed size
    reduction)

 -- Євгеній Мещеряков <eugen@debian.org>  Mon, 19 Sep 2011 17:22:02 +0200

spark (2011.0.deb-2) unstable; urgency=low

  * Upload to unstable
  * Build-depend on gnat (without -4.6) again

 -- Євгеній Мещеряков <eugen@debian.org>  Sat, 30 Jul 2011 19:46:30 +0200

spark (2011.0.deb-1) experimental; urgency=low

  * New upstream release
  * Upload to experimental for now (till new version of swi-prolog migrates to
    testing)
  * Build-depend on gnat-4.6 while in experimental
  * Update debian/copyright
  * Updated patches:
    - debian-architecture-detect.diff
    - no-alt-ergo.diff
    - checker-redefine-flatten.diff
    - checker-remove-close_all_streams.diff
    - make-dependencies.diff 
    - victor-no-static-gmp.diff 
    - ada-use-evn-optflags.diff
    - simplifier-swi-save.diff
    - simplifier-remove-close_all_streams.diff
    - ada-use-evn-optflags.diff
    - makefile-gnatmake-par-envvar.diff
  * Simplified and renamed patches:
    - debian/patches/simplifier-list_to_set-instead-of-remove_dups.diff
      → simplifier-library-lists-instead-of-sets.diff
  * Removed patches:
    - simplifier-halt.diff
    - sparklarl-redundant-conversion.diff 
    - examiner-useless-assignment.diff 
    - examiner-redundant-conversion.diff 
    - checker-look-for-SPARK-in-line-2.diff
    - examiner-dont-optimize-sem.adb.diff 

 -- Євгеній Мещеряков <eugen@debian.org>  Fri, 22 Jul 2011 20:07:31 +0200

spark (2010.0.deb-6) unstable; urgency=medium

  * Fix mistakes in the manpages
  * Build-depend and depend on swi-prolog-nox (>= 5.10.4~), this fixes
    breakage with new prolog version. Hopefully it can be replaced with
    something better in the future
  * Urgency medium to allow spark to migrate to testing at the same time
    as swi-prolog

 -- Євгеній Мещеряков <eugen@debian.org>  Sun, 19 Jun 2011 18:28:06 +0200

spark (2010.0.deb-5) unstable; urgency=low

  * Add parallel build support (only for gnatmake invocations)

 -- Євгеній Мещеряков <eugen@debian.org>  Sat, 04 Jun 2011 01:47:58 +0200

spark (2010.0.deb-4) unstable; urgency=low

  * Refresh checker-remove-close_all_streams.diff

 -- Євгеній Мещеряков <eugen@debian.org>  Fri, 03 Jun 2011 23:20:11 +0200

spark (2010.0.deb-3) unstable; urgency=low

  * Complete port of checker to SWI prolog and enable it
  * Fix defect detection functions in simplifier and fix remaining
    defects

 -- Євгеній Мещеряков <eugen@debian.org>  Fri, 03 Jun 2011 12:58:37 +0200

spark (2010.0.deb-2) unstable; urgency=low

  * Add Vcs-* fields to debian/control
  * New patches:
    - sparklarl-redundant-conversion.diff: remove reduntant conversions to
      File_Type. This causes warnings with gnat-4.6
    - examiner-useless-assignment.diff: remove useless assignment of a
      variable to itself
    - examiner-redundant-conversion.diff: remove redundant conversion to
      Integer
  * Standards-Version 3.9.2 — no changes required

 -- Євгеній Мещеряков <eugen@debian.org>  Mon, 02 May 2011 10:27:57 +0200

spark (2010.0.deb-1) unstable; urgency=low

  * Initial release (Closes: #617551)

 -- Євгеній Мещеряков <eugen@debian.org>  Sun, 27 Mar 2011 22:14:12 +0200
