~ruther/guix-local

ref: a00403c61c3df9777dc1c9d8cb342d00cb31914f guix-local/gnu d---------
a00403c6 — Ricardo Wurmus 8 years ago 
gnu: suil: Update to 0.10.0.

* gnu/packages/audio.scm (suil): Update to 0.10.0.
[inputs]: Add gtk+.
[description]: Remove version numbers from supported toolkits.
19748414 — Ricardo Wurmus 8 years ago 
gnu: ingen: Update to 0.0.0-2.cc4a4db33.

* gnu/packages/music.scm (ingen): Update to 0.0.0-2.cc4a4db33.
[inputs]: Replace lv2 with lv2-devel.
5e30032f — Ricardo Wurmus 8 years ago 
gnu: Add lv2-devel.

* gnu/packages/audio.scm (lv2-devel): New variable.
ab8f4a70 — Ricardo Wurmus 8 years ago 
gnu: ganv-devel: Update to 1.5.4-12f7d6b04.

* gnu/packages/gtk.scm (ganv-devel): Update to 1.5.4-12f7d6b04.
a8bf6b9b — Ricardo Wurmus 8 years ago 
gnu: raul-devel: Update to 0.8.9-4db870b2b.

* gnu/packages/audio.scm (raul-devel): Update to 0.8.9-4db870b2b.
e206de67 — Ricardo Wurmus 8 years ago 
gnu: Add r-rgraphviz.

* gnu/packages/graph.scm (r-rgraphviz): New variable.
1ab867be — Ricardo Wurmus 8 years ago 
gnu: Add r-pdist.

* gnu/packages/cran.scm (r-pdist): New variable.
6efc9996 — Julien Lepiller 8 years ago 
gnu: Update coq-interval to 3.3.0.

* gnu/packages/ocaml.scm (coq-interval): Update to 3.3.0.
[inputs]: Add coq-bignums.
dbfb1a59 — Julien Lepiller 8 years ago 
gnu: Add coq-bignums.

* gnu/packages/ocaml.scm (coq-bignums): New variable.
3ffd180c — Julien Lepiller 8 years ago 
gnu: Update coq-coquelicot to 3.0.1.

* gnu/packages/ocaml.scm (coq-coquelicot): Update to 3.0.1.
2e331c9c — Julien Lepiller 8 years ago 
gnu: Update coq-mathcomp to 1.6.2.

* gnu/packages/ocaml.scm (coq-mathcomp): Update to 1..6.2.
b44f13e0 — Julien Lepiller 8 years ago 
gnu: Update coq-flocq to 2.6.0.

* gnu/packages/ocaml.scm (coq-flocq): Update to 2.6.0.
6e4da737 — Julien Lepiller 8 years ago 
gnu: Update coq to 8.7.0.

* gnu/packages/ocaml.scm (coq): Update to 8.7.0.
[build-system]: Use ocaml-build-system.
[inputs]: Add python-2.
[arguments]: Disable two failing tests.
07b4cd3a — Julien Lepiller 8 years ago 
gnu: camlp5: install META file.

* gnu/packages/ocaml.scm (camlp5) [phases]: New install-meta phase.
3d679ab1 — Marius Bakke 8 years ago 
gnu: lame: Update to 3.100.

* gnu/packages/mp3.scm (lame): Update to 3.100.
[source]: Don't hard-code version.
28d0b521 — Marius Bakke 8 years ago 
gnu: python-pyqt: Update to 5.9.

* gnu/packages/qt.scm (python-pyqt): Update to 5.9.
079e6792 — Marius Bakke 8 years ago 
gnu: python-sip: Update to 4.19.3.

* gnu/packages/qt.scm (python-sip): Update to 4.19.3.
a4194d16 — Tobias Geerinckx-Rice 8 years ago 
gnu: rest: Update to 0.8.1.

* gnu/packages/gnome.scm (rest): Update to 0.8.1.
4b9a65bf — Tobias Geerinckx-Rice 8 years ago 
gnu: gnome-disk-utility: Update to 3.26.1.

* gnu/packages/gnome.scm (gnome-disk-utility): Update to 3.26.1.
[build-system]: Use meson-build-system.
[native-inputs]: Add gtk+:bin.
b2799117 — Tobias Geerinckx-Rice 8 years ago 
gnu: perl-geo-ip: Update to 1.51.

* gnu/packages/networking.scm (perl-geo-ip): Update to 1.51.
Next