Manpages of gnat-13-riscv64-linux-gnu in Debian experimental

• riscv64-linux-gnu-gnat-13(1)
• riscv64-linux-gnu-gnat(1)
• riscv64-linux-gnu-gnatbind-13(1)
• riscv64-linux-gnu-gnatbind(1)
• riscv64-linux-gnu-gnatchop-13(1)
• riscv64-linux-gnu-gnatchop(1)
• riscv64-linux-gnu-gnatclean-13(1)
• riscv64-linux-gnu-gnatclean(1)
• riscv64-linux-gnu-gnathtml-13(1)
• riscv64-linux-gnu-gnathtml(1)
• riscv64-linux-gnu-gnatkr-13(1)
• riscv64-linux-gnu-gnatkr(1)
• riscv64-linux-gnu-gnatlink-13(1)
• riscv64-linux-gnu-gnatlink(1)
• riscv64-linux-gnu-gnatls-13(1)
• riscv64-linux-gnu-gnatls(1)
• riscv64-linux-gnu-gnatmake-13(1)
• riscv64-linux-gnu-gnatmake(1)
• riscv64-linux-gnu-gnatname-13(1)
• riscv64-linux-gnu-gnatname(1)
• riscv64-linux-gnu-gnatprep-13(1)
• riscv64-linux-gnu-gnatprep(1)