diff options
Diffstat (limited to 'isabelle-dump/Cargo.toml')
-rw-r--r-- | isabelle-dump/Cargo.toml | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/isabelle-dump/Cargo.toml b/isabelle-dump/Cargo.toml new file mode 100644 index 0000000..924737f --- /dev/null +++ b/isabelle-dump/Cargo.toml @@ -0,0 +1,17 @@ +[package] +name = "isabelle-dump" +version = "0.1.0" +authors = ["stuebinm <stuebinm@disroot.org>"] +edition = "2018" + + +[build-dependencies] +cfgrammar = "0.10" +lrlex = "0.10" +lrpar = "0.10" + +[dependencies] +cfgrammar = "0.10" +lrlex = "0.10" +lrpar = "0.10" +symbolmacro = { path = "../symbolmacro", version = "0.1" } |