Milestones - rocq-archive/coq-serapi

3 Open 36 Closed

0.19.3

Closed May 2, 2024 Last updated 10 months ago

100% complete

0 open

1 closed
0.19.2

Closed Mar 21, 2024 Last updated 12 months ago

100% complete

0 open

2 closed
0.17.3

Closed Mar 21, 2024 Last updated 12 months ago

100% complete

0 open

1 closed
0.19.1

Closed Feb 21, 2024 Last updated about 1 year ago

100% complete

0 open

5 closed
0.19.0

Closed Feb 5, 2024 Last updated about 1 year ago

100% complete

0 open

17 closed
0.18.2

Closed Feb 5, 2024 Last updated about 1 year ago

100% complete

0 open

1 closed
0.17.2

Closed Feb 5, 2024 Last updated about 1 year ago

100% complete

0 open

1 closed
0.18.1

Closed Sep 29, 2023 Last updated over 1 year ago

100% complete

0 open

1 closed
0.18.0

Closed Sep 14, 2023 Last updated over 1 year ago

100% complete

0 open

32 closed
0.17.1

Closed Sep 14, 2023 Last updated over 1 year ago

100% complete

0 open

4 closed
next-gen

Closed Jun 19, 2023 Last updated over 1 year ago

100% complete

0 open

2 closed
0.15.3

Closed Jun 19, 2023 Last updated over 1 year ago

100% complete

0 open

1 closed
0.17.0

Closed Apr 3, 2023 Last updated almost 2 years ago

Release for Coq 8.17 to official Opam repos.

100% complete

0 open

14 closed
0.16.3

Closed Mar 15, 2023 Last updated almost 2 years ago

100% complete

0 open

1 closed
0.16.0

Closed Sep 8, 2022 Last updated about 2 years ago

100% complete

0 open

9 closed
0.16.2

Closed Jan 11, 2023 Last updated about 2 years ago

100% complete

0 open

4 closed
0.16.1

Closed Oct 9, 2022 Last updated over 2 years ago

100% complete

0 open

4 closed
0.15.0

Closed Jun 15, 2022 Last updated over 2 years ago

100% complete

0 open

2 closed
0.14.0

Closed Jun 15, 2022 Last updated over 2 years ago

100% complete

0 open

1 closed
0.13.1

Closed Jun 15, 2022 Last updated over 2 years ago

100% complete

0 open

15 closed
0.13.2

Closed Jun 15, 2022 Last updated over 2 years ago

0% complete

0 open

0 closed
0.12.1

Closed Aug 25, 2021 Last updated over 3 years ago

First feature release for the Coq 8.12 branch.

100% complete

0 open

6 closed
0.13.0

Closed Aug 25, 2021 Last updated over 3 years ago

100% complete

0 open

1 closed
0.12.0

Closed Aug 27, 2020 Last updated over 4 years ago

Release for Coq 8.12

100% complete

0 open

1 closed
0.11.1

Closed Aug 26, 2020 Last updated over 4 years ago

100% complete

0 open

19 closed
0.11.2

Closed Aug 26, 2020 Last updated over 4 years ago

0% complete

0 open

0 closed
0.7.2

Closed Aug 26, 2020 Last updated over 4 years ago

0% complete

0 open

0 closed
0.7.1

Closed Jan 24, 2020 Last updated almost 5 years ago

100% complete

0 open

2 closed
0.11.0

Closed May 13, 2020 Last updated almost 5 years ago

Release for Coq 8.11

100% complete

0 open

1 closed
0.7.0

Closed Nov 15, 2019 Last updated over 5 years ago

Release for Coq 8.10

100% complete

0 open

44 closed
0.6.2

Closed Jun 6, 2019 Last updated almost 6 years ago

This milestone does contain improvements that could be added for the Coq 8.9.1 release.

100% complete

0 open

3 closed
0.6.1

Closed Apr 23, 2019 Last updated almost 6 years ago

Extra features for Coq 8.9

100% complete

0 open

25 closed
0.6.0

Closed Feb 4, 2019 Last updated about 6 years ago

Release for Coq 8.9

100% complete

0 open

38 closed
0.1

Closed Sep 20, 2018 Last updated over 6 years ago

100% complete

0 open

5 closed
0.2

Closed Sep 20, 2018 Last updated over 6 years ago

0% complete

0 open

0 closed
0.03

Closed Jun 21, 2016 Last updated over 8 years ago

100% complete

0 open

1 closed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

0.19.3

0.19.2

0.17.3

0.19.1

0.19.0

0.18.2

0.17.2

0.18.1

0.18.0

0.17.1

next-gen

0.15.3

0.17.0

0.16.3

0.16.0

0.16.2

0.16.1

0.15.0

0.14.0

0.13.1

0.13.2

0.12.1

0.13.0

0.12.0

0.11.1

0.11.2

0.7.2

0.7.1

0.11.0

0.7.0

0.6.2

0.6.1

0.6.0

0.1

0.2

0.03