Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
Makefile_config.patch | Configure the makefile for Debian packaging. | Dylan Aïssi | not-needed | 2018-11-28 | ||
non_x86_malloc | allow compilation on non-x86 | Michael R. Crusoe <crusoe@debian.org> | no |