From 3d34e77c321599c3425c5b07c3c5de007757460e Mon Sep 17 00:00:00 2001 From: Julian Ospald Date: Sun, 8 Jan 2017 20:14:03 +0100 Subject: [PATCH] dev-lang/fstar: add missing pprint dep --- packages/dev-lang/fstar/fstar-scm.exheres-0 | 1 + 1 file changed, 1 insertion(+) diff --git a/packages/dev-lang/fstar/fstar-scm.exheres-0 b/packages/dev-lang/fstar/fstar-scm.exheres-0 index 990522d5..b99b8fb8 100644 --- a/packages/dev-lang/fstar/fstar-scm.exheres-0 +++ b/packages/dev-lang/fstar/fstar-scm.exheres-0 @@ -35,6 +35,7 @@ DEPENDENCIES=" dev-lang/ocaml[>=4.02.2] dev-ocaml/batteries dev-ocaml/findlib + dev-ocaml/pprint dev-ocaml/yojson dev-ocaml/zarith build+run: