Merge pull request #11 from aeternity/hs-bump-rocksdb

Bump RocksDB version
This commit is contained in:
Thomas Arts 2018-11-13 16:42:17 +01:00 committed by GitHub
commit ad8e7b63ca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 3 deletions

View File

@ -2,7 +2,7 @@
{deps,
[
{sext, "1.4.1"},
{rocksdb,"0.14.0"}
{rocksdb,"0.24.0"}
]}.
{profiles,

View File

@ -1,8 +1,8 @@
{"1.1.0",
[{<<"rocksdb">>,{pkg,<<"rocksdb">>,<<"0.14.0">>},0},
[{<<"rocksdb">>,{pkg,<<"rocksdb">>,<<"0.24.0">>},0},
{<<"sext">>,{pkg,<<"sext">>,<<"1.4.1">>},0}]}.
[
{pkg_hash,[
{<<"rocksdb">>, <<"C92B48703D4812C8BC571E0FBB7681F0899F35C4E4330F1CF646D79357A6AFE4">>},
{<<"rocksdb">>, <<"1FC862628B95A0D3AF05FAB709858AC1FA4199C0722BC4652236B0949304A04D">>},
{<<"sext">>, <<"14559B219FAF11F9EBA7A350DFFC69C966C668439C54947A42D67167002798C4">>}]}
].