| Commit message (Collapse) | Author | Age |
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-csv): Update to 2.4.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-csexp): Update to 1.5.1.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-compiler-libs): Update to 0.12.4.
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-menhir)[properties]: Use the same menhir
even with ocaml-4.07.
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-bitstring): Update to 4.1.0.
(ocaml4.07-bitstring): New variable.
|
|
|
|
| |
* gnu/packages/coq.scm (coq-interval)[home-page]: Update.
|
|
|
|
| |
* gnu/packages/coq.scm (coq-gappa)[home-page]: Update.
|
|
|
|
| |
* gnu/packages/coq.scm (coq-flocq)[home-page]: Update.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml4.07-cstruct): New variable.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml4.07-base64): New variable.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20211012.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-uunf): Update to 14.0.0.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-uucp): Update to 14.0.0.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-uucd): Update to 14.0.0.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-uuseg): Update to 14.0.0.
|
|
|
|
|
|
|
| |
This is a followup to 3f6953b54e183a36d6e5a2c6d7a5a3d4a09b8a53.
* gnu/packages/lisp-xyz.scm (sbcl-cxml-rng)[license]: Change to
'license:bsd-2'.
|
|
|
|
| |
* gnu/packages/databases.scm (mycli)[home-page]: Update.
|
|
|
|
|
|
|
| |
* gnu/packages/databases.scm (mycli): Update to 1.24.1.
[propagated-inputs]: Add python-pyaes and python-pyperclip.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-ounit): Update to 2.2.4. Inherit from
ocaml-ounit2.
[arguments]: Use installation instructions from opam.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-flymake-kondor): Update to 0.1.3.
|
|
|
|
| |
* gnu/packages/web-browsers.scm (nyxt): Update to 2.2.3.
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (sbcl-cl-webkit): Update to 3.4.0.
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (cl-https-everywhere, sbcl-cl-https-everywhere):
New variables.
|
|
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-evil-multiedit): Update to 1.4.1.
[arguments]<#:phases>: Prevent test suite from downloading packages. Remove
trailing #t.
|
|
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (cl-terminal-keypress,
ecl-terminal-keypress, sbcl-terminal-keypress): New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (cl-trivial-raw-io, ecl-trivial-raw-io,
sbcl-trivial-raw-io): New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (cl-which, ecl-which, sbcl-which): New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (cl-trivial-open-browser,
ecl-trivial-open-browser, sbcl-trivial-open-browser):
New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (cl-terminal-size, ecl-terminal-size,
sbcl-terminal-size): New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (cl-routes, ecl-routes, sbcl-routes):
New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (cl-pileup, ecl-pileup, sbcl-pileup):
New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (cl-path-parse, ecl-path-parse,
sbcl-path-parse): New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (cl-genhash, ecl-genhash, sbcl-genhash):
New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
| |
* gnu/packages/xdisorg.scm (jgmenu): Update to 4.4.0.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-toc-org): Update to 1.2.0.
|
|
|
|
| |
* gnu/packages/statistics.scm (r-desctools): New variable.
|
|
|
|
| |
* gnu/packages/statistics.scm (r-exact): New variable.
|
|
|
|
| |
* gnu/packages/statistics.scm (r-gld): New variable.
|
|
|
|
| |
* gnu/packages/statistics.scm (r-lmom): New variable.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-modus-themes): Update to 1.7.0.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml4.07-merlin): Remove package.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-jst-config): Update to 0.14.1.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-base): Update to 0.14.1.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-lwt-react): Update to 1.1.4.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-lwt): Update to 5.4.2.
|
|
|
|
| |
* gnu/packages/ocaml.scm (dune): Update to 2.9.1.
|
|
|
|
|
| |
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.160.
(linux-libre-5.4-pristine-source): Update hash.
|
|
|
|
|
| |
* gnu/packages/linux.scm (linux-libre-5.14-version): Update to 5.14.19.
(linux-libre-5.14-pristine-source, deblob-scripts-5.14): Update hashes.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.5.0.
|
|
|
|
| |
* gnu/packages/geo.scm (gplates): New variable.
|