| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| strip-build-date.patch | Strip build date Strip build date from banner, for reproducibility reasons. | Alexis Bienvenüe <pado@passoire.fr> | no | |||
| 32-bit-fixes.patch | no | |||||
| search-datadir.patch | Have maude search in datadir for its files. | no | ||||
| getinput-size_t.patch | Types of the arguments for YY_INPUT has changed from int to yy_size_t (which is a typedef for size_t), which caused the following error: . <stdout>: In function 'int yy_get_next_buffer()': ./lexer.ll:56:72: error: invalid initialization of reference of type 'int&' from expression of type 'yy_size_t {aka unsigned int}' . This patch adjusts the types. This change requires bumping build-dependency on flex to >= 2.5.36. |
Jakub Wilk <jwilk@debian.org> | no | debian | 2014-05-20 |