gramadeb APT repository

Pour ajouter rapidement ce dépôt APT, taper ceci en tant que root :

cat <EOF > /etc/apt/sources.list.d/gramadeb.sources
Types: deb
URIs: http://deb.gramaton.org/
Suites: experimental
Components: main 
Signed-By:
 -----BEGIN PGP PUBLIC KEY BLOCK-----
 mDMEaQIu2BYJKwYBBAHaRw8BAQdAXA3jOeMmHFuCHiNjmCD7ecKSFr2RISasMHSw
 e3XAXWK0EU15IEFQVCByZXBvc2l0b3J5iJYEExYKAD4WIQQ0AOYu6JwCKIYx7rCv
 AfOQISQB8QUCaQIu2AIbAwUJEswDAAULCQgHAgYVCgkICwIEFgIDAQIeAQIXgAAK
 CRCvAfOQISQB8dAbAP0V2pNdDUQAUozPY9cXEr92HMM/XYUPCurjb9oyi0JyRgD+
 KJu+/IcFS3WOm/q6fGFskWw5oMNT0UX9C7TQ3jnNMwu4OARpAi7YEgorBgEEAZdV
 AQUBAQdAY80qKATAK+aLFe0ZkCokd2HoWqwKlvEsE1rACFncLA4DAQgHiHgEGBYK
 ACAWIQQ0AOYu6JwCKIYx7rCvAfOQISQB8QUCaQIu2AIbDAAKCRCvAfOQISQB8QVR
 AP9RcgHPZnkxtDrZzHNTCclJ+XKT1W/Lm5Y3AL7IhnblAAEApolErEOOnpaaIQV/
 TUa5Vv/vTDdI5CCNvioHz6xYIgg=
 =eIMn
 -----END PGP PUBLIC KEY BLOCK-----
EOF