File tree Expand file tree Collapse file tree 3 files changed +6
-0
lines changed Expand file tree Collapse file tree 3 files changed +6
-0
lines changed Original file line number Diff line number Diff line change 1
1
(library
2
2
(name db)
3
+ (public_name sherlodoc.db)
3
4
(libraries fmt))
Original file line number Diff line number Diff line change 1
1
(library
2
2
(name query)
3
+ (public_name sherlodoc.query)
3
4
(libraries db))
4
5
5
6
(menhir
Original file line number Diff line number Diff line change 1
1
(library
2
2
(name db_store)
3
+ (public_name sherlodoc.db_store)
3
4
(modules db_store)
4
5
(libraries
5
6
storage_marshal
12
13
13
14
(library
14
15
(name storage_ancient)
16
+ (public_name sherlodoc.storage_ancient)
15
17
(modules storage_ancient)
16
18
(optional)
17
19
(libraries db ancient unix))
18
20
19
21
(library
20
22
(name storage_js)
21
23
(modules storage_js)
24
+ (public_name sherlodoc.storage_js)
22
25
(libraries db base64 bigstringaf decompress.zl))
23
26
24
27
(library
25
28
(name storage_marshal)
29
+ (public_name sherlodoc.storage_marshal)
26
30
(modules storage_marshal)
27
31
(libraries db))
You can’t perform that action at this time.
0 commit comments