News for package creduce

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.3.0-1
Maintainer: Debian GCC Maintainers <[email protected]>
Uploaders: Matthias Klose <[email protected]>
Homepage: http://embed.cs.utah.edu/creduce/
Standards-Version: 3.9.6
Build-Depends: debhelper (>= 8.0.0), autotools-dev, flex, libedit-dev, zlib1g-dev, llvm-3.6-dev (>= 1:3.6.2-1), libclang-3.6-dev (>= 1:3.6.2-1), clang-3.6, clang-format-3.6, libbenchmark-timer-perl, libsys-cpu-perl, libfile-which-perl, libregexp-common-perl, libexporter-lite-perl, libgetopt-tabular-perl, indent, astyle, delta, frama-c-base
Build-Conflicts: kcc
Package-List:
 creduce deb devel extra arch=any
Checksums-Sha1:
 62fe6db2b77c9d7f084efb3695743ef4fd756de7 666128 creduce_2.3.0.orig.tar.gz
 e8b9ee00476882c0ccb32803759ce368fc5a5631 4612 creduce_2.3.0-1.debian.tar.xz
Checksums-Sha256:
 20de354e183e95c9862895aaa3bc1c69d53a8382954c34f3ccda32e9a2dd3465 666128 creduce_2.3.0.orig.tar.gz
 c4ec4d5c67819b71261fa588c4acfcc78f17927312a0c0f44c31d7bf37d49ef4 4612 creduce_2.3.0-1.debian.tar.xz
Files:
 1ae73f499cc11287537f2ea72d8f9b7d 666128 creduce_2.3.0.orig.tar.gz
 ba89c68fd54e23584019c6058a1a3114 4612 creduce_2.3.0-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJV0vVtAAoJEL1+qmB3j6b1RvgP/jgXCvVSBSw2J1QLdirYh+TL
wBrXagKhOYHZ3cKMErVR5XSNSRGHiEnPCgrw8mAU2IALWMm/Q1iEyfNDr/YLYYgK
+Hw1zS6dtj5/St9Ait70FRaxI1uvUqrjjr5/6ut5btIRYMy96bdvGdviP52aOlS2
HW/CaF3sTMp8TJ4Xmf/LxpjkQ57D6Fqk1fHb1edCi3nYlvrfkwJk+8YHw8GH+9n9
Omfa7+ngzMpplP/JfSV5JtRRRrpTidTXrt27IBcrPM6o3P3nzjJaTXcDmOX8HhcD
t2Bgdh7OTYF6HHekHmljSVbctUMw+BHkUDIN+xKxLReshfrRcgx4VkLuty/IdvND
M4jez8soiaZYLf2tCc1NTndLS9ky2mmzgdwQ1pTlegAyBXHNOTt2lO5U+AcL5sTW
Ke1DmRlg/Tvoowx4Zd2LmS0CvRftBgwdEr0lH5UKmS9Zn/xxXlABEMakEwAK0gEG
8wDR75acjBxsP6absLj42v7CEvLgq4GOTCRYKXERD5IvOmVpZK6JWel+f/g8QvHI
o37QS2dBvbczI1BvmlEWRg7RXWvSUC4hVOejAnHhI7Ptkr1dvlre7U9XamyeZfcT
Huogcu+jy9lPIE7FsrVlUp0eBmqoEQkoAZ+iV8i3w9H7RUce4+HIwkZcXkkfqMHV
iVXI9lg+D0BoR7QnjOv6
=5adY
-----END PGP SIGNATURE-----

Changes:
creduce (2.3.0-1) unstable; urgency=medium

  * C-Reduce 2.3.0 release.
  * Build using llvm-3.6.

 -- Matthias Klose <[email protected]>  Tue, 18 Aug 2015 10:39:43 +0200