Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

2025.01 prep 4 #452

Merged
merged 3 commits into from
Dec 9, 2024
Merged

2025.01 prep 4 #452

Changes from 1 commit
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
292afcd
Pick 8.20~2025.01: update/enable coq-rewriter from 0.0.100 to 0.0.12 …
MSoegtropIMC Dec 6, 2024
ea30cf8
Pick 8.20~2025.01: updated coq-ext-lib from 0.12.2 to 0.13.0
MSoegtropIMC Dec 6, 2024
115eac7
Pick 8.20~2025.01: updated elpi to 2.0.5, coq-elpi to 2.3.0 and coq-h…
MSoegtropIMC Dec 9, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Pick 8.20~2025.01: updated coq-ext-lib from 0.12.2 to 0.13.0
  • Loading branch information
@MSoegtropIMC
MSoegtropIMC committed Dec 6, 2024
commit ea30cf85b747348ccb83cb00ce71bd058b16a571
2 changes: 1 addition & 1 deletion package_picks/package-pick-8.20~2025.01.sh
View file
Original file line number Diff line number Diff line change
@@ -73,7 +73,7 @@ then

# Standard library extensions
PACKAGES="${PACKAGES} coq-bignums.9.0.0+coq8.20"
PACKAGES="${PACKAGES} coq-ext-lib.0.12.2"
PACKAGES="${PACKAGES} coq-ext-lib.0.13.0"
PACKAGES="${PACKAGES} coq-stdpp.1.11.0"

# General mathematics
Loading