One can now run "guix build aerosol" or "guix install aerosol" directly,
as long as one can access the Aerosol repository over SSH.

* inria/aerosol.scm (aerosol): Change COMMIT to an actual commit ID.
[source]: Use 'git-checkout'.