Package: make-dbg
Version: 4.1-r0
Description: GNU tool that controls the build process - Debugging files
 Make is a tool which controls the generation of executables and other
 non-source files of a program from the program's source files.  Make gets
 its knowledge of how to build your program from a file called the
 makefile, which lists each of the non-source files and how to compute it
 from other files.  This package contains ELF symbols and related sources
 for debugging purposes.
Section: devel
Priority: optional
Maintainer: Jeroen Hofstee <jhofstee@victronenergy.com>
License: GPLv3 & LGPLv2
Architecture: armv7a-vfp-neon
OE: make
Homepage: http://www.gnu.org/software/make/
Recommends: libc6-dbg, make (= 4.1-r0)
Source: ftp://ftp.gnu.org/gnu/make/make-4.1.tar.bz2
