~ruther/guix-local

b1c2ad31 — Nicolas Goaziou 4 years ago 
gnu: emacs-citar: Update to 0.9.

* gnu/packages/emacs-xyz.scm (emacs-citar): Update to 0.9.
63d8c7a8 — Julien Lepiller 4 years ago 
gnu: coq-stdpp: Update to 1.6.0.

* gnu/packages/coq.scm (coq-stdpp): Update to 1.6.0.
07fc7046 — Julien Lepiller 4 years ago 
gnu: coq-interval: Update to 4.3.1.

* gnu/packages/coq.scm (coq-interval): Update to 4.3.1.
5bcf0101 — Julien Lepiller 4 years ago 
gnu: coq-coquelicot: Update to 3.2.0.

* gnu/packages/coq.scm (coq-coquelicot): Update to 3.2.0.
698e5c38 — Julien Lepiller 4 years ago 
gnu: coq-mathcomp: Update to 1.13.0.

* gnu/packages/coq.scm (coq-mathcomp): Update to 1.13.0.
67fbcd43 — Julien Lepiller 4 years ago 
gnu: coq-gappa: Update to 1.5.0.

* gnu/packages/coq.scm (coq-gappa): Update to 1.5.0.
45bc66db — Julien Lepiller 4 years ago 
gnu: coq-flocq: Update to 3.4.2.

* gnu/packages/coq.scm (coq-flocq): Update to 3.4.2.
29e9dc49 — Julien Lepiller 4 years ago 
gnu: camlboot: Increase max-silent-time.

* gnu/packages/ocaml.scm (camlboot)[properties]: Set max-silent-time to
10 hours.
f0a30bf8 — Liliana Marie Prikler 4 years ago 
gnu: ibus-theme-tools: Do not delete check phase.

* gnu/packages/ibus.scm (ibus-theme-tools)[#:tests?]: Add with value #f and
an appropriate comment.
[#:phases]: Drop.
6972c4f2 — Songlin Jiang 4 years ago 
gnu: Add ibus-theme-tools.

* gnu/packages/ibus.scm (ibus-theme-tools): New variable.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
7cc2f022 — Songlin Jiang 4 years ago 
gnu: Add gnome-shell-extension-customize-ibus.

* gnu/packages/gnome-xyz.scm (gnome-shell-extension-customize-ibus): New
variable.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>

gnu: Add gsimplecal.

* gnu/packages/calendar.scm (gsimplecal): New variable.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
348f1f7c — Julien Lepiller 4 years ago 
gnu: camlboot: Update to latest commit.

* gnu/packages/ocaml.scm (camlboot): Update to latest commit.
0846e7d3 — Julien Lepiller 4 years ago 
gnu: Add ocaml-charinfo-width.

* gnu/packages/ocaml.scm (ocaml4.07-charinfo-width): Replace with...
(ocaml-charinfo-width): ...this. Use latest ocaml package.
f9bf7de5 — Julien Lepiller 4 years ago 
gnu: Add ocaml-gsl.

* gnu/packages/ocaml.scm (ocaml4.07-gsl): Replace with...
(ocaml-gsl): ...this. Use latest ocaml package.
(ocaml4.07-gsl-1): Adapt accordingly.
0481810e — Julien Lepiller 4 years ago 
gnu: Add ocaml-fftw3.

* gnu/packages/ocaml.scm (ocaml4.07-fftw3): Replace with...
(ocaml-fftw3) ...this. Use latest ocaml package.
e9d3f365 — Julien Lepiller 4 years ago 
gnu: Add ocaml-lacaml.

* gnu/packages/ocaml.scm (ocaml4.07-lacaml): Replace with...
(ocaml-lacaml): ...this.  Use latest ocaml package.
40239e23 — Leo Famulari 4 years ago 
gnu: linux-libre 5.10: Update to 5.10.80.

* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.80.
(linux-libre-5.10-pristine-source): Update hash.
d2f5bc7d — Leo Famulari 4 years ago 
gnu: linux-libre: Update to 5.14.20.

* gnu/packages/linux.scm (linux-libre-5.14-version): Update to 5.14.20.
(linux-libre-5.14-pristine-source): Update hash.
0a4656f1 — Julien Lepiller 4 years ago 
gnu: ocaml-version: Update to 3.4.0.

* gnu/packages/ocaml.scm (ocaml-version): Update to 3.4.0.
Next