Skip to content
Permalink

Comparing changes

This is a direct comparison between two commits made in this repository or its related repositories. View the default comparison for this range or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: coq/platform
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 1d85f0be1bc0b28843b4dfc34c3f700200ac206d
Choose a base ref
..
head repository: coq/platform
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 3f21e1f679d4d891152c954d73c6d80b98529f0b
Choose a head ref
Showing with 3 additions and 1 deletion.
  1. +3 −1 package_picks/package-pick-8.19~2023.11-coq-lsp.sh
4 changes: 3 additions & 1 deletion package_picks/package-pick-8.19~2023.11-coq-lsp.sh
Original file line number Diff line number Diff line change
@@ -116,7 +116,9 @@ then

PACKAGES="${PACKAGES} elpi.1.18.1 coq-elpi.2.0.1"
PACKAGES="${PACKAGES} coq-hierarchy-builder.1.7.0"
PACKAGES="${PACKAGES} coq-quickchick.2.0.2"

# BROKEN in CI
# PACKAGES="${PACKAGES} coq-quickchick.2.0.2"

PACKAGES="${PACKAGES} coq-paramcoq.1.1.3+coq8.19"
PACKAGES="${PACKAGES} coq-coqeal.2.0.1"