package info
(click to toggle)
Folder: patches
| .. (parent) | ||||
| - | rw-r--r-- | 1,377 | 0005-Fix-compilation-with-OCaml-4.08.0.patch | |
| - | rw-r--r-- | 1,852 | 0006-Fix-compilation-with-OCaml-5.2.0.patch | |
| - | rw-r--r-- | 432 | auto-gitignore | |
| - | rw-r--r-- | 1,986 | demos_makefile | |
| - | rw-r--r-- | 701 | install-byte | |
| - | rw-r--r-- | 706 | make_clean | |
| - | rw-r--r-- | 699 | make_install | |
| - | rw-r--r-- | 156 | series |
