From 92b508cd4602d87a0ccdae195214aa0724ed5850 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A1i=20S=C6=A1n=20Ho=C3=A0ng?= Date: Tue, 21 Mar 2023 08:45:45 +0000 Subject: [PATCH] elevator 1.0.0 (#771) --- index/el/elevator/elevator-1.0.0.toml | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 index/el/elevator/elevator-1.0.0.toml diff --git a/index/el/elevator/elevator-1.0.0.toml b/index/el/elevator/elevator-1.0.0.toml new file mode 100644 index 00000000..8e17c0eb --- /dev/null +++ b/index/el/elevator/elevator-1.0.0.toml @@ -0,0 +1,19 @@ +name = "elevator" +description = "A Simple Elevator System" +version = "1.0.0" + +authors = ["Thai Son Hoang"] +maintainers = ["Thai Son Hoang "] +maintainers-logins = ["tshoang"] +licenses = "CC-BY-SA-4.0" +tags = ["elevator", "teaching"] +website = "https://github.com/ada-Soton/elevator" + +executables = ["main"] +[[depends-on]] +gnatprove = "^12.1.1" + +[origin] +commit = "b439645aabfe091eef46b3a3174e47ffa86e3930" +url = "git+https://github.com/ada-Soton/elevator.git" +