[Why3-club] Ubuntu binary packages

Guillaume Melquiond guillaume.melquiond at inria.fr
Mon Apr 4 14:50:49 CEST 2011


Hi,

For Ubuntu users too lazy to compile Why3 0.64 by themselves, I have
uploaded binary packages for Lucid (10.04) and Maverick (10.10). You can
install them by typing:

        add-apt-repository ppa:guillaume-melquiond/ppa
        apt-get update
        apt-get install why3

Best regards,

Guillaume




More information about the Why3-club mailing list