Releases or tags
I just see that the Debian package still tries to follow gforge.inria.fr to look for new releases... I want to switch to this gitlab but, for now, there is no releases nor tags. Would it be possible to add them (at least the last one)?