Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.9~20190428-1
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders: Matthias Klose <doko@debian.org>
Homepage: http://embed.cs.utah.edu/creduce/
Standards-Version: 4.3.0
Build-Depends: debhelper (>= 9), dh-autoreconf, flex, libedit-dev, zlib1g-dev, llvm-8-dev, libclang-8-dev, clang-8, clang-format-8, libbenchmark-timer-perl, libfile-which-perl, libregexp-common-perl, libexporter-lite-perl, libgetopt-tabular-perl, libterm-readkey-perl, frama-c-base
Build-Conflicts: kcc
Package-List:
 creduce deb devel optional arch=any
