Skip to content

Commit

Permalink
fix opam
Browse files Browse the repository at this point in the history
  • Loading branch information
yasuo-ozu committed Mar 22, 2022
1 parent 934cc2a commit 5ecd618
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion satysfi.opam
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ depends: [
"batteries"
"camlimages" {>= "5.0.1"}
"camlpdf" {= "2.3.1+satysfi"}
"core_kernel" {>= "v0.13"}
"core_kernel" {>= "v0.13" & < "v0.15"}
"cppo" {build & >= "1.6.4" & < "1.7.0"}
"dune" {build}
"menhir"
Expand Down

0 comments on commit 5ecd618

Please sign in to comment.