https://github.com/gingerhot/coq-versions

:rooster: All available Coq versions.
https://github.com/gingerhot/coq-versions

coq coq-verisons

Last synced: 8 days ago
JSON representation

:rooster: All available Coq versions.

• Host: GitHub
• URL: https://github.com/gingerhot/coq-versions
• Owner: gingerhot
• License: mit
• Created: 2017-12-09T04:49:01.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2021-03-26T02:04:57.000Z (over 3 years ago)
• Last Synced: 2024-04-13T21:35:12.978Z (7 months ago)
• Topics: coq, coq-verisons
• Language: Ruby
• Homepage:
• Size: 9.77 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Coq Versions List

A script in Ruby to get [Coq](https://coq.inria.fr/) versions from GitHub releases API. Mainly used for the [asdf](https://github.com/asdf-vm/asdf) - [Coq plugin](https://github.com/gingerhot/asdf-coq).

Run:

```bash

ruby get_versions.rb

```

Available Coq versions'll be written into the file `versions.txt`.