Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

< jaybonci> actually d-i stands for "divine intervention" ;) -- in #debian-devel

devel / comp.lang.ada / Re: New competition: Ada/SPARK Crate Of The Year Award

SubjectAuthor
* New competition: Ada/SPARK Crate Of The Year AwardFabien Chouteau
`* Re: New competition: Ada/SPARK Crate Of The Year AwardMarius Amado-Alves
 `- Re: New competition: Ada/SPARK Crate Of The Year AwardFabien Chouteau

1
New competition: Ada/SPARK Crate Of The Year Award

<83cc547d-b318-4b77-89ab-3c9a487723cen@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=5476&group=comp.lang.ada#5476

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a37:bc04:: with SMTP id m4mr24489626qkf.100.1624875098832;
Mon, 28 Jun 2021 03:11:38 -0700 (PDT)
X-Received: by 2002:a25:6d02:: with SMTP id i2mr29339783ybc.309.1624875098555;
Mon, 28 Jun 2021 03:11:38 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 28 Jun 2021 03:11:38 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=89.157.143.72; posting-account=L3mulQoAAADsXVjCD5rM6Ap3Xy0U3ckB
NNTP-Posting-Host: 89.157.143.72
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <83cc547d-b318-4b77-89ab-3c9a487723cen@googlegroups.com>
Subject: New competition: Ada/SPARK Crate Of The Year Award
From: fabien.c...@gmail.com (Fabien Chouteau)
Injection-Date: Mon, 28 Jun 2021 10:11:38 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Fabien Chouteau - Mon, 28 Jun 2021 10:11 UTC

Hello here,

I am happy announce AdaCore's new programming competition: The Ada/SPARK Crate Of The Year Award!

The announcement is here: https://blog.adacore.com/announcing-the-first-ada-spark-crate-of-the-year-award

And you can register here: https://github.com/AdaCore/Ada-SPARK-Crate-Of-The-Year

Cheers,

Re: New competition: Ada/SPARK Crate Of The Year Award

<cd9567ae-cfee-431c-bf9b-2fcdad90c6ebn@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=5488&group=comp.lang.ada#5488

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ac8:6ec4:: with SMTP id f4mr31106417qtv.133.1625053458730; Wed, 30 Jun 2021 04:44:18 -0700 (PDT)
X-Received: by 2002:a25:ac9a:: with SMTP id x26mr27401403ybi.161.1625053458490; Wed, 30 Jun 2021 04:44:18 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!2.eu.feeder.erje.net!feeder.erje.net!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!tr2.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 30 Jun 2021 04:44:18 -0700 (PDT)
In-Reply-To: <83cc547d-b318-4b77-89ab-3c9a487723cen@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=94.60.6.132; posting-account=3cDqWgoAAAAZXc8D3pDqwa77IryJ2nnY
NNTP-Posting-Host: 94.60.6.132
References: <83cc547d-b318-4b77-89ab-3c9a487723cen@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cd9567ae-cfee-431c-bf9b-2fcdad90c6ebn@googlegroups.com>
Subject: Re: New competition: Ada/SPARK Crate Of The Year Award
From: amado.al...@gmail.com (Marius Amado-Alves)
Injection-Date: Wed, 30 Jun 2021 11:44:18 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 2
 by: Marius Amado-Alves - Wed, 30 Jun 2021 11:44 UTC

A candidate project must be on github? (fair enough)
Any Alire crate project must be on github?
Thanks.

Re: New competition: Ada/SPARK Crate Of The Year Award

<0af5512c-83a9-4e9e-86d3-73f23f0992ddn@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=5489&group=comp.lang.ada#5489

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:6214:1904:: with SMTP id er4mr7815248qvb.23.1625057270462;
Wed, 30 Jun 2021 05:47:50 -0700 (PDT)
X-Received: by 2002:a25:75d6:: with SMTP id q205mr43811641ybc.339.1625057270211;
Wed, 30 Jun 2021 05:47:50 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 30 Jun 2021 05:47:49 -0700 (PDT)
In-Reply-To: <cd9567ae-cfee-431c-bf9b-2fcdad90c6ebn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=89.157.143.72; posting-account=L3mulQoAAADsXVjCD5rM6Ap3Xy0U3ckB
NNTP-Posting-Host: 89.157.143.72
References: <83cc547d-b318-4b77-89ab-3c9a487723cen@googlegroups.com> <cd9567ae-cfee-431c-bf9b-2fcdad90c6ebn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0af5512c-83a9-4e9e-86d3-73f23f0992ddn@googlegroups.com>
Subject: Re: New competition: Ada/SPARK Crate Of The Year Award
From: fabien.c...@gmail.com (Fabien Chouteau)
Injection-Date: Wed, 30 Jun 2021 12:47:50 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Fabien Chouteau - Wed, 30 Jun 2021 12:47 UTC

On Wednesday, June 30, 2021 at 1:44:19 PM UTC+2, amado...@gmail.com wrote:
> A candidate project must be on github? (fair enough)
> Any Alire crate project must be on github?

For the Alire community index, your crate can either be in tarball format and hosted anywhere you want,
or it can be a commit in a git repo in which case we ask you to host it on GitHub, SourceForge, GitLab or Bitbucket.

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor