Amor Game

Justin justin.zobel at
Fri Dec 30 07:36:59 GMT 2022

Hi Team,

I know most are likely on holidays, just a quick bump on this request. 
If nobody has time to maintain Amor we can archive it.


On 23/12/22 20:14, David Faure wrote:
> On jeudi 22 d├ęcembre 2022 19:47:09 CET Jack wrote:
>> Question:  Does the amor team want to support a released version?
> Any universal statement about the elements of the empty set is true ;)

More information about the release-team mailing list