aboutsummaryrefslogtreecommitdiff
path: root/ports/leveldb/CONTROL
diff options
context:
space:
mode:
Diffstat (limited to 'ports/leveldb/CONTROL')
-rw-r--r--ports/leveldb/CONTROL2
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/leveldb/CONTROL b/ports/leveldb/CONTROL
index b953e540c..5953bc35d 100644
--- a/ports/leveldb/CONTROL
+++ b/ports/leveldb/CONTROL
@@ -1,3 +1,3 @@
Source: leveldb
-Version: 2017-10-25-8b1cd3753b184341e837b30383832645135d3d73
+Version: 2017-10-25-8b1cd3753b184341e837b30383832645135d3d73-1
Description: LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.