vblt.org
forked from
gazagnaire.org/irmin
Persistent store with Git semantics: lazy reads, delayed writes, content-addressing
1(executable
2 (name main)
3 (public_name irmin)
4 (libraries irmin atp cmdliner vlog tty eio_main fmt unix monopam-info)
5 (modules
6 config
7 common
8 cmd_init
9 cmd_get
10 cmd_set
11 cmd_del
12 cmd_list
13 cmd_tree
14 cmd_log
15 cmd_branches
16 cmd_checkout
17 cmd_proof
18 cmd_import
19 cmd_export
20 cmd_info
21 main))