gnat_native, gnat_arm_elf, gnat_avr_elf, gnat_riscv64_elf 13.1.0 (#890)

* GNAT 13.1 Native, ARM, RISC-V and AVR hosted on Windows x86_64 and Linux x86_64

* Fix tarball URLs

index/gn/gnat_arm_elf/gnat_arm_elf-13.1.0.toml

@@ -0,0 +1,23 @@
+name = "gnat_arm_elf"
+version = "13.1.0"
+provides = ["gnat=13.1.0"]
+description = "The GNAT Ada compiler - ARM cross-compiler"
+maintainers = ["[email protected]"]
+maintainers-logins = ["Fabien-Chouteau"]
+licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
+
+auto-gpr-with = false
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+
+[origin."case(os)".linux."case(host-arch)".x86-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-13.1.0-1/gnat-arm-elf-linux64-13.1.0-1.tar.gz"
+hashes = ["sha256:94c55ee2ac9b5e6a3e1458f5e63ad35ebd987e9cb8bc7f70cc28ce77f3087d6c"]
+
+[origin."case(os)".windows."case(host-arch)".x86-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-13.1.0-1/gnat-arm-elf-windows64-13.1.0-1.tar.gz"
+hashes = ["sha256:0f241a5037314c708944196cdb00bfcbaa2aecbd39cdebaffe697cb2cb7da8c9"]

index/gn/gnat_avr_elf/gnat_avr_elf-13.1.0.toml

@@ -0,0 +1,23 @@
+name = "gnat_avr_elf"
+version = "13.1.0"
+provides = ["gnat=13.1.0"]
+description = "The GNAT Ada compiler - AVR cross-compiler"
+maintainers = ["[email protected]"]
+maintainers-logins = ["Fabien-Chouteau"]
+licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
+
+auto-gpr-with = false
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+
+[origin."case(os)".linux."case(host-arch)".x86-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-13.1.0-1/gnat-avr-elf-linux64-13.1.0-1.tar.gz"
+hashes = ["sha256:55d633b46c3220a31d2ffb12b409e929bfda0d05b31d8cf32d84b0a001d4d609"]
+
+[origin."case(os)".windows."case(host-arch)".x86-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-13.1.0-1/gnat-avr-elf-windows64-13.1.0-1.tar.gz"
+hashes = ["sha256:5a9df9bf5916b322171ae0423d21d4877305382ffcedd1c04f7753ab909b9d0c"]

index/gn/gnat_native/gnat_native-13.1.0.toml

@@ -0,0 +1,23 @@
+name = "gnat_native"
+version = "13.1.0"
+provides = ["gnat=13.1.0"]
+description = "The GNAT Ada compiler - Native"
+maintainers = ["[email protected]"]
+maintainers-logins = ["Fabien-Chouteau"]
+licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
+
+auto-gpr-with = false
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+
+[origin."case(os)".linux."case(host-arch)".x86-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-13.1.0-1/gnat-x86_64-linux-13.1.0-1.tar.gz"
+hashes = ["sha256:fdf29084a085cca39edc4ec5c6bb81f24f494e8b7ec3a605690831783d5e3a88"]
+
+[origin."case(os)".windows."case(host-arch)".x86-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-13.1.0-1/gnat-x86_64-windows64-13.1.0-1.tar.gz"
+hashes = ["sha256:84523e4d363c1e7687c51cd8c084ac8e9bededf8c084de73f47b07149a8afdfd"]

index/gn/gnat_riscv64_elf/gnat_riscv64_elf-13.1.0.toml

@@ -0,0 +1,23 @@
+name = "gnat_riscv64_elf"
+version = "13.1.0"
+provides = ["gnat=13.1.0"]
+description = "The GNAT Ada compiler - RISC-V cross-compiler"
+maintainers = ["[email protected]"]
+maintainers-logins = ["Fabien-Chouteau"]
+licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
+
+auto-gpr-with = false
+
+[configuration]
+disabled = true
+
+[environment]
+PATH.prepend = "${CRATE_ROOT}/bin"
+
+[origin."case(os)".linux."case(host-arch)".x86-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-13.1.0-1/gnat-riscv64-elf-linux64-13.1.0-1.tar.gz"
+hashes = ["sha256:eda9e6f7bac3fdeb79f9b652542568c4e1665fe8f31ad6585f55863beaf445e9"]
+
+[origin."case(os)".windows."case(host-arch)".x86-64]
+url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-13.1.0-1/gnat-riscv64-elf-windows64-13.1.0-1.tar.gz"
+hashes = ["sha256:4ac38b80e22d233ac9f5dcf9d7ad054a43b7c99f14f7c525dfb845e90585bc53"]