| Age | Commit message (Expand) | Author |
|---|
| 2022-11-27 | gnu: coq-core: Update to 8.16.1....* gnu/packages/coq.scm (coq-core): Update to 8.16.1.
| Julien Lepiller |
| 2022-10-23 | gnu: Fix typos....* gnu/packages/emacs-xyz.scm (emacs-piem)[description]: Fix use of "This
packages".
* gnu/packages/tex.scm (texlive-hardwrap)[description]: Fix spelling of
"arbitrary".
* gnu/packages/cran.scm (r-shinymanager)[description]: Fix spelling of
"authentication".
* gnu/packages/lisp-xyz.scm (sbcl-utils-kt)[description]: Fix spelling of
"developed".
* gnu/packages/crates-io.scm (rust-fs-utils-1)[description]: Fix spelling of
"filesystem".
[synopsis]: Likewise.
* gnu/packages/haxe.scm (neko)[description]: Fix spelling of "functions".
* gnu/packages/animation.scm (swftools)[description]: Fix needless
pluralization of "information".
* gnu/packages/lisp-xyz.scm (sbcl-slot-extra-options)[description]: Fix
spelling of "inheritance".
* gnu/packages/emacs-xyz.scm (emacs-js-comint)[description]: Fix spelling of
"interpreter".
* gnu/packages/coq.scm (coq-mathcomp-finmap)[description]: Fix spelling of
"library".
* gnu/services/lightdm.scm (lightdm-configuration): Fix spelling of
"mechanism".
* gnu/packages/emacs-xyz.scm (emacs-citar-org-roam)[synopsis]: Fix spelling of
"package".
* gnu/packages/games.scm (freerct)[description]: Fix spelling of
"responsibilities".
* gnu/packages/statistics.scm (r-mixedpower)[description]: Fix spelling of
"separate".
* gnu/packages/accessibility.scm (espeakup)[description]: Fix spelling of
"speech".
* gnu/packages/bioinformatics.scm (r-skitools)[synopsis]: Fix spelling of
"utilities".
* gnu/packages/golang.scm (go-github-com-savsgio-gotils)[synopsis]: Fix
spelling of "utilities".
[description]: Likewise.
* gnu/system.scm (boot-file-system-service os): Fix spelling of "utilities".
| Vagrant Cascadian |
| 2022-09-24 | gnu: Add coq-mathcomp-bigenough....* gnu/packages/coq.scm (coq-mathcomp-bigenough): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| Garek Dyszel |
| 2022-09-24 | gnu: Add coq-mathcomp-finmap....* gnu/packages/coq.scm (coq-mathcomp-finmap): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| Garek Dyszel |
| 2022-09-22 | gnu: coq: Update to 8.16.0....* gnu/packages/coq.scm (coq-core): Update to 8.16.0.
(coq-bignums): Update to 8.16.0.
(coq-equations): Update to 1.3-8.16.
(coq-gappa): Adjust for changes in coq-core.
| Julien Lepiller |
| 2022-09-22 | gnu: coq-interval: Update to 4.5.2....* gnu/packages/coq.scm (coq-interval): Update to 4.5.2.
| Julien Lepiller |
| 2022-09-22 | gnu: coq-mathcomp: Update to 1.15.0....* gnu/packages/coq.scm (coq-mathcomp): Update to 1.15.0.
| Julien Lepiller |
| 2022-09-22 | gnu: coq-gappa: Update to 1.5.2....* gnu/packages/coq.scm (coq-gappa): Update to 1.5.2.
| Julien Lepiller |
| 2022-09-22 | gnu: coq-flocq: Update to 4.1.0....* gnu/packages/coq.scm (coq-flocq): Update to 4.1.0.
| Julien Lepiller |
| 2022-09-22 | gnu: lablgtk3: Update to 3.1.2....* gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.2.
[arguments]: Do not build extensions anymore (missing dependency)
* gnu/packages/games.scm (laby)[inputs]: Use
`ocaml-lablgtk3-sourceview3'.
* gnu/packages/maths.scm (frama-c)[inputs]: Use
`ocaml-lablgtk3-sourceview3'.
* gnu/packages/coq.scm (coq-ide)[inputs]: Use
`ocaml-lablgtk3-sourceview3'.
| Julien Lepiller |
