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 |