summaryrefslogtreecommitdiff
path: root/gnu
AgeCommit message (Expand)Author
2021-11-21gnu: coq-interval: Update to 4.3.1....* gnu/packages/coq.scm (coq-interval): Update to 4.3.1. Julien Lepiller
2021-11-21gnu: coq-coquelicot: Update to 3.2.0....* gnu/packages/coq.scm (coq-coquelicot): Update to 3.2.0. Julien Lepiller
2021-11-21gnu: coq-mathcomp: Update to 1.13.0....* gnu/packages/coq.scm (coq-mathcomp): Update to 1.13.0. Julien Lepiller
2021-11-21gnu: coq-gappa: Update to 1.5.0....* gnu/packages/coq.scm (coq-gappa): Update to 1.5.0. Julien Lepiller
2021-11-21gnu: coq-flocq: Update to 3.4.2....* gnu/packages/coq.scm (coq-flocq): Update to 3.4.2. Julien Lepiller
2021-11-21gnu: camlboot: Increase max-silent-time....* gnu/packages/ocaml.scm (camlboot)[properties]: Set max-silent-time to 10 hours. Julien Lepiller
2021-11-21gnu: 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-21gnu: 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-21gnu: 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-21gnu: Add gsimplecal....* gnu/packages/calendar.scm (gsimplecal): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com> Jaft
2021-11-21gnu: camlboot: Update to latest commit....* gnu/packages/ocaml.scm (camlboot): Update to latest commit. Julien Lepiller
2021-11-20gnu: 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-20gnu: 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-20gnu: Add ocaml-fftw3....* gnu/packages/ocaml.scm (ocaml4.07-fftw3): Replace with... (ocaml-fftw3) ...this. Use latest ocaml package. Julien Lepiller
2021-11-20gnu: Add ocaml-lacaml....* gnu/packages/ocaml.scm (ocaml4.07-lacaml): Replace with... (ocaml-lacaml): ...this. Use latest ocaml package. Julien Lepiller
2021-11-20gnu: 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-20gnu: 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-20gnu: ocaml-version: Update to 3.4.0....* gnu/packages/ocaml.scm (ocaml-version): Update to 3.4.0. Julien Lepiller
2021-11-20gnu: ocaml-tyxml: Update to 4.5.0....* gnu/packages/ocaml.scm (ocaml-tyxml): Update to 4.5.0. Julien Lepiller
2021-11-20gnu: ocaml-topkg: Update to 1.0.4....* gnu/packages/ocaml.scm (ocaml-topkg): Update to 1.0.4. Julien Lepiller
2021-11-20gnu: ocaml-stdlib-shims: Update to 0.3.0....* gnu/packages/ocaml.scm (ocaml-stdlib-shims): Update to 0.3.0. Julien Lepiller
2021-11-20gnu: 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-20gnu: ocaml-qtest: Update to 2.11.2....* gnu/packages/ocaml.scm (ocaml-qtest): Update to 2.11.2. Julien Lepiller
2021-11-20gnu: 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-20gnu: 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-20gnu: 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-20gnu: 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-20gnu: ocaml-ocplib-endian: Update to 1.2....* gnu/packages/ocaml.scm (ocaml-ocplib-endian): Update to 1.2. Julien Lepiller
2021-11-20gnu: ocaml-mtime: Update to 1.3.0....* gnu/packages/ocaml.scm (ocaml-mtime): Update to 1.3.0. Julien Lepiller
2021-11-20gnu: ocaml-mdx: Remove unneeded dependency....* gnu/packages/ocaml.scm (ocaml-mdx)[inputs]: remove ocaml-migrate-parsetree. Julien Lepiller
2021-11-20gnu: ocaml-integers: Update to 0.5.1.Julien Lepiller
2021-11-20gnu: 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-20gnu: pigx-bsseq: Update to 0.1.6....* gnu/packages/bioinformatics.scm (pigx-bsseq): Update to 0.1.6. Ricardo Wurmus
2021-11-20gnu: 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-20gnu: 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-20gnu: 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-20gnu: Add libresprite....* gnu/packages/game-development.scm (libresprite): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com> Ekaitz Zarraga
2021-11-20gnu: Add litecli....* gnu/packages/databases.scm (litecli): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com> Foo Chuan Wei
2021-11-20gnu: python-folium: Fix build....* gnu/packages/python-xyz.scm (python-folium): Update hash. Upstream apparently re-tagged a different commit. Nicolas Goaziou
2021-11-20gnu: emacs-iter2: Update to 1.1....* gnu/packages/emacs-xyz.scm (emacs-iter2): Update to 1.1. Nicolas Goaziou
2021-11-20gnu: laby: Fix build....* gnu/packages/games.scm (laby)[inputs]: Use lablgtk3. [arguments]: Remove allow-unsafe-strings phase. Julien Lepiller
2021-11-20gnu: 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-20gnu: ocaml-fileutils: Update to 0.6.3....* gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.3. Julien Lepiller
2021-11-20gnu: ocaml-csv: Update to 2.4....* gnu/packages/ocaml.scm (ocaml-csv): Update to 2.4. Julien Lepiller
2021-11-20gnu: ocaml-csexp: Update to 1.5.1....* gnu/packages/ocaml.scm (ocaml-csexp): Update to 1.5.1. Julien Lepiller
2021-11-20gnu: ocaml-compiler-libs: Update to 0.12.4....* gnu/packages/ocaml.scm (ocaml-compiler-libs): Update to 0.12.4. Julien Lepiller
2021-11-20gnu: 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-20gnu: 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-20gnu: coq-interval: Update home-page....* gnu/packages/coq.scm (coq-interval)[home-page]: Update. Julien Lepiller
2021-11-20gnu: coq-gappa: Update home-page....* gnu/packages/coq.scm (coq-gappa)[home-page]: Update. Julien Lepiller
generated by cgit v1.2.3 (git 2.46.2) at 2024-11-13 01:34:16 +0000