GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.

Commit 863d22d3 authored 4 years ago by Thierry Martinez

Add opam file

Branches

No related tags found

No related merge requests found

Pipeline #216713 failed 4 years ago

Status	Pipeline	Created by	Stages	Actions
Failed 00:00:02 4 years ago	Add opam file #216713 master 863d22d3		Stage: snapshot	Download artifacts No artifacts found

Admin message