~james/scope

1
e557cd7d08fb8f5d6ddf4afedb5447c1e8ce23bf
main
scope/lib/dune -rw-r--r--191 bytes ViewLogBlameView rawPermalink 31c614f530 feat(xen): capture hvm table pages with owned pause cleanup 21 days ago
1(library
2 (name scope)
3 (public_name scope)
4 (libraries unix)
5 (foreign_stubs
6 (language c)
7 (names native)
8 (flags (:standard -std=gnu11 -Wall -Wextra -Werror)))
9 (c_library_flags -ldl))