Skip to content

Commit

Permalink
[build] [js] Fix Coq branch used in JS patch
Browse files Browse the repository at this point in the history
  • Loading branch information
@ejgallego
ejgallego committed Feb 27, 2025
1 parent 52a6ca6 commit 5acf71a
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -160,9 +160,9 @@ opam-update-and-reinstall:
# VENDORED_SETUP:=true

# Used in git clone
COQ_BRANCH=v8.20
COQ_BRANCH=v8.19
# Used in opam pin
COQ_CORE_VERSION=8.20.1
COQ_CORE_VERSION=8.19.2
# Name of COQ_CORE_NAME is rocq-runtime after 8.20
COQ_CORE_NAME=coq-core

Expand Down

0 comments on commit 5acf71a

Please sign in to comment.