Adapt to coq/coq#15867 (stream in gramlib) (!9) · Merge requests · Gappa / coq · GitLab

Mentions légales du service

GitLab upgrade completed. Current version is 18.6.4
https://about.gitlab.com/releases/2025/11/20/gitlab-18-6-released/

The source project of this merge request has been removed.