Chameleon 1.2.0

in News

New release of Chameleon 1.2.0 is out !

sudo apt-get update -y
wget https://gitlab.inria.fr/api/v4/projects/616/packages/generic/ubuntu_22.04/1.2.0/chameleon_1.2.0-1_amd64.deb
sudo apt-get install -y ./chameleon_1.2.0-1_amd64.deb
# to uninstall: sudo apt autoremove chameleon

Add the following in ~/.config/guix/channels.scm

(cons (channel
        (name 'guix-hpc-non-free)
        (url "https://gitlab.inria.fr/guix-hpc/guix-hpc-non-free.git"))
      %default-channels)

Install command

guix pull
guix install chameleon