Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coq-community/alea issues and pull requests
#18 - CI: add Coq 8.13 and 8.14
Pull Request -
State: closed - Opened by anton-trunov almost 3 years ago
#18 - CI: add Coq 8.13 and 8.14
Pull Request -
State: closed - Opened by anton-trunov almost 3 years ago
#17 - Fix deprecated-hint-without-locality warning
Issue -
State: open - Opened by anton-trunov almost 3 years ago
#17 - Fix deprecated-hint-without-locality warning
Issue -
State: open - Opened by anton-trunov almost 3 years ago
#16 - switch to GitHub Actions CI
Pull Request -
State: closed - Opened by palmskog almost 4 years ago
- 1 comment
#16 - switch to GitHub Actions CI
Pull Request -
State: closed - Opened by palmskog almost 4 years ago
- 1 comment
#15 - Coq 8.12 and switch from omega to lia
Pull Request -
State: closed - Opened by anton-trunov about 4 years ago
#14 - Regenerate files from latest templates.
Pull Request -
State: closed - Opened by Zimmi48 over 4 years ago
- 1 comment
#13 - Fix license
Pull Request -
State: closed - Opened by volodeyka over 4 years ago
#12 - Update meta.yml
Pull Request -
State: closed - Opened by volodeyka over 4 years ago
- 2 comments
#11 - Fix license type and add LICENSE file
Issue -
State: closed - Opened by anton-trunov over 4 years ago
- 3 comments
#10 - Cleanup description: it should not contain markdown
Pull Request -
State: closed - Opened by anton-trunov over 4 years ago
#9 - Replace omega with lia
Issue -
State: closed - Opened by palmskog over 4 years ago
- 1 comment
#7 - fix description and reformulate documentation a bit
Pull Request -
State: closed - Opened by palmskog over 4 years ago
- 1 comment
#6 - Add https://github.com/coq-contribs/random/ to README.md
Issue -
State: closed - Opened by anton-trunov over 4 years ago
- 1 comment
#5 - Tweaks
Pull Request -
State: closed - Opened by anton-trunov over 4 years ago
#4 - Refactor imports
Issue -
State: closed - Opened by anton-trunov over 4 years ago
- 1 comment
#3 - Incorporate more info from https://www.lri.fr/~paulin/ALEA/
Issue -
State: closed - Opened by anton-trunov over 4 years ago
- 1 comment
#2 - Other GitHub versions of ALEA
Issue -
State: open - Opened by palmskog almost 5 years ago
- 4 comments
#1 - added some files in .gitignore
Pull Request -
State: closed - Opened by volodeyka almost 5 years ago