coq-serapi Versions (43)

Version Release Date Links
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
8.10.0+0.7.2 21 Oct 2020 Documentation
8.10.0+0.7.1 03 Jun 2020 Documentation
8.10.0+0.7.0 16 Nov 2019 Documentation
8.9.0+0.6.1 24 Apr 2019 Documentation
8.9.0+0.6.0 28 Jan 2019 Documentation
8.8.0+0.5.6 26 Oct 2018 Documentation
8.8.0+0.5.5 23 Sep 2018 Documentation
8.8.0+0.5.4 20 Sep 2018 Documentation
8.8.0+0.5.3 18 Sep 2018 Documentation
8.8.0+0.5.2 11 Sep 2018 Documentation
8.8.0+0.5.1 24 Apr 2018 Documentation
8.7.2+0.4.13 26 Mar 2018 Documentation
8.7.1+0.4.12 24 Feb 2018 Documentation
8.7.1+0.4.8 08 Feb 2018 Documentation
8.7.1+0.4.2 15 Jan 2018 Documentation
8.7.1+0.4.1 11 Jan 2018 Documentation
8.7.1+0.4 22 Dec 2017 Documentation