Skip to content

v0.10.0

Latest
Compare
Choose a tag to compare
@gaborigloi gaborigloi released this 31 Jul 12:30
· 22 commits to master since this release
  • Remove unused cpuid_check
  • Fix linking with -lxentoollog
  • Fix compilation on CentOS 7: add libuuid-devel as a depext to the opam file