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 they are moderated.