Fedora and OPAM2 support, and safe-string

avsm released this 20 Oct 10:41

· 866 commits to master since this release

2ce1685

Port to build using topkg and remove _oasis.
Support -safe-string mode.
Install xz into base Fedora and other RPM distros.
Expose a Linux.RPM.update to force a Yum update.
Install openssl as a dependency for OPAM2.

Assets 3