This page provides a channel for the Nix package manager. If you have Nix installed, you can subscribe to this channel by once executing
$ nix-channel --add http://hydra.bordeaux.inria.fr/jobset/regal/coccinelle-trunk/channel/latest $ nix-channel --update
You can then query and install packages in the normal way, e.g.,
$ nix-env -qa '*' $ nix-env -i foo
You can update to the latest versions of the packages in this channel by executing
$ nix-channel --update $ nix-env -u '*'
Alternatively, if you have associated the application/nix-package MIME type with the nix-install-package program in your web browser, you can install the package simply by clicking on the packages below.
This channel contains the following packages.
| # | Name | System | Description |
|---|