From 869133fa804da08ea3643044847d31faafc56459 Mon Sep 17 00:00:00 2001 From: Paul Jarrett Date: Mon, 18 Oct 2021 05:09:23 -0400 Subject: [PATCH] trendy_terminal 0.0.3 (#382) --- .../trendy_terminal-0.0.3.toml | 30 +++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 index/tr/trendy_terminal/trendy_terminal-0.0.3.toml diff --git a/index/tr/trendy_terminal/trendy_terminal-0.0.3.toml b/index/tr/trendy_terminal/trendy_terminal-0.0.3.toml new file mode 100644 index 00000000..fff1acb3 --- /dev/null +++ b/index/tr/trendy_terminal/trendy_terminal-0.0.3.toml @@ -0,0 +1,30 @@ +name = "trendy_terminal" +description = "Terminal options, setup, tab completion and hinting." +version = "0.0.3" +website = "https://github.com/pyjarrett/trendy_terminal" + +authors = ["Paul Jarrett"] +maintainers = ["Paul Jarrett "] +maintainers-logins = ["pyjarrett"] +licenses = "Apache-2.0" +tags = ["terminal", "command-line", "console", "vt100"] + +project-files = ["trendy_terminal.gpr"] + +[gpr-externals] +Mode = ["debug", "optimize"] + +[gpr-set-externals.'case(os)'] +windows = { Trendy_Terminal_Platform = "windows" } +linux = { Trendy_Terminal_Platform = "linux" } +macos = { Trendy_Terminal_Platform = "macos" } + +[available.'case(os)'] +linux = true +windows = true +macos = false + +[origin] +commit = "d4941ef2f5e63f53d075501c52c65aaf5c7963a9" +url = "git+https://github.com/pyjarrett/trendy_terminal.git" +