From 6011afa47a9b6aa1727d3bf91479b65a51821d17 Mon Sep 17 00:00:00 2001 From: Tama McGlinn Date: Thu, 29 Dec 2022 17:45:54 +0100 Subject: [PATCH] Adabots 1.3.0: fix AWS dependency There was an error relating to relocatable symbols before, details here: https://github.com/AdaCore/aws/issues/356 --- index/ad/adabots/adabots-1.3.0.toml | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 index/ad/adabots/adabots-1.3.0.toml diff --git a/index/ad/adabots/adabots-1.3.0.toml b/index/ad/adabots/adabots-1.3.0.toml new file mode 100644 index 000000000..234c85b39 --- /dev/null +++ b/index/ad/adabots/adabots-1.3.0.toml @@ -0,0 +1,22 @@ +name = "adabots" +description = "Learn Ada by programming Minecraft robots" +version = "1.3.0" + +authors = ["Tama McGlinn"] +maintainers = ["Tama McGlinn "] +maintainers-logins = ["TamaMcGlinn"] + +licenses = "MIT" +project-files = ["adabots.gpr"] +tags = ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"] + +[[depends-on]] # This line was added by `alr with` +aws = "^23.0.0" # This line was added by `alr with` + +[[depends-on]] # This line was added by `alr with` +aaa = "~0.2.3" # This line was added by `alr with` + +[origin] +commit = "944adbafc42efda42580914c0e6401c8ca75612c" +url = "git+https://github.com/TamaMcGlinn/AdaBots.git" +