package info
(click to toggle)
Folder: patches
 |
.. (parent) | |||
 |
- | rw-r--r-- | 3,853 | 0001-Patch-Makefiles-so-that-stuff-is-installed-under-DES.patch |
|
- | rw-r--r-- | 819 | 0002-Avoid-dependending-on-a-missing-.txt-document.patch |
|
- | rw-r--r-- | 1,715 | 0003-Fix-compilation-with-OCaml-4.08.1.patch |
|
- | rw-r--r-- | 166 | series |