I use Yet Another Call Blocker. It has a custom block list you can use to block a specific number.
The block list also supports wildcard characters, which is my favorite feature! I use it to block swaths of numbers (much of my spam comes from the state I used to live in, so I block those area codes).
The app has not been updated in long time, but the database is still updating daily for me, and the app still works on Android 14. Can't tell it will continue working in the future...
Looks like the F-droid version is way behind, because you can see on their GitLab page that the project is still maintained. It'd be best to get the app directly through GitLab I suppose, or add an F-droid repo that has a more up-to-date version.
Ugh, you're right! I didn't realize. I'm going to give SpamBlocker a try instead. I just downloaded and flipped through the options and it looks better than "Yet Another Call Blocker" anyway.