-
Notifications
You must be signed in to change notification settings - Fork 33
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
14 changed files
with
38 additions
and
532 deletions.
There are no files selected for viewing
12 changes: 0 additions & 12 deletions
12
...ase_bigstring-windows/base_bigstring-windows.v0.14.0/files/patches/no-endian-header.patch
This file was deleted.
Oops, something went wrong.
29 changes: 0 additions & 29 deletions
29
packages/base_bigstring-windows/base_bigstring-windows.v0.14.0/opam
This file was deleted.
Oops, something went wrong.
12 changes: 0 additions & 12 deletions
12
...ages/core_kernel-windows/core_kernel-windows.v0.11.1/files/patches/no-endian-header.patch
This file was deleted.
Oops, something went wrong.
15 changes: 0 additions & 15 deletions
15
packages/core_kernel-windows/core_kernel-windows.v0.11.1/files/patches/sixtyfour-fix.patch
This file was deleted.
Oops, something went wrong.
53 changes: 0 additions & 53 deletions
53
packages/core_kernel-windows/core_kernel-windows.v0.11.1/opam
This file was deleted.
Oops, something went wrong.
12 changes: 0 additions & 12 deletions
12
...ages/core_kernel-windows/core_kernel-windows.v0.14.2/files/patches/no-endian-header.patch
This file was deleted.
Oops, something went wrong.
52 changes: 0 additions & 52 deletions
52
packages/core_kernel-windows/core_kernel-windows.v0.14.2/opam
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
129 changes: 0 additions & 129 deletions
129
packages/num-windows/num-windows.1.1/files/findlib-install.patch
This file was deleted.
Oops, something went wrong.
28 changes: 0 additions & 28 deletions
28
packages/num-windows/num-windows.1.1/files/use-ocamlfind.patch
This file was deleted.
Oops, something went wrong.
Oops, something went wrong.