Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
0001-Ignore-in-font-maps.patch | Ignore "'''" in font maps This token may appear and makes mlpost choke, but seems irrelevant. |
Stephane Glondu <steph@glondu.net> | no | 2021-12-03 | ||
0002-Upgrade-to-ppxlib.patch | Upgrade to ppxlib | =?utf-8?q?Cl=C3=A9ment_Pascutto?= <clement@pascutto.fr> | no | debian | upstream, https://github.com/backtracking/mlpost/commit/66fd02f89de9cb72dbc0241ad0b748761c35c7be | 2021-04-07 |