From bab0eb9396a40dbf0444cb3ca0a9b0f7a78c9954 Mon Sep 17 00:00:00 2001 From: Bent Bracke Date: Tue, 23 Jul 2024 14:15:12 +0200 Subject: [PATCH] binary_trees 20240519.0.0 (#1153) --- .../binary_trees-20240519.0.0.toml | 29 +++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 index/bi/binary_trees/binary_trees-20240519.0.0.toml diff --git a/index/bi/binary_trees/binary_trees-20240519.0.0.toml b/index/bi/binary_trees/binary_trees-20240519.0.0.toml new file mode 100644 index 00000000..e08eab8a --- /dev/null +++ b/index/bi/binary_trees/binary_trees-20240519.0.0.toml @@ -0,0 +1,29 @@ +name = "binary_trees" +description = " Ordered binary trees implemented without access types" +version = "20240519" + +authors = ["Jeff Carter"] +maintainers = ["Bent Bracke "] +maintainers-logins = ["bracke"] +licenses = "BSD-3-Clause" +website = "https://github.com/bracke/Binary_Trees" +tags = ["binarytrees", "trees", "noaccess"] + +long-description = """ +# Binary_Trees +Ordered binary trees implemented without access types + +Demonstration of a technique to be presented at the Ada Developers Workshop of the 2024 Ada-Europe conference +""" + +[build-switches] +"*".style_checks = "No" +"*".ada_version = "Ada12" + +[[depends-on]] # Avoid bug in GNAT 13 +gnat = "<13.0 | >=13.3" + +[origin] +commit = "42ea72288130b796b51177046123685f2ddb6567" +url = "git+https://github.com/bracke/Binary_Trees.git" +