[jjmarr]

Unfortunately, they changed the name to Rocq.

[kleiba]

...as long as they also changed the defining function to `hard`, we're still good.