Jasmin & EasyCrypt packages for Debian are distributed through a dedicated package repository. These packages are signed and the Debian packet management tools verify the validity of the signatures against a trusted verification key.

Because the (public) verification key that is available on this website had expired, it has been renewed. Users may have to download it again and alter their local configuration. Note that the (secret) signing key is unchanged.

Details of the system configuration procedure are given in the Jasmin documentation.