Log In
rpms
/
ocamlify
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History oasis-setup.patch
Branch:
f30
f26
f27
f28
f29
f30
f31
f32
f33
f34
f35
f36
f37
f38
f39
f40
main
rawhide
f30
oasis-setup.patch
Update oasis-setup.patch with _oasis CompiledObject set to "best" (RHBZ#1593408).
Andy Li
• 5 years ago
cc6862c
Apply a patch that contains the new setup.ml generated by OASIS 0.4.11 (RHBZ#1583335).
Andy Li
• 6 years ago
aa1cb2d