Skip to content

Commit

Permalink
updated restrictions
Browse files Browse the repository at this point in the history
  • Loading branch information
Gregory Tsipenyuk committed Mar 4, 2015
1 parent e83cc78 commit 2c586dc
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions opam
Original file line number Diff line number Diff line change
Expand Up @@ -19,8 +19,8 @@ depends: [
"lwt"
"mirage"
"cohttp" {>= "0.15.1"}
"git" {= "1.4.10"}
"irmin" {= "0.9.3"}
"git" {>= "1.4.10"}
"irmin" {>= "0.9.3"}
"re"
"tls" {>= "0.3.0"}
"menhir"
Expand Down

0 comments on commit 2c586dc

Please sign in to comment.