Tags · coq / coq

Tags give the ability to mark specific points in history as being important

This project is mirrored from https://github.com/coq/coq. Pull mirroring updated May 30, 2023.

V8.17.0 protected

99f5ecc2 · Merge PR #17414: Set version number to 8.17.0. · Mar 23, 2023
```
Coq 8.17.0
```
Download source code

zip tar.gz tar.bz2 tar
V8.17+rc1 protected

ed34dc20 · Update version number for 8.17+rc1. · Dec 29, 2022
```
First release candidate for Coq 8.17.0.
```
Download source code

zip tar.gz tar.bz2 tar
V8.16.1 protected

b35c06c3 · Bump version numbers. · Nov 24, 2022
```
Release 8.16.1.
```
Download source code

zip tar.gz tar.bz2 tar
V8.18+alpha protected

41665b93 · Bump version number to 8.18 and add compat infrastructure. · Nov 18, 2022
```
First commit in master and not in v8.17.
```
Download source code

zip tar.gz tar.bz2 tar
V8.16.0 protected

146ae2f3 · Commit for 8.16.0. · Sep 05, 2022
```
Release 8.16.0.
```
Download source code

zip tar.gz tar.bz2 tar
V8.16+rc1 protected

36b68cd6 · Commit for 8.16+rc1. · Jun 01, 2022
```
tag V8.16+rc1
```
Download source code

zip tar.gz tar.bz2 tar
V8.15.2 protected

70765ee1 · 8.15.2 release commit · May 31, 2022
```
The Coq proof assistant, version 8.15.2
```
Download source code

zip tar.gz tar.bz2 tar
V8.17+alpha protected

1f625412 · dune-dbg: understand coqdep · May 11, 2022
```
V8.17+alpha
```
Download source code

zip tar.gz tar.bz2 tar
V8.15.1 protected

50a980d7 · Update version number for 8.15.1 · Mar 22, 2022
```
The Coq proof assistant, version 8.15.1
```
Download source code

zip tar.gz tar.bz2 tar
V8.15.0 protected

a59c356a · Release 8.15.0 · Jan 13, 2022
```
The Coq proof assistant, version 8.15.0
```
Download source code

zip tar.gz tar.bz2 tar
V8.15+rc1 protected

678a6bc8 · Commit for 8.15+rc1 · Dec 07, 2021
```
8.15 release candidate 1
```
Download source code

zip tar.gz tar.bz2 tar
V8.14.1 protected

2e100906 · Upgrade version number to 8.14.1. · Nov 19, 2021
```
The Coq proof assistant, version 8.14.1
```
Download source code

zip tar.gz tar.bz2 tar
V8.16+alpha protected

eadfa31e · Prepare for 8.16 · Nov 16, 2021
```
first commit after v8.15 branch
```
Download source code

zip tar.gz tar.bz2 tar
V8.14.0 protected

33df5f8d · Upgrade version number to 8.14.0. · Oct 14, 2021
```
The Coq proof assistant, version 8.14.0
```
Download source code

zip tar.gz tar.bz2 tar
V8.14+rc1 protected

a0540205 · Bump version to 8.14+rc1. · Sep 17, 2021
```
The Coq Proof Assistant, first release candidate of version 8.14.
```
Download source code

zip tar.gz tar.bz2 tar
V8.15+alpha protected

cdef6de0 · Prepare for 8.15. · Jun 07, 2021
```
first commit after v8.14 branch
```
Download source code

zip tar.gz tar.bz2 tar
V8.13.2 protected

34da65af · update version to 8.13.2 · Apr 01, 2021
```
The Coq proof assistant, version 8.13.2
```
Download source code

zip tar.gz tar.bz2 tar
V8.13.1 protected

7f08a618 · Backport PR #13878: [RM] Changelog for 8.13.1 · Feb 22, 2021
```
The Coq proof assistant, version 8.13.1
```
Download source code

zip tar.gz tar.bz2 tar
V8.13.0 protected

5f99fa0c · Merge PR #13720: [RM] set version to 8.13.0 and bump magic numbers · Jan 07, 2021
```
The Coq proof assistant, version 8.13.0.
```
Download source code

zip tar.gz tar.bz2 tar
V8.12.2 protected

e64a5adb · Merge PR #13607: [v8.12] 8.12.2 release · Dec 11, 2020
```
The 8.12.2 release of the Coq proof assistant.
```
Download source code

zip tar.gz tar.bz2 tar

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code