aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/emacs-xyz.scm
AgeCommit message (Expand)Author
2022-01-28gnu: emacs-slime: Remove trailing #T from phases....* gnu/packages/emacs-xyz.scm (emacs-slime)[arguments]<#:phases>: Remove trailing #T. Nicolas Goaziou
2022-01-28gnu: emacs-slime: Update to 2.27....* gnu/packages/emacs-xyz.scm (emacs-slime): Update to 2.27. Nicolas Goaziou
2022-01-28gnu: emacs-ebdb: Update to 0.8.10....* gnu/packages/emacs-xyz.scm (emacs-ebdb): Update to 0.8.10. Nicolas Goaziou
2022-01-28gnu: emacs-literate-calc-mode: Update to 0.1-2.ba7d221....* gnu/packages/emacs-xyz.scm (emacs-literate-calc-mode): Update to 0.1-2.ba7d221. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Michael Rohleder
2022-01-28gnu: emacs-diminish: Update to 0.46-1.fd486ef....* gnu/packages/emacs-xyz.scm (emacs-diminish): Update to 0.46-1.fd486ef. [license]: Change from gpl2+ to gpl3+. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Michael Rohleder
2022-01-28gnu: emacs-deadgrep: Update to 0.11....* gnu/packages/emacs-xyz.scm (emacs-deadgrep): Update to 0.11. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Michael Rohleder
2022-01-28gnu: Add emacs-validate-html....* gnu/packages/emacs-xyz.scm (emacs-validate-html): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> jgart via Guix-patches via
2022-01-28gnu: Add emacs-alsamixer-el....* gnu/packages/emacs-xyz.scm (emacs-alsamixer-el): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> jgart via Guix-patches via
2022-01-26gnu: emacs-emms: Update to 9....* gnu/packages/emacs-xyz.scm (emacs-emms): Update to 9. Nicolas Goaziou
2022-01-26gnu: emacs-ebdb: Update to 0.8.9....* gnu/packages/emacs-xyz.scm (emacs-ebdb): Update to 0.8.9. Nicolas Goaziou
2022-01-25gnu: Add emacs-puni....* gnu/packages/emacs-xyz.scm (emacs-puni): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Niklas Eklund
2022-01-24gnu: emacs-posframe: Update to 1.1.7....* gnu/packages/emacs-xyz.scm (emacs-posframe): Update to 1.1.7. Nicolas Goaziou
2022-01-24gnu: emacs-meow: Update to 1.4.0....* gnu/packages/emacs-xyz.scm (emacs-meow): Update to 1.4.0. Nicolas Goaziou
2022-01-24gnu: emacs-geiser: Update to 0.22.1....* gnu/packages/emacs-xyz.scm (emacs-geiser): Update to 0.22.1. Nicolas Goaziou
2022-01-23gnu: emacs-multitran: Update to 0.4.14....* gnu/packages/emacs-xyz.scm (emacs-multitran): Update to 0.4.14. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Andrew Tropin
2022-01-23gnu: Add emacs-all-the-icons-completion....* gnu/packages/emacs-xyz.scm (emacs-all-the-icons-completion): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Brandon Lucas
2022-01-23gnu: Add emacs-cape....* gnu/packages/emacs-xyz.scm (emacs-cape): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Brandon Lucas
2022-01-23gnu: emacs-kind-icon: Fix license field....* gnu/packages/emacs-xyz.scm (emacs-kind-icon)[license]: Fix license. Nicolas Goaziou
2022-01-23gnu: Add emacs-fixed-pitch....* gnu/packages/emacs-xyz.scm (emacs-fixed-pitch): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Brandon Lucas
2022-01-23gnu: Add emacs-minimap....* gnu/packages/emacs-xyz.scm (emacs-minimap): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Brandon Lucas
2022-01-23gnu: Add emacs-kind-icon....* gnu/packages/emacs-xyz.scm (emacs-kind-icon): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Brandon Lucas
2022-01-23gnu: emacs-org-appear: Update to 0.3.0....* gnu/packages/emacs-xyz.scm (emacs-org-appear): Update to 0.3.0. Nicolas Goaziou
2022-01-23gnu: emacs-dtache: Update to 0.4....* gnu/packages/emacs-xyz.scm (emacs-dtache): Update to 0.4. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Niklas Eklund
2022-01-23gnu: emacs-debbugs: Update to 0.30....* gnu/packages/emacs-xyz.scm (emacs-debbugs): Update to 0.30. Nicolas Goaziou
2022-01-22gnu: Add emacs-setup....* gnu/packages/emacs-xyz.scm (emacs-setup): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> jgart via Guix-patches via
2022-01-21gnu: emacs-leaf: Update to 4.5.5....* gnu/packages/emacs-xyz.scm (emacs-leaf): Update to 4.5.5. Nicolas Goaziou
2022-01-19gnu: Add emacs-dtache....* gnu/packages/emacs-xyz.scm (emacs-dtache): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Niklas Eklund
2022-01-19gnu: emacs-telega-server: Update to 0.8.2-0-5739794d....* gnu/packages/emacs-xyz.scm (emacs-telega-server): Update to 0.8.2-0-5739794d. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Aleksandr Vityazev
2022-01-18gnu: emacs-xclip: Update to 1.11....* gnu/packages/emacs-xyz.scm (emacs-xclip): Update to 1.11. [source]: Use ".tar" extension. Nicolas Goaziou
2022-01-18gnu: emacs-svg-lib: Update to 0.2.5....* gnu/packages/emacs-xyz.scm (emacs-svg-lib): Update to 0.2.5. Nicolas Goaziou
2022-01-18gnu: emacs-xr: Update to 1.22....* gnu/packages/emacs-xyz.scm (emacs-xr): Update to 1.22. Nicolas Goaziou
2022-01-17Merge branch 'version-1.4.0'...With resolved conflicts in: gnu/packages/gnome.scm gnu/packages/openstack.scm gnu/packages/python-xyz.scm Maxim Cournoyer
2022-01-17gnu: emacs-geiser-guile: Use G-expressions....* gnu/packages/emacs-xyz.scm (emacs-geiser-guile)[arguments]<#:include, Nicolas Goaziou
2022-01-17gnu: emacs-ebuild-mode: Use G-expressions....* gnu/packages/emacs-xyz.scm (emacs-ebuild-mode)[arguments]<#:phases>: Use gexps. Nicolas Goaziou
2022-01-17gnu: emacs-ebuild-mode: Update to 1.55....* gnu/packages/emacs-xyz.scm (emacs-ebuild-mode): Update to 1.55. Nicolas Goaziou
2022-01-17gnu: emacs-ement: Propagate inputs....* gnu/packages/emacs-xyz (emacs-ement) <inputs>: Change to propagated-inputs. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Morgan Smith
2022-01-16gnu: Add emacs-fennel-mode....* gnu/packages/emacs-xyz.scm (emacs-fennel-mode): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Brandon Lucas
2022-01-10gnu: gnupg: Update to 2.2.32....* gnu/packages/gnupg.scm (gnupg): Update to 2.2.32. (gnupg-2.2.32): Delete variable. (qgpgme)[native-inputs]: Use the regular gnupg package. * gnu/packages/emacs-xyz.scm (emacs-pinentry): Likewise. Maxim Cournoyer
2022-01-15gnu: emacs-meow: Update to 1.3.0....* gnu/packages/emacs-xyz.scm (emacs-meow): Update to 1.3.0. Nicolas Goaziou
2022-01-15gnu: emacs-iedit: Update to 0.9.9.9.9....* gnu/packages/emacs-xyz.scm (emacs-iedit): Update to 0.9.9.9.9. Nicolas Goaziou
2022-01-15gnu: emacs-embark: Update to 0.15....* gnu/packages/emacs-xyz.scm (emacs-embark): Update to 0.15. Nicolas Goaziou
2022-01-15gnu: emacs-consult: Remove propagated-inputs....* gnu/packages/emacs-xyz (emacs-consult): [propagated-inputs]: Remove emacs-flycheck, there is currently no consult-flycheck.el file in the consult.el repository. consult-flycheck.el is stored in its own repository. Remove emacs-selectrum, an optional dependency. Not required for successful compilation. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Aleksandr Vityazev
2022-01-14gnu: emacs-org-roam: Use G-expressions....* gnu/packages/emacs-xyz.scm (emacs-org-roam)[arguments]: Use G-expressions. Nicolas Goaziou
2022-01-14gnu: emacs-org-roam: Remove trailing #T from phases....* gnu/packages/emacs-xyz.scm (emacs-org-roam)[arguments]<#:phases>: Remove trailing #T. Nicolas Goaziou
2022-01-14gnu: emacs-org-roam: Update to 2.2.0....* gnu/packages/emacs-xyz.scm (emacs-org-roam): Update to 2.2.0. Nicolas Goaziou
2022-01-14gnu: emacs-spacemacs-theme: Update to 0.2....* gnu/packages/emacs-xyz.scm (emacs-spacemacs-theme): Update to 0.2. Nicolas Goaziou
2022-01-14gnu: emacs-geiser: Update to 0.21.1....* gnu/packages/emacs-xyz.scm (emacs-geiser): Update to 0.21.1. Nicolas Goaziou
2022-01-14gnu: emacs-auctex: Update to 13.0.16....* gnu/packages/emacs-xyz.scm (emacs-auctex): Update to 13.0.16. Nicolas Goaziou
2022-01-14gnu: emacs-json-mode: Update to 1.0.15....* gnu/packages/emacs-xyz.scm (emacs-json-mode): Update to 1.0.15. [source]<origin>: Use ".tar" extension, since ".el" is only possible for first release ever in GNU ELPA. Nicolas Goaziou
2022-01-13gnu: emacs-geiser-guile: Update to 0.21....* gnu/packages/emacs-xyz.scm (emacs-geiser-guile): Update to 0.21. Nicolas Goaziou
akke <mbakke@fastmail.com> John Soo 2020-04-02gnu: proof-general: Update to 4.4....* gnu/packages/coq.scm (proof-general): Update to 4.4. [source]: Change to GIT-FETCH. [arguments]: Remove obsolete substitutions. Signed-off-by: Marius Bakke <mbakke@fastmail.com> John Soo 2020-03-05gnu: coq-mathcomp: Update home page URI....* gnu/packages/coq.scm (coq-mathcomp)[home-page]: Update URI. Björn Höfling 2020-01-07gnu: coq-stdpp: Reword comment....* gnu/packages/coq.scm (coq-stdpp)[arguments]: Reword comment about tests being executed during build phase, to read more fluently. Brett Gilio 2020-01-07gnu: coq-stdpp: Update to 1.2.1....* gnu/packages/coq.scm (coq-stdpp): Update to 1.2.1. [arguments]: Remove redundant COQLIB variable. Brett Gilio 2020-01-07gnu: coq-bignums: Fix comment spacing....* gnu/packages/coq.scm (coq-bignums)[arguments]: Fix comment spacing after disabling test phase. Brett Gilio 2020-01-07gnu: coq-bignums: Update to 8.10.0....* gnu/packages/coq.scm (coq-bignums): Update to 8.10.0. Brett Gilio 2020-01-06gnu: coq-equations: Update to 1.2.1....* gnu/packages/coq.scm (coq-equations): Update to 1.2.1. [arguments]: Replace configure phase to run configure shell script. Remove redundant COQLIB. Brett Gilio 2020-01-06gnu: coq-interval: Update to 3.4.1....* gnu/packages/coq.scm (coq-interval): Update to 3.4.1. [source]: Use GIT-FETCH and GIT-FILE-NAME. [native-inputs]: Add autoconf and automake for remake. Brett Gilio 2020-01-06gnu: coq-coquelicot: Truncate home-page....* gnu/packages/coq.scm (coq-coquelicot)[home-page]: Truncate home-page. Brett Gilio 2020-01-06gnu: coq-coquelicot: Update to 3.0.3....* gnu/packages/coq.scm (coq-coquelicot): Update to 3.0.3. [source]: Use GIT-FETCH and GIT-FILE-NAME. [native-inputs]: Add autoconf and automake. Brett Gilio 2020-01-06gnu: coq-gappa: Use HTTPS home page URI....* gnu/packages/coq.scm (coq-gappa)[home-page]: Use HTTPS URI. Brett Gilio 2020-01-06gnu: coq-gappa: Update to 1.4.2....* gnu/packages/coq.scm (coq-gappa): Update to 1.4.2. [source]: Use GIT-FETCH and GIT-FILE-NAME. [native-inputs]: Add autoconf and automake for remake, as well as campl5 for parsing. [propagated-inputs]: coq-gabba now depends on coq-flocq. [arguments]: Temporarily disable check chase until error resolution is identified. Brett Gilio 2020-01-06gnu: coq-flocq: Use HTTPS home page URI....* gnu/packages/coq.scm (coq-flocq)[home-page]: Use HTTPS URI. Brett Gilio 2020-01-06gnu: coq-flocq: Update to 3.2.0....* gnu/packages/coq.scm (coq-flocq): Update to 3.2.0. [source]: Use GIT-FETCH and GIT-FILE-NAME. [native-inputs]: Add autoconf and automake for remake. [arguments]: Add remove-failing-examples phase to work around union error. Brett Gilio 2020-01-06gnu: coq: Reword several comments....* gnu/packages/coq.scm (coq): Reword several comments to improve readability. Brett Gilio 2020-01-06gnu: coq: Update to 8.10.2....* gnu/packages/coq.scm (coq): Update to 8.10.2. [inputs]: Replace lablgtk with lablgtk3. [arguments]: Remove remove-lablgtk-references phase, as it no longer appears to be necessary. Brett Gilio 2020-01-05gnu: coq-mathcomp: Update to 1.10.0....* gnu/packages/coq.scm (coq-mathcomp): Update to 1.10.0. [arguments]: Modify comment about tests. Remove redundant setting of COQLIB environment variable. Brett Gilio