diff options
Diffstat (limited to 'ports/leveldb/CONTROL')
| -rw-r--r-- | ports/leveldb/CONTROL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/leveldb/CONTROL b/ports/leveldb/CONTROL index 515d7dfea..5f95fda4b 100644 --- a/ports/leveldb/CONTROL +++ b/ports/leveldb/CONTROL @@ -1,3 +1,3 @@ Source: leveldb
-Version: 2017-10-25-8b1cd3753b184341e837b30383832645135d3d73-2
+Version: 2017-10-25-8b1cd3753b184341e837b30383832645135d3d73-3
Description: LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
|