Version detection doesn't handle betas
error caught in request handler '/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop:function:CoqLaunch [[]]':
Traceback (most recent call last):
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 59, in launch
if not self.currentVersion.is_allowed():
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/projectparser.py", line 15, in is_allowed
return (self.currentVersion[0] == '8') and (int(self.currentVersion[1]) >= 6)
ValueError: invalid literal for int() with base 10: '10+beta1'