[Termtools] testing starexec for termination

[Johannes Waldmann]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dear all,

some extra Starexec info just arrived from Aaron.


> You can let anyone register for your community by having them visit
> the following site and selecting Termination for the community: 
> https://www.starexec.org/starexec/public/registration.jsp You (as
> the community leader for Termination) will then get an email asking
> you to approve his request to join.

I will approve all previous termcomp participants,
and forward new entrants to the Termcomp SC.


> The specs are here, linked from the "about" page: 
> https://www.starexec.org/starexec/public/machine-specs.txt We don't
> have a package list on there right now, but it would be a good idea
> to add one.

(I was asking for the package list to make it easier to
build VMs that match the platform.)


- - Johannes.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iEYEARECAAYFAlMHmGQACgkQDqiTJ5Q4dm/rzgCfbPUXSjQofkEoOt/zcrZVFcxM
zIwAoK/pw4fMc8hz7wCJAVtlrYZ15Ufm
=6Nz8
-----END PGP SIGNATURE-----