-
2021.02.1 Release: Coq version 2021.02.1
-
2021.02.0
Coq Platform 2021.02.0 for Coq 8.13.1
-
v8.12.2.0
Release 8.12.2.0
-
-
-
-
-
-
Automation access tokens are expiring. If you do not use automation that relies on a personal, group or project access token, this message can be safely ignored.
For more information, see https://about.gitlab.com/blog/2023/10/25/access-token-lifetime-limits/
Coq Platform 2021.02.0 for Coq 8.13.1
Release 8.12.2.0