| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 0001-Revert-buildGraph.ml-replace-parmap-by-parany-see-ht.patch | [PATCH] Revert "buildGraph.ml: replace parmap by parany -- see https://github.com/rdicosmo/parmap/issues/46" This reverts commit d670df216c13556e42ce9959ac90f06eeb4240a9. |
Johannes Schauer Marin Rodrigues <josch@mister-muffin.de> | no | 2021-02-04 | ||
| parmap_workaround | On 32bit architectures, parmap will create a segmentation https://github.com/rdicosmo/parmap/issues/46 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=946980 |
Johannes 'josch' Schauer <josch@debian.org> | no | |||
| 0001-update-html-with-new-upstream-location.patch | [PATCH] update html with new upstream location | Johannes Schauer Marin Rodrigues <josch@mister-muffin.de> | no | 2021-02-05 |