
(alias
 (name default)
 (deps %{lib:foo:theories/a})
 (action (echo "deps: %{deps}\n")))
