Use official sext instead of copy

2018-02-06 14:30:17 +01:00
parent 6c9f5b565f
commit 3fccd1cd4f
6 changed files with 11 additions and 1108 deletions
@@ -1,6 +1,8 @@
 {"1.1.0",
-[{<<"rocksdb">>,{pkg,<<"rocksdb">>,<<"0.14.0">>},0}]}.
+[{<<"rocksdb">>,{pkg,<<"rocksdb">>,<<"0.14.0">>},0},
+ {<<"sext">>,{pkg,<<"sext">>,<<"1.4.1">>},0}]}.
 [
 {pkg_hash,[
- {<<"rocksdb">>, <<"C92B48703D4812C8BC571E0FBB7681F0899F35C4E4330F1CF646D79357A6AFE4">>}]}
+ {<<"rocksdb">>, <<"C92B48703D4812C8BC571E0FBB7681F0899F35C4E4330F1CF646D79357A6AFE4">>},
+ {<<"sext">>, <<"14559B219FAF11F9EBA7A350DFFC69C966C668439C54947A42D67167002798C4">>}]}
 ].