Comments (6)
Sorry, I can't quite follow you. As far as I can see the main ReadMe has a list of supported Coq versions - which is something else than a Coq Platform release. The latest release of Coq Platform supports all these versions of Coq.
The platform specific ReadMe files have a link to https://github.com/coq/platform/releases as you suggest.
Where do you see a link to an old release in one of the readme files?
from platform.
This file:
https://github.com/coq/platform/blob/main/README.md
lists 8 different specific Platform releases, none of which is the newest one.
Instead of listing specific releases in that README.md, I suggest pointing to the general "releases" page that's automatically up to date.
from platform.
No, this is a list of the Coq versions and package picks supported by the latest version of Coq Platform.
This list is accurate and up to date (e.g. it names Coq 8.16.1, not 8.16.0). The package pick did not change (short of bug fixes like 8.16.0 -> 8.16.1 and compatible changes) since September.
For the top two entries in the list the release provides installers. All other versions can be installed with the scripts.
The point of this is to ensure that one can still build old versions of Coq, e.g for artefact reproduction and for porting. This is not trivial, e.g. there were issues in the OCaml originally used for 8.13 and earlier which make the original 8.13 builds impossible to run on recent Linux. By supporting old Coq versions in latest Coq Platform versions we can test that all this actually works in CI. Specific requests for bug fix back ports in OCaml came from this CI.
from platform.
P.S.: since it is obviously unclear what this list is, we should improve the documentation here. Do you have suggestions?
from platform.
The main web page for Coq Platform, which is basically the README.md under discussion, should say as prominently and early as possible,
To install the latest Coq Platform release, look here.
from platform.
OK, makes sense. We have this via an indirection to the platform specific pages, but for people who know this already it is indeed not ideal. I will change it as you suggest.
from platform.
Related Issues (20)
- "Argument list too long" error when installing coq-unimath HOT 8
- Add path length check on root path on Windows (for serapi). HOT 1
- CI: update Github actions HOT 2
- snap-installed Coq Platform does not work in emacs/ProofGeneral HOT 3
- coq-platform snap: missing icons in coqide HOT 2
- changed code signature in macOS release 8.17.1~2023.08? HOT 2
- coq_makefile broken
- Tracker issue for 8.18 pick creation
- Scripts: opam update is done to late - it must be done before switch creation
- Add coq-tools / coq-bug-minimizer to the platform? HOT 2
- Add coinduction to the Coq Platform
- Add the libraries for undecidability and first-order logic to the Platform HOT 4
- Coq Platform & OCaml 5 HOT 1
- CI: auto cancel workflow runs on new push to PR branch
- Snap release 8.18 / 2023.11.0 HOT 1
- Missing Windows 32bit binaries in 2023.11.0 release HOT 3
- 2023.11.0 on Mac M2: coq-unicoq, coq-relation-algebra fail with seg fault HOT 14
- README incorrectly says there's no binary release for Apple Silicon HOT 1
- Tracker issue for 8.19 package tag creation
- Please avoid Dune 3.13-3.15 HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from platform.