coq-serapi Versions (28)

Version Release Date Links
8.20.0+0.20.0 10 Sep 2024 Documentation
8.19.0+0.19.3 03 May 2024 Documentation
8.19.0+0.19.2 22 Mar 2024 Documentation
8.19.0+0.19.1 26 Feb 2024 Documentation
8.19.0+0.19.0 06 Feb 2024 Documentation
8.18.0+0.18.3 22 Mar 2024 Documentation
8.18.0+0.18.2 06 Feb 2024 Documentation
8.18.0+0.18.1 15 Sep 2023 Documentation
8.17.0+0.17.3 22 Mar 2024 Documentation
8.17.0+0.17.2 06 Feb 2024 Documentation
8.17.0+0.17.1 15 Sep 2023 Documentation
8.17.0+0.17.0 03 Apr 2023 Documentation
8.16.0+0.16.3 20 Feb 2023 Documentation
8.16.0+0.16.2 12 Jan 2023 Documentation
8.16.0+0.16.1 10 Oct 2022 Documentation
8.16.0+0.16.0 09 Sep 2022 Documentation
8.15.0+0.15.4 17 May 2023 Documentation
8.15.0+0.15.3 16 Mar 2023 Documentation
8.15.0+0.15.2 28 Jun 2022 Documentation
8.15.0+0.15.1 23 Jun 2022 Documentation
8.15.0+0.15.0 16 Jan 2022 Documentation
8.14.0+0.14.0 18 Oct 2021 Documentation
8.13.0+0.13.1 15 Jun 2022 Documentation
8.13.0+0.13.0 13 Mar 2021 Documentation
8.12.0+0.12.1 13 Mar 2021 Documentation
8.12.0+0.12.0 28 Aug 2020 Documentation
8.11.0+0.11.1 27 Aug 2020 Documentation
8.11.0+0.11.0 18 Feb 2020 Documentation