diff options
Diffstat (limited to 'debian/control')
| -rw-r--r-- | debian/control | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/debian/control b/debian/control index fe51feb..fe3ae35 100644 --- a/debian/control +++ b/debian/control @@ -2,7 +2,7 @@ Source: gnumach Section: base Priority: optional Maintainer: GNU Hurd Maintainers <bug-hurd@gnu.org> -Standards-Version: 2.5.0.0 +Standards-Version: 3.5.6.0 Build-Depends: mig, sharutils Package: gnumach @@ -12,6 +12,18 @@ Architecture: hurd-i386 Description: The GNU version of the Mach microkernel This is the Utah Mach microkernel used by the Hurd. +Package: gnumach-dbg +Section: devel +Priority: extra +Provides: gnumach +Architecture: hurd-i386 +Description: The GNU version of the Mach microkernel for debugging + This is the Utah Mach microkernel used by the Hurd. + . + The version in this package is identical to the version found in the + gnumach package, except that it is not stripped and has the + kernel-level debugger compiled in. + Package: gnumach-dev Section: devel Priority: optional |