diff --git a/index/po/portable_minimal_ada_rts/portable_minimal_ada_rts-1.0.0.toml b/index/po/portable_minimal_ada_rts/portable_minimal_ada_rts-1.0.0.toml new file mode 100644 index 000000000..ab482f1a6 --- /dev/null +++ b/index/po/portable_minimal_ada_rts/portable_minimal_ada_rts-1.0.0.toml @@ -0,0 +1,19 @@ +name = "portable_minimal_ada_rts" +description = "Portable Minimal Ada Runtime Library" +version = "1.0.0" +licenses = "GPL-3.0-or-later WITH GCC-exception-3.1" +website = "https://github.com/jgrivera67/portable_minimal_ada_rts" +tags = ["rts"] +authors = ["J. German Rivera"] +maintainers = ["J. German Rivera "] +maintainers-logins = ["jgrivera67"] + +[[depends-on]] +gnat_arm_elf = "^12.1.2" +[[depends-on]] +gnat = "^12.1.2" + +[origin] +commit = "55985d82e11236d20e7da3f5ddbbfa7989bbd4aa" +url = "git+https://github.com/jgrivera67/portable_minimal_ada_rts.git" +