Commit fcb60018 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Use the version keyword to link the version number of cduce and cduce-types.

parent 9867c0d5
......@@ -33,7 +33,7 @@ depends: [
"dune" {build & >= "2.4"}
"menhir" {build & >= "20181026"}
"menhirLib" { >= "20181026" }
"cduce-types"
"cduce-types" {= version}
"odoc" {with-doc}
"sedlex" {>= "2.0"}
("ocurl" { >= "0.9.1" } |
......
......@@ -3,7 +3,7 @@ depends: [
"dune" {build & >= "2.4"}
"menhir" {build & >= "20181026"}
"menhirLib" { >= "20181026" }
"cduce-types"
"cduce-types" {= version}
"odoc" {with-doc}
"sedlex" {>= "2.0"}
("ocurl" { >= "0.9.1" } |
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment