Debian
gnumach package

Branches for Jessie

Name		Status	Last Modified	Last Commit
lp:debian/jessie/gnumach		1 Development	2014-09-06 10:37:40 UTC 2014-09-06	34. * rules: Rebuild info documentation o... Author: Samuel Thibault Revision Date: 2014-09-06 10:37:40 UTC * rules: Rebuild info documentation once (in the source tree) before building all variants in parallel. Closes: Bug#756909. * patches/git-vm-tune.patch: New patch that tunes VM parameters. * patches/git-vm_map.patch: New patch to fix vm_map with anywhere=true.