spark (2012.0.deb-9b1) staging; urgency=low

  * No-change rebuild against libgnat-4.9.

 -- Jon Severinsson <jon@severinsson.net>  Mon, 16 Jun 2014 07:56:58 +0200

spark (2012.0.deb-9) unstable; urgency=medium

  * Use hardening flags
  * Disable gnat style checks, they are changed in the new version and cause
    build errors
  * Update patches:
    - ada-link-env-flags.diff - fix linker flags for sparkclean 
    - victor-use-env-opt-flags.diff - fix CPPFLAGS and LDFLAGS for victor 

 -- Євгеній Мещеряков <eugen@debian.org>  Sat, 03 May 2014 03:03:08 +0200

spark (2012.0.deb-8) unstable; urgency=medium

  * Make the package compatible with both bison 2 and 3 and stop requiring
    bison 3.

 -- Євгеній Мещеряков <eugen@debian.org>  Mon, 16 Dec 2013 10:59:24 +0100

spark (2012.0.deb-7) unstable; urgency=medium

  * Fix required bison version (add 2:)

 -- Євгеній Мещеряков <eugen@debian.org>  Fri, 13 Dec 2013 00:31:48 +0100

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

  * New patch:
    - vct-bison-3-fix.diff - fix building with bison 3
  * Build-depend on bison >= 3
  * Standards-Version 3.9.5 — no changes needed

 -- Євгеній Мещеряков <eugen@debian.org>  Thu, 12 Dec 2013 22:00:22 +0100

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

  * Use swi_prolog dh seqence to declare dependencies on SWI Prolog VM.

 -- Євгеній Мещеряков <eugen@debian.org>  Sun, 12 May 2013 23:41:17 +0200

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

  * Upload to unstable

 -- Євгеній Мещеряков <eugen@debian.org>  Tue, 07 May 2013 22:00:47 +0200

spark (2012.0.deb-3) experimental; urgency=low

  * Rename prolog module settings to spark_prolog_settings to avoid conflict
    with newer versions of SWI prolog
  * Remove public declaration of predefined predicate subset/2 to avoid
    compilation problem with new SWI prolog

 -- Євгеній Мещеряков <eugen@debian.org>  Sun, 30 Sep 2012 21:46:13 +0200

spark (2012.0.deb-2) experimental; urgency=low

  * Override the architecture detection and handle all architectures as
    "Linux". This should fix an FTBFS on kfreebsd-*.

 -- Євгеній Мещеряков <eugen@debian.org>  Sun, 08 Jul 2012 23:55:54 +0200

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

  * New upstream release
  * Upload to experimental
  * Update patches:
    - debian-architecture-detect.diff
    - examiner-architecture-bits.diff 
    - checker-makefile.diff 
    - no-alt-ergo.diff 
    - victor-no-static-gmp.diff
    - simplifier-makefile.diff
    - victor-use-env-opt-flags.diff
    - ada-use-evn-optflags.diff
    - victor-gmpxx-as-needed.diff
    - makefile-gnatmake-par-envvar.diff
    - ada-link-env-flags.diff
  * Remove patches:
    - make-dependencies.diff - not needed anymore
    - makefile-gnatmake-par-envvar.diff - use SPARKCPUS variable instead 
  * Standards-Version 3.9.3 — no changes required
  * Update debian/copyright
  * Do not install /usr/lib/spark/current/spark_/

 -- Євгеній Мещеряков <eugen@debian.org>  Sat, 30 Jun 2012 23:21:48 +0200

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
