-
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/
On or around 8:00am on Wednesday the 17th of July, git.uwaterloo.ca will be restarted to apply security and application patches. Note this is last release 16 patch before moving to release 17 next month (August), please review deprecations and breaking changes: https://gitlab-com.gitlab.io/cs-tools/gitlab-cs-tools/what-is-new-since/?tab=deprecations&minRemovalVersion=17.00&maxRemovalVersion=17.01
Coq Platform 2021.02.0 for Coq 8.13.1
Release 8.12.2.0