Skip to content

Commit

Permalink
fix CI
Browse files Browse the repository at this point in the history
  • Loading branch information
@kyoDralliam
kyoDralliam committed Jan 26, 2024
1 parent 4ee3983 commit 5def365
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ all: $(COQMAKEFILE)

clean:
-$(MAKE) -f $(COQMAKEFILE) clean
rm -f $(COQMAKEFILE)
rm -f $(COQMAKEFILE)*

$(COQMAKEFILE): Makefile _CoqProject
$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq
Expand Down
2 changes: 1 addition & 1 deletion opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ build: [make "-j%{jobs}%"]
install: [make "install"]
depends: [
"ocaml"
"coq" { >= "8.17" | = "dev" }
"coq" { ( >= "8.17" & < "8.18~" ) | = "dev" }
]
synopsis: "Smpl: An Extensible Tactic for Coq"
description: """
Expand Down

0 comments on commit 5def365

Please sign in to comment.