hasufell/hasufell-repository
1
3
Fork 8
Code Issues 1 Pull Requests Releases Wiki Activity

dev-lang/fstar: add missing pprint dep

Browse Source
This commit is contained in:
Julian Ospald 2017-01-08 20:14:03 +01:00
parent e6c2a926f5
commit 3d34e77c32
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
packages/dev-lang/fstar/fstar-scm.exheres-0
View File

@ -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: