Age | Commit message (Expand) | Author |
---|---|---|
2021-11-21 | gnu: coq-flocq: Update to 3.4.2....* gnu/packages/coq.scm (coq-flocq): Update to 3.4.2. | Julien Lepiller |
2021-11-21 | gnu: camlboot: Increase max-silent-time....* gnu/packages/ocaml.scm (camlboot)[properties]: Set max-silent-time to 10 hours. | Julien Lepiller |
2021-11-21 | 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. | Liliana Marie Prikler |
2021-11-21 | gnu: Add ibus-theme-tools....* gnu/packages/ibus.scm (ibus-theme-tools): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com> | Songlin Jiang |
2021-11-21 | 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> | Songlin Jiang |
2021-11-21 | gnu: Add gsimplecal....* gnu/packages/calendar.scm (gsimplecal): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com> | Jaft |
2021-11-21 | gnu: camlboot: Update to latest commit....* gnu/packages/ocaml.scm (camlboot): Update to latest commit. | Julien Lepiller |
2021-11-20 | gnu: Add ocaml-charinfo-width....* gnu/packages/ocaml.scm (ocaml4.07-charinfo-width): Replace with... (ocaml-charinfo-width): ...this. Use latest ocaml package. | Julien Lepiller |
2021-11-20 | 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. | Julien Lepiller |
2021-11-20 | gnu: Add ocaml-fftw3....* gnu/packages/ocaml.scm (ocaml4.07-fftw3): Replace with... (ocaml-fftw3) ...this. Use latest ocaml package. | Julien Lepiller |
2021-11-20 | gnu: Add ocaml-lacaml....* gnu/packages/ocaml.scm (ocaml4.07-lacaml): Replace with... (ocaml-lacaml): ...this. Use latest ocaml package. | Julien Lepiller |
2021-11-20 | 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. | Leo Famulari |
2021-11-20 | 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. | Leo Famulari |
2021-11-20 | gnu: ocaml-version: Update to 3.4.0....* gnu/packages/ocaml.scm (ocaml-version): Update to 3.4.0. | Julien Lepiller |
2021-11-20 | gnu: ocaml-tyxml: Update to 4.5.0....* gnu/packages/ocaml.scm (ocaml-tyxml): Update to 4.5.0. | Julien Lepiller |
2021-11-20 | gnu: ocaml-topkg: Update to 1.0.4....* gnu/packages/ocaml.scm (ocaml-topkg): Update to 1.0.4. | Julien Lepiller |
2021-11-20 | gnu: ocaml-stdlib-shims: Update to 0.3.0....* gnu/packages/ocaml.scm (ocaml-stdlib-shims): Update to 0.3.0. | Julien Lepiller |
2021-11-20 | gnu: ocaml-sedlex: Update to 2.4....* gnu/packages/ocaml.scm (ocaml-sedlex): Update to 2.4. [native-inputs]: Remove ocamlbuild. [propagated-inputs]: Remove ocaml-ppx-tools-versioned. (ocaml4.07-sedlex)[propagated-inputs]: Add ocaml-ppx-tools-versioned. | Julien Lepiller |
2021-11-20 | gnu: ocaml-qtest: Update to 2.11.2....* gnu/packages/ocaml.scm (ocaml-qtest): Update to 2.11.2. | Julien Lepiller |
2021-11-20 | gnu: ocaml-qcheck: Update to 0.18....* gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.18. * gnu/packages/patches/ocaml-qcheck-fix-test-whitespace.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. | Julien Lepiller |
2021-11-20 | gnu: ocaml-ppx-variants-conv: Update to 0.14.2....* gnu/packages/ocaml.scm (ocaml-ppx-variants-conv): Update to 0.14.2. [origin]: Remove patch. * gnu/packages/patches/ocaml-ppx-variants-ppxlib-api-change.patch: Remove file. * gnu/local.mk (dist_patch_DATA): Remove it. | Julien Lepiller |
2021-11-20 | gnu: ocaml-ppx-js-style: Update to 0.14.1....* gnu/packages/ocaml.scm (ocaml-ppx-js-style): Update to 0.14.1. | Julien Lepiller |
2021-11-20 | gnu: ocaml-odoc: Update to 2.0.0....* gnu/packages/ocaml.scm (ocaml-odoc): Update to 2.0.0. [inputs, native-inputs]: Adjust inputs. (ocaml4.07-odoc)[inputs, native-inputs]: Keep previous inputs. | Julien Lepiller |
2021-11-20 | gnu: ocaml-ocplib-endian: Update to 1.2....* gnu/packages/ocaml.scm (ocaml-ocplib-endian): Update to 1.2. | Julien Lepiller |
2021-11-20 | gnu: ocaml-mtime: Update to 1.3.0....* gnu/packages/ocaml.scm (ocaml-mtime): Update to 1.3.0. | Julien Lepiller |
2021-11-20 | gnu: ocaml-mdx: Remove unneeded dependency....* gnu/packages/ocaml.scm (ocaml-mdx)[inputs]: remove ocaml-migrate-parsetree. | Julien Lepiller |
2021-11-20 | gnu: ocaml-integers: Update to 0.5.1. | Julien Lepiller |
2021-11-20 | gnu: ocaml-fmt: Update to 0.9.0....* gnu/packages/ocaml.scm (ocaml-fmt): Update to 0.9.0. (ocaml4.07-fmt): New variable. | Julien Lepiller |
2021-11-20 | gnu: pigx-bsseq: Update to 0.1.6....* gnu/packages/bioinformatics.scm (pigx-bsseq): Update to 0.1.6. | Ricardo Wurmus |
2021-11-20 | gnu: Add cl-flute....* gnu/packages/lisp-xyz.scm (cl-flute, ecl-flute, sbcl-flute): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> | Foo Chuan Wei |
2021-11-20 | gnu: Add cl-let-over-lambda....* gnu/packages/lisp-xyz.scm (cl-let-over-lambda, ecl-let-over-lambda, sbcl-let-over-lambda): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> | Foo Chuan Wei |
2021-11-20 | gnu: Add cl-assoc-utils....* gnu/packages/lisp-xyz.scm (cl-assoc-utils, ecl-assoc-utils, sbcl-assoc-utils): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> | Foo Chuan Wei |
2021-11-20 | gnu: Add libresprite....* gnu/packages/game-development.scm (libresprite): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com> | Ekaitz Zarraga |
2021-11-20 | gnu: Add litecli....* gnu/packages/databases.scm (litecli): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com> | Foo Chuan Wei |
2021-11-20 | gnu: python-folium: Fix build....* gnu/packages/python-xyz.scm (python-folium): Update hash. Upstream apparently re-tagged a different commit. | Nicolas Goaziou |
2021-11-20 | gnu: emacs-iter2: Update to 1.1....* gnu/packages/emacs-xyz.scm (emacs-iter2): Update to 1.1. | Nicolas Goaziou |
2021-11-20 | gnu: laby: Fix build....* gnu/packages/games.scm (laby)[inputs]: Use lablgtk3. [arguments]: Remove allow-unsafe-strings phase. | Julien Lepiller |
2021-11-20 | gnu: ocaml-frontc: Update to 4.1.0....* gnu/packages/ocaml.scm (ocaml-frontc): Update to 4.1.0. (ocaml4.07-frontc): New variable. | Julien Lepiller |
2021-11-20 | gnu: ocaml-fileutils: Update to 0.6.3....* gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.3. | Julien Lepiller |
2021-11-20 | gnu: ocaml-csv: Update to 2.4....* gnu/packages/ocaml.scm (ocaml-csv): Update to 2.4. | Julien Lepiller |
2021-11-20 | gnu: ocaml-csexp: Update to 1.5.1....* gnu/packages/ocaml.scm (ocaml-csexp): Update to 1.5.1. | Julien Lepiller |
2021-11-20 | gnu: ocaml-compiler-libs: Update to 0.12.4....* gnu/packages/ocaml.scm (ocaml-compiler-libs): Update to 0.12.4. | Julien Lepiller |
2021-11-20 | gnu: ocaml-menhir: Make it its own variant....* gnu/packages/ocaml.scm (ocaml-menhir)[properties]: Use the same menhir even with ocaml-4.07. | Julien Lepiller |
2021-11-20 | gnu: ocaml-bitsring: Update to 4.1.0....* gnu/packages/ocaml.scm (ocaml-bitstring): Update to 4.1.0. (ocaml4.07-bitstring): New variable. | Julien Lepiller |
2021-11-20 | gnu: coq-interval: Update home-page....* gnu/packages/coq.scm (coq-interval)[home-page]: Update. | Julien Lepiller |
2021-11-20 | gnu: coq-gappa: Update home-page....* gnu/packages/coq.scm (coq-gappa)[home-page]: Update. | Julien Lepiller |
2021-11-20 | gnu: coq-flocq: Update home-page....* gnu/packages/coq.scm (coq-flocq)[home-page]: Update. | Julien Lepiller |
2021-11-20 | gnu: Add ocaml4.07-cstruct....* gnu/packages/ocaml.scm (ocaml4.07-cstruct): New variable. | Julien Lepiller |
2021-11-20 | gnu: Add ocaml4.07-base64....* gnu/packages/ocaml.scm (ocaml4.07-base64): New variable. | Julien Lepiller |
2021-11-20 | gnu: ocaml-menhir: Update to 20211012....* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20211012. | Julien Lepiller |