Projet_SETI_RISC-V/riscv-gnu-toolchain/gcc/gcc/testsuite/gnat.dg/spark1.ads at main - higepi/Projet_SETI_RISC-V - Forgejo: Beyond coding. We Forge.

Suppression de la possibilité de cloner des dépôts privés en HTTPS ;
Réinstallation de drone ou changement d'outil de CI ;
Possiblement migration de Gitea à Forgejo.

9 lines

145 B

Ada

Raw Permalink Blame History

 package Spark1 is
    Mailbox : Integer with Atomic, Async_Writers, Async_Readers;
    task Worker
      with Global => (Input => Mailbox);
 end;