Release 8.20.1

data/changelog/rocq/2025-01-20-coq-8.20.1.md

@@ -0,0 +1,30 @@
+---
+title: Release of Coq 8.20.1
+description: Release of Coq 8.20.1
+tags: [coq]
+changelog: |
+
+  ## Changes Since Coq 8.20.1
+
+  Bugfixes, see the [changelog](https://coq.inria.fr/doc/V8.20.1/refman/changes.html#changes-in-8-20-1) in the reference manual.
+
+---
+
+We have the pleasure of announcing the release of Coq 8.20.1.
+
+The full list of changes is available [here](/doc/V8.20.1/refman/changes.html) for more details.
+
+---
+
+## Installation Instructions
+
+The base compiler can be installed as an opam switch with the following commands:
+
+```bash
+opam update
+opam switch create 4.14.1
+opam install coq.8.20.1
+```
+The source code for the release is also directly available on:
+
+* [GitHub](https://github.com/coq/coq/archive/8.20.1.tar.gz)

data/releases/8.20.md → data/releases/8.20.0.md

@@ -2,10 +2,10 @@
 kind: coq
 version: 8.20.0
 date: 2024-09-04
-is_latest: true
+is_latest: false
 is_lts: true
 intro: |
-  This page describes Coq version **8.20**, released on
+  This page describes Coq version **8.20.0**, released on
   Sep 4, 2024. Go [here](/releases) for a list of all releases.
 
   This is a major release of Coq.
@@ -45,4 +45,4 @@ Source Distribution
 
 ## Changes 
 
-See the [changelog](https://coq.inria.fr/doc/v8.20/refman/changes.html#changes-in-8-20-0) in the reference manual.
+See the [changelog](https://coq.inria.fr/doc/V8.20.0/refman/changes.html#changes-in-8-20-0) in the reference manual.

data/releases/8.20.1.md

@@ -0,0 +1,45 @@
+---
+kind: coq
+version: 8.20.1
+date: 2025-01-16
+is_latest: true
+is_lts: true
+intro: |
+  This page describes Coq version **8.20.1**, released on
+  Jan 16, 2025. Go [here](/releases) for a list of all releases.
+
+  This is a minor release of Coq.
+highlights: |
+  - various bugfixes
+---
+
+## Installation Instructions
+
+The base proof assistant can be installed as an opam switch with the following commands:
+```bash
+opam update
+opam switch create 4.14.1
+opam install coq.8.20.1
+```
+
+Refer to the [general install instructions](/docs/installing-rocq) for more information.
+
+Source Distribution
+-------------------
+
+- [Source
+  tarball](https://github.com/coq/coq/archive/refs/tags/V8.20.1.tar.gz)
+  (`.tar.gz`) for compilation under Unix (including Linux and macOS X)
+  and Microsoft Windows (including Cygwin).
+- Also available in
+  [`.zip`](https://github.com/coq/coq/archive/refs/tags/V8.20.1.zip)
+  format.
+- [Opam](https://opam.ocaml.org/) is a source-based distribution of
+  OCaml, Rocq and many companion libraries and tools. Compilation and
+  installation are automated by powerful package managers.
+- The official development repo is hosted on
+  [GitHub](https://github.com/coq/coq).
+
+## Changes 
+
+See the [changelog](https://coq.inria.fr/doc/V8.20.1/refman/changes.html#changes-in-8-20-1) in the reference manual.