alice-gecode (1.3.1-2) unstable; urgency=low

  * Compiled against most recent Gecode version

 -- Guido Tack <tack@ps.uni-sb.de>  Wed, 13 Dec 2006 09:17:13 +0200

alice-gecode (1.3.1-1) unstable; urgency=low

  * New upstream release

 -- Guido Tack <tack@ps.uni-sb.de>  Tue, 17 Oct 2006 17:01:24 +0200

alice-gecode (1.3-1) unstable; urgency=low

  * New upstream release

 -- Guido Tack <tack@ps.uni-sb.de>  Thu, 27 Apr 2006 15:01:24 +0200

alice-gecode (1.2-1) unstable; urgency=low

  * New upstream release.

 -- Guido Tack <tack@ps.uni-sb.de>  Fri,  5 Aug 2005 13:26:30 +0100

alice-gecode (1.1-1) unstable; urgency=low

  * New upstream release.

 -- Guido Tack <tack@ps.uni-sb.de>  Wed, 16 Feb 2005 15:27:35 +0100

alice-gecode (1.0.0-1) unstable; urgency=low

  * First official release. 

 -- Guido Tack <tack@ps.uni-sb.de>  Wed, 16 Feb 2005 15:14:05 +0100
