| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| fix-version-dune-module.diff | Fixed module version in dune.module (2.9.0) | no | ||||
| removed-non-free-doc.patch | no | |||||
| Install-two-additional-headers.patch | [PATCH] Install two additional headers The headers globalvaluedlocalfiniteelement.hh and raviartthomasbasis.hh were not installed. This was apparently an oversight. |
Oliver Sander <oliver.sander@tu-dresden.de> | no | 2023-01-04 |