They do have their own: https://hal.science/
It is actually quite common to come across HAL in subfields of mathematics in my experience.
HAL is decidedly second-tier. Given the option, everyone would pick arXiv over HAL. Hence, HAL hosts lots of stuff that didn't (even) make it to arXiv => lots of subpar dredge.
That’s great. People will use whichever one is better.