ligo/src/.merlin

53 lines
688 B
Plaintext
Raw Normal View History

2016-09-08 19:13:10 +02:00
S node/net
B node/net
S node/updater
B node/updater
S node/shell
B node/shell
S node/db
B node/db
S node/main
B node/main
S minutils
B minutils
2016-09-08 19:13:10 +02:00
S utils
B utils
S proto/environment
B proto/environment
S compiler
B compiler
S client
B client
2017-01-02 13:33:11 +01:00
S attacker
B attacker
2016-09-08 19:13:10 +02:00
FLG -w -30
FLG -w -40
PKG base64
PKG calendar
2017-01-14 13:13:59 +01:00
PKG cmdliner
2016-09-08 19:13:10 +02:00
PKG cohttp
PKG compiler-libs.optcomp
PKG conduit
PKG cstruct
PKG dynlink
PKG ezjsonm
PKG git
2017-07-17 15:59:09 +02:00
PKG git-unix
PKG ipv6-multicast
2017-07-17 15:59:09 +02:00
PKG irmin-unix
PKG irmin-git
2016-09-08 19:13:10 +02:00
PKG irmin
PKG lwt
PKG magic-mime
2017-07-17 15:56:30 +02:00
PKG mtime.clock.os
PKG nocrypto
2016-09-08 19:13:10 +02:00
PKG ocplib-endian
PKG ocplib-json-typed
PKG ocplib-ocamlres
PKG ocplib-resto.directory
PKG result
PKG sodium
2017-01-14 13:13:59 +01:00
PKG ssl
2016-09-08 19:13:10 +02:00
PKG unix
PKG zarith
2017-05-31 18:27:11 +02:00
PKG leveldb