New package: rocksdb-5.17.2

closes #8204 Co-authored-by: maxice8 <thinkabit.ukim@gmail.com>
2019-02-14 21:09:19 +01:00
parent 3ad547b797
commit 15f14a884e
3 changed files with 36 additions and 0 deletions
--- a/common/shlibs
+++ b/common/shlibs
@@ -3409,3 +3409,4 @@ libOsiCommonTests.so.1 libClp-1.16.11_1
 libOsi.so.1 libClp-1.16.11_1
 libOGDF.so libogdf-2018.03_1
 libCOIN.so libogdf-2018.03_1
+librocksdb.so.5 rocksdb-5.17.2_1