diff --git a/index/xm/xmlada/xmlada-26.0.0.toml b/index/xm/xmlada/xmlada-26.0.0.toml new file mode 100644 index 00000000..1617916d --- /dev/null +++ b/index/xm/xmlada/xmlada-26.0.0.toml @@ -0,0 +1,33 @@ +name = "xmlada" +version = "26.0.0" +description = "The XML/Ada toolkit" +website = "https://github.com/AdaCore/xmlada" +authors = ["AdaCore"] +licenses = "GPL-3.0-or-later WITH GCC-exception-3.1" +maintainers = ["chouteau@adacore.com", "sagaert@adacore.com"] +maintainers-logins = ["Fabien-Chouteau", "AldanTanneo"] +project-files = ["distrib/xmlada.gpr", + "dom/xmlada_dom.gpr", + "sax/xmlada_sax.gpr", + "input_sources/xmlada_input.gpr", + "schema/xmlada_schema.gpr", + "unicode/xmlada_unicode.gpr"] + +[[depends-on]] +gnat = ">=11" + +[configuration] +disabled = true + +[[actions."case(distribution)"."..."]] +type = "post-fetch" +command = ["sh", "configure"] + +[gpr-externals] +LIBRARY_TYPE = ["static", "relocatable", "static-pic"] +XMLADA_BUILD_MODE = ["distrib", "Debug", "Production", + "profile", "coverage", "nochecks"] + +[origin] +url="https://github.com/AdaCore/xmlada/archive/refs/tags/v26.0.0.zip" +hashes=['sha512:b140ed4a41210d9defccf07fde0eafe8ee3d883aa31bfc2996fab01409a657d11ea7af7f6caca2a5ffa492e5bd18ffb6958355c23aa78180f41a19af21efdd0f']