avoid_quickcheck.patch
avoid_seahash.patch
relax-dep.patch
