Development

Development site

Development is coordinated via an INRIA gitlab project.

The mailing list for user and developer discussions is also the preferred way to send your bug reports. Postings to the list are possible without subscription, but to help deal with spam, first time posters are moderated, so please be patient if your message does not show up immediately. Later postings will not be held back.