aboutsummaryrefslogtreecommitdiff
path: root/gnu
Commit message (Collapse)AuthorAge
...
* gnu: coq-stdpp: Update to 1.6.0.Julien Lepiller2021-11-21
| | | | * gnu/packages/coq.scm (coq-stdpp): Update to 1.6.0.
* gnu: coq-interval: Update to 4.3.1.Julien Lepiller2021-11-21
| | | | * gnu/packages/coq.scm (coq-interval): Update to 4.3.1.
* gnu: coq-coquelicot: Update to 3.2.0.Julien Lepiller2021-11-21
| | | | * gnu/packages/coq.scm (coq-coquelicot): Update to 3.2.0.
* gnu: coq-mathcomp: Update to 1.13.0.Julien Lepiller2021-11-21
| | | | * gnu/packages/coq.scm (coq-mathcomp): Update to 1.13.0.
* gnu: coq-gappa: Update to 1.5.0.Julien Lepiller2021-11-21
| | | | * gnu/packages/coq.scm (coq-gappa): Update to 1.5.0.
* gnu: coq-flocq: Update to 3.4.2.Julien Lepiller2021-11-21
| | | | * gnu/packages/coq.scm (coq-flocq): Update to 3.4.2.
* gnu: camlboot: Increase max-silent-time.Julien Lepiller2021-11-21
| | | | | * gnu/packages/ocaml.scm (camlboot)[properties]: Set max-silent-time to 10 hours.
* gnu: ibus-theme-tools: Do not delete check phase.Liliana Marie Prikler2021-11-21
| | | | | | * gnu/packages/ibus.scm (ibus-theme-tools)[#:tests?]: Add with value #f and an appropriate comment. [#:phases]: Drop.
* gnu: Add ibus-theme-tools.Songlin Jiang2021-11-21
| | | | | | * gnu/packages/ibus.scm (ibus-theme-tools): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
* gnu: Add gnome-shell-extension-customize-ibus.Songlin Jiang2021-11-21
| | | | | | | * 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.Jaft2021-11-21
| | | | | | * gnu/packages/calendar.scm (gsimplecal): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
* gnu: camlboot: Update to latest commit.Julien Lepiller2021-11-21
| | | | * gnu/packages/ocaml.scm (camlboot): Update to latest commit.
* gnu: Add ocaml-charinfo-width.Julien Lepiller2021-11-20
| | | | | * gnu/packages/ocaml.scm (ocaml4.07-charinfo-width): Replace with... (ocaml-charinfo-width): ...this. Use latest ocaml package.
* gnu: Add ocaml-gsl.Julien Lepiller2021-11-20
| | | | | | * gnu/packages/ocaml.scm (ocaml4.07-gsl): Replace with... (ocaml-gsl): ...this. Use latest ocaml package. (ocaml4.07-gsl-1): Adapt accordingly.
* gnu: Add ocaml-fftw3.Julien Lepiller2021-11-20
| | | | | * gnu/packages/ocaml.scm (ocaml4.07-fftw3): Replace with... (ocaml-fftw3) ...this. Use latest ocaml package.
* gnu: Add ocaml-lacaml.Julien Lepiller2021-11-20
| | | | | * gnu/packages/ocaml.scm (ocaml4.07-lacaml): Replace with... (ocaml-lacaml): ...this. Use latest ocaml package.
* gnu: linux-libre 5.10: Update to 5.10.80.Leo Famulari2021-11-20
| | | | | * gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.80. (linux-libre-5.10-pristine-source): Update hash.
* gnu: linux-libre: Update to 5.14.20.Leo Famulari2021-11-20
| | | | | * gnu/packages/linux.scm (linux-libre-5.14-version): Update to 5.14.20. (linux-libre-5.14-pristine-source): Update hash.
* gnu: ocaml-version: Update to 3.4.0.Julien Lepiller2021-11-20
| | | | * gnu/packages/ocaml.scm (ocaml-version): Update to 3.4.0.
* gnu: ocaml-tyxml: Update to 4.5.0.Julien Lepiller2021-11-20
| | | | * gnu/packages/ocaml.scm (ocaml-tyxml): Update to 4.5.0.
* gnu: ocaml-topkg: Update to 1.0.4.Julien Lepiller2021-11-20
| | | | * gnu/packages/ocaml.scm (ocaml-topkg): Update to 1.0.4.
* gnu: ocaml-stdlib-shims: Update to 0.3.0.Julien Lepiller2021-11-20
| | | | * gnu/packages/ocaml.scm (ocaml-stdlib-shims): Update to 0.3.0.
* gnu: ocaml-sedlex: Update to 2.4.Julien Lepiller2021-11-20
| | | | | | | * 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.
* gnu: ocaml-qtest: Update to 2.11.2.Julien Lepiller2021-11-20
| | | | * gnu/packages/ocaml.scm (ocaml-qtest): Update to 2.11.2.
* gnu: ocaml-qcheck: Update to 0.18.Julien Lepiller2021-11-20
| | | | | | * 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.
* gnu: ocaml-ppx-variants-conv: Update to 0.14.2.Julien Lepiller2021-11-20
| | | | | | | | * 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.
* gnu: ocaml-ppx-js-style: Update to 0.14.1.Julien Lepiller2021-11-20
| | | | * gnu/packages/ocaml.scm (ocaml-ppx-js-style): Update to 0.14.1.
* gnu: ocaml-odoc: Update to 2.0.0.Julien Lepiller2021-11-20
| | | | | | * 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.
* gnu: ocaml-ocplib-endian: Update to 1.2.Julien Lepiller2021-11-20
| | | | * gnu/packages/ocaml.scm (ocaml-ocplib-endian): Update to 1.2.
* gnu: ocaml-mtime: Update to 1.3.0.Julien Lepiller2021-11-20
| | | | * gnu/packages/ocaml.scm (ocaml-mtime): Update to 1.3.0.
* gnu: ocaml-mdx: Remove unneeded dependency.Julien Lepiller2021-11-20
| | | | | * gnu/packages/ocaml.scm (ocaml-mdx)[inputs]: remove ocaml-migrate-parsetree.
* gnu: ocaml-integers: Update to 0.5.1.Julien Lepiller2021-11-20
|
* gnu: ocaml-fmt: Update to 0.9.0.Julien Lepiller2021-11-20
| | | | | * gnu/packages/ocaml.scm (ocaml-fmt): Update to 0.9.0. (ocaml4.07-fmt): New variable.
* gnu: pigx-bsseq: Update to 0.1.6.Ricardo Wurmus2021-11-20
| | | | * gnu/packages/bioinformatics.scm (pigx-bsseq): Update to 0.1.6.
* gnu: Add cl-flute.Foo Chuan Wei2021-11-20
| | | | | | | * gnu/packages/lisp-xyz.scm (cl-flute, ecl-flute, sbcl-flute): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
* gnu: Add cl-let-over-lambda.Foo Chuan Wei2021-11-20
| | | | | | | * 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>
* gnu: Add cl-assoc-utils.Foo Chuan Wei2021-11-20
| | | | | | | * 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>
* gnu: Add libresprite.Ekaitz Zarraga2021-11-20
| | | | | | * gnu/packages/game-development.scm (libresprite): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
* gnu: Add litecli.Foo Chuan Wei2021-11-20
| | | | | | * gnu/packages/databases.scm (litecli): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
* gnu: python-folium: Fix build.Nicolas Goaziou2021-11-20
| | | | | * gnu/packages/python-xyz.scm (python-folium): Update hash. Upstream apparently re-tagged a different commit.
* gnu: emacs-iter2: Update to 1.1.Nicolas Goaziou2021-11-20
| | | | * gnu/packages/emacs-xyz.scm (emacs-iter2): Update to 1.1.
* gnu: laby: Fix build.Julien Lepiller2021-11-20
| | | | | * gnu/packages/games.scm (laby)[inputs]: Use lablgtk3. [arguments]: Remove allow-unsafe-strings phase.
* gnu: ocaml-frontc: Update to 4.1.0.Julien Lepiller2021-11-20
| | | | | * gnu/packages/ocaml.scm (ocaml-frontc): Update to 4.1.0. (ocaml4.07-frontc): New variable.
* gnu: ocaml-fileutils: Update to 0.6.3.Julien Lepiller2021-11-20
| | | | * gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.3.
* gnu: ocaml-csv: Update to 2.4.Julien Lepiller2021-11-20
| | | | * gnu/packages/ocaml.scm (ocaml-csv): Update to 2.4.
* gnu: ocaml-csexp: Update to 1.5.1.Julien Lepiller2021-11-20
| | | | * gnu/packages/ocaml.scm (ocaml-csexp): Update to 1.5.1.
* gnu: ocaml-compiler-libs: Update to 0.12.4.Julien Lepiller2021-11-20
| | | | * gnu/packages/ocaml.scm (ocaml-compiler-libs): Update to 0.12.4.
* gnu: ocaml-menhir: Make it its own variant.Julien Lepiller2021-11-20
| | | | | * gnu/packages/ocaml.scm (ocaml-menhir)[properties]: Use the same menhir even with ocaml-4.07.
* gnu: ocaml-bitsring: Update to 4.1.0.Julien Lepiller2021-11-20
| | | | | * gnu/packages/ocaml.scm (ocaml-bitstring): Update to 4.1.0. (ocaml4.07-bitstring): New variable.
* gnu: coq-interval: Update home-page.Julien Lepiller2021-11-20
| | | | * gnu/packages/coq.scm (coq-interval)[home-page]: Update.
generated by cgit v1.2.3 (git 2.45.0) at 2024-11-28 11:52:29 +0000