Merge ROMA into MINERVA

2019-02-08 13:38:37 +01:00
parent 0b4c2f14fe 267fef3a5b
commit 3ba89d9f55
4 changed files with 94 additions and 2 deletions
@@ -1,4 +1,10 @@
+{"1.1.0",
 [{<<"aebytecode">>,
  {git,"https://github.com/aeternity/aebytecode.git",
       {ref,"720510a24de32c9bad6486f34ca7babde124bf1e"}},
-  0}].
+  0},
+ {<<"getopt">>,{pkg,<<"getopt">>,<<"1.0.1">>},0}]}.
+[
+{pkg_hash,[
+ {<<"getopt">>, <<"C73A9FA687B217F2FF79F68A3B637711BB1936E712B521D8CE466B29CBF7808A">>}]}
+].