Merge pull request #147505 from NixOS/backport-147422-to-release-21.11
[Backport release-21.11] ocaml: heed hardeningDisable flags set for individual versions, fixing many coq versions on darwin
authored by Domen Kožar and committed by GitHub 4 years ago 91c12917 6e98787d