balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Opam: fix the hacl package

Browse Source
This commit is contained in:
Grégoire Henry 2018-06-06 10:49:48 +02:00
parent 51ddb708d3
commit 6149909e83
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
vendors/ocaml-hacl/hacl.opam vendored
View File

@ -14,6 +14,8 @@ depends: [
"zarith" {>= "1.7"} "zarith" {>= "1.7"}
"alcotest" {test & >= "0.8.1"} "alcotest" {test & >= "0.8.1"}
"hex" {test & >= "1.2.0"} "hex" {test & >= "1.2.0"}
"base"
"stdio"
] ]
build: [ "jbuilder" "build" "-j" jobs "-p" name "@install" ] build: [ "jbuilder" "build" "-j" jobs "-p" name "@install" ]
build-test: [ "jbuilder" "runtest" "-p" name "-j" jobs ] build-test: [ "jbuilder" "runtest" "-p" name "-j" jobs ]