Permalink
Browse files

fix why dependency on coq

  • Loading branch information...
1 parent 242e4a5 commit 23ab137028043cf158b0909cc3ffa8db12b21804 @avsm avsm committed Oct 16, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 packages/why.2.31/opam
View
@@ -10,7 +10,7 @@ build: [
depends: [
"lablgtk" {= "2.14.2-oasis8"}
"ocamlgraph" {= "1.8.2"}
- "coq" {= "8.3pl2"}
+ "coq" {= "8.3"}
"frama-c"
]
patches: ["opam.patch"]

0 comments on commit 23ab137

Please sign in to comment.