From b2ec99fca9da9951dae0adac42843aab3aad61fa Mon Sep 17 00:00:00 2001 From: Riccardo Bernardini <31954634+fintatarta@users.noreply.github.com> Date: Tue, 1 Jun 2021 10:10:37 +0200 Subject: [PATCH] partord 1.0 (#282) --- index/pa/partord/partord-1.0.0.toml | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 index/pa/partord/partord-1.0.0.toml diff --git a/index/pa/partord/partord-1.0.0.toml b/index/pa/partord/partord-1.0.0.toml new file mode 100644 index 00000000..86b9f3b5 --- /dev/null +++ b/index/pa/partord/partord-1.0.0.toml @@ -0,0 +1,20 @@ +name = "partord" +description = "Small library for sorting with partial orders" +version = "1.0.0" + +long-description = "This is a generic library that exports a sorting function that can operate with partial ordering, that is, it can happen that for some A /= B neither A < B nor A > B hold." + +website="https://gitlab.com/my-ada-library/partord/" + +authors = ["Riccardo Bernardini"] +maintainers = ["Riccardo Bernardini "] +maintainers-logins = ["fintatarta"] +licenses = "MIT" +tags = ["sorting"] + +project-files = "partord.gpr" + +[origin] +commit = "30057d94d0ebda3278b329a5e8be46cf1caedd52" +url = "git+https://gitlab.com/my-ada-library/partord.git" +