Florian Pelz
f0752de257
doc: Use accurate wording in Emacs-Debbugs configuration.
...
'M-x debbugs-gnu' does not prompt for which bugs to show.
'C-u M-x debbugs-gnu' would.
Follow-up to 19fe24c5b9
.
* doc/contributing.texi (Viewing Bugs within Emacs): Make comment
more accurate.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2023-12-31 01:01:40 -05:00
Hilton Chain
9d148d08be
gnu: font-lxgw-wenkai: Update to 1.315.
...
* gnu/packages/fonts.scm (font-lxgw-wenkai): Update to 1.315.
Change-Id: I28d0526af7868a50a378fcbd5bd2d11d27b02aa1
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2023-12-31 11:05:38 +08:00
Vagrant Cascadian
111d010921
gnu: diffoscope: Update to 253.
...
* gnu/packages/diffoscope.scm (diffoscope): Update to 253.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
Change-Id: I70d0130c8cc3cdea03546969a0e87eb4c637fc5b
2023-12-31 11:05:38 +08:00
Greg Hogan
f36bcd14c6
gnu: shflags: Update to 1.3.0.
...
* gnu/packages/version-control.scm (shflags): Update to 1.3.0.
Change-Id: I8463a45d4a2526d971441292e7ec94c9e0710521
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2023-12-31 11:05:38 +08:00
Bruno Victal
7310d4fcc3
gnu: mympd: Update to 13.0.6.
...
* gnu/packages/mpd.scm (mympd): Update to 13.0.6.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
Change-Id: Iaaf3985ce4c1399bb0709f2e6702df2a232a1e48
2023-12-31 11:05:38 +08:00
Kaelyn Takata
976fe648df
gnu: glfw: Update to 3.3.9.
...
* gnu/packages/gl.scm (glfw): Update to 3.3.9.
Change-Id: Ide5ec168e97d431dba007bd6095635dab83b87c4
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2023-12-31 11:05:38 +08:00
Julien Lepiller
b8aea26c4f
gnu: Remove ocaml-markup0.8.0.
...
This is only used for ocaml4.07.
* gnu/packages/ocaml.scm (ocaml-markup0.8.0): Remove variable.
(ocaml-markup)[properties]: Remove variant.
Change-Id: Ib6444d67f5b8fba13e8ca7bca444ed9e29efa7de
2023-12-30 22:14:45 +01:00
Julien Lepiller
4a7b588923
gnu: Remove ocaml4.07-sexplib0.
...
* gnu/packages/ocaml.scm (ocaml4.07-sexplib0): Remove variable.
(ocaml-sexplib0)[properties]: Remove variant.
Change-Id: Ie370668adc446fc4c2b04206a6657380e5e09790
2023-12-30 22:13:57 +01:00
Julien Lepiller
e22e54aa04
gnu: Remove ocaml4.07-lwt.
...
* gnu/packages/ocaml.scm (ocaml4.07-lwt): Remove variable.
(ocaml-lwt)[properties]: Remove variant.
Change-Id: I3db8b1656ead127a9081d843a3ad387706bcc982
2023-12-30 22:13:52 +01:00
Julien Lepiller
b1b2eb4040
gnu: Remove ocaml4.07-base.
...
* gnu/packages/ocaml.scm (ocaml4.07-base): Remove variable.
(ocaml-base)[properties]: Remove variant.
Change-Id: I07813a2865b3bb42e0adf75e74bfebe372f1e789
2023-12-30 22:13:48 +01:00
Julien Lepiller
cad3698635
gnu: Remove ocaml4.07-stdio.
...
* gnu/packages/ocaml.scm (ocaml4.07-stdio): Remove variable.
(ocaml-stdio)[properties]: Remove variant.
Change-Id: I5a664b5130408eba41266f36cfc03641e2a8fd9d
2023-12-30 22:13:42 +01:00
Julien Lepiller
0806c87cb2
gnu: Remove ocaml4.07-re.
...
* gnu/packages/ocaml.scm (ocaml4.07-re): Remove variable.
(ocaml-re)[properties]: Remove variant.
Change-Id: Ib3cf5188737579908e945bd49617b6d717da4250
2023-12-30 22:12:55 +01:00
Julien Lepiller
aca25d415b
gnu: Remove ocaml4.07-compiler-libs.
...
* gnu/packages/ocaml.scm (ocaml4.07-compiler-libs): Remove variable.
(ocaml-compiler-libs)[properties]: Remove variant.
Change-Id: Idf54330537c2ff9317a4650df06ece7bd980b1da
2023-12-30 22:12:52 +01:00
Julien Lepiller
29a82bf5fc
gnu: Remove ocaml4.07-cmdliner.
...
* gnu/packages/ocaml.scm (ocaml4.07-cmdliner): Remove variable.
(ocaml-cmdliner)[properties]: Remove variant.
Change-Id: I83cd2ca87356a103201b3c1ffb1a8de4b081a9da
2023-12-30 22:12:47 +01:00
Julien Lepiller
3936d07da2
gnu: Remove ocaml4.07-lablgtk.
...
* gnu/packages/ocaml.scm (ocaml4.07-lablgtk): Remove variable.
(lablgtk)[properties]: Remove variant.
Change-Id: I931b9316834d109fe291dbb8d1217690e129b9ee
2023-12-30 22:12:44 +01:00
Julien Lepiller
ad5a1abec8
gnu: Remove ocaml4.07-uuidm.
...
* gnu/packages/ocaml.scm (ocaml4.07-uuidm): Remove variable.
(ocaml-uuidm)[properties]: Remove variant.
Change-Id: I8ff5a145eb1057f8aff869f865c562134c9afc9d
2023-12-30 22:12:35 +01:00
Julien Lepiller
3406364250
gnu: Remove ocaml4.07-ppxlib.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppxlib): Remove variable.
(ocaml-ppxlib)[properties]: Remove variant.
Change-Id: I6b19e7751d1c21549d261281ae400f90c8d88c6c
2023-12-30 22:12:29 +01:00
Julien Lepiller
937cae5bbe
gnu: Remove ocaml4.07-configurator.
...
* gnu/packages/ocaml.scm (ocaml4.07-configurator): Remove variable.
Change-Id: If30443dcb2004f5248e6dff33c96b14e4d00daa9
2023-12-30 22:12:22 +01:00
Julien Lepiller
aed922fcdd
gnu: Remove ocaml4.07-migrate-parsetree.
...
* gnu/packages/ocaml.scm (ocaml4.07-migrate-parsetree): Remove variable.
(ocaml-migrate-parsetree)[properties]: Remove variant.
Change-Id: Iec470c670517fbb8b1b554c3a357b08972c48853
2023-12-30 22:12:18 +01:00
Julien Lepiller
1cef2c561f
gnu: Remove ocaml4.07-fmt.
...
* gnu/packages/ocaml.scm (ocaml4.07-fmt): Remove variable.
(ocaml-fmt)[properties]: Remove variant.
Change-Id: I35d294d764a1e3fd8160a7da9cbd5cab9bea4660
2023-12-30 22:12:15 +01:00
Julien Lepiller
571878854c
gnu: Remove ocaml4.07-parsexp.
...
* gnu/packages/ocaml.scm (ocaml4.07-parsexp): Remove variable.
(ocaml-parsexp)[properties]: Remove variant.
Change-Id: I8f4ba60895845ba8a45d87107c5b0f7ce0674f99
2023-12-30 22:12:09 +01:00
Julien Lepiller
dc86d672c9
gnu: Remove ocaml4.07-variantslib.
...
* gnu/packages/ocaml.scm (ocaml4.07-variantslib): Remove variable.
(ocaml-variantslib)[properties]: Remove variant.
Change-Id: Ie05207ed1bb675c91e68058cd2a1ff0e63ccf532
2023-12-30 22:12:06 +01:00
Julien Lepiller
c02058bef6
gnu: Remove ocaml4.07-fieldslib.
...
* gnu/packages/ocaml.scm (ocaml4.07-fieldslib): Remove variable.
(ocaml-fieldslib)[properties]: Remove variant.
Change-Id: Ic915d16ee2f45a198f63896ad0ad22ac57815958
2023-12-30 22:12:03 +01:00
Julien Lepiller
697328419e
gnu: Remove ocaml4.07-ppx-sexp-conv.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-sexp-conv): Remove variable.
(ocaml-ppx-sexp-conv)[properties]: Remove variant.
Change-Id: I6471c4e4f0c7cd8d3dd04f0ea0f4ce064759b37b
2023-12-30 22:12:00 +01:00
Julien Lepiller
f6cda7691f
gnu: Remove ocaml4.07-ppx-fields-conv.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-fields-conv): Remove variable.
(ocaml-ppx-fields-conv)[properties]: Remove variant.
Change-Id: Ie109e8ac78166e2df6cfece2fd80961a4d5cb6db
2023-12-30 22:11:57 +01:00
Julien Lepiller
c0505c9073
gnu: Remove ocaml4.07-ppx-compare.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-compare): Remove variable.
(ocaml-ppx-compare)[properties]: Remove variant.
Change-Id: Idac9eb2fe20e6849a791b758507211b47969aafa
2023-12-30 22:11:54 +01:00
Julien Lepiller
dee924ac26
gnu: Remove ocaml4.07-ppx-variants-conv.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-variants-conv): Remove variable.
(ocaml-ppx-variants-conv)[properties]: Remove variant.
Change-Id: Ib386d87c5b1cdd031155da7c8cfdcbc763624470
2023-12-30 22:11:51 +01:00
Julien Lepiller
43d528a532
gnu: Remove ocaml4.07-ppx-custom-printf.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-custom-printf): Remove variable.
(ocaml-ppx-custom-printf)[properties]: Remove variant.
Change-Id: Icc9e85727c28f9fd4aab07c7661282aed7dd1567
2023-12-30 22:11:48 +01:00
Julien Lepiller
b79835b5b5
gnu: Remove ocaml4.07-alcotest.
...
* gnu/packages/ocaml.scm (ocaml4.07-alcotest): Remove variable.
(ocaml-alcotest)[properties]: Remove variant.
Change-Id: I32402499e6c4b5b2c586e0fe8abc1aede3504fa2
2023-12-30 22:11:44 +01:00
Julien Lepiller
bffb7e524b
gnu: Remove ocaml4.07-typerep.
...
* gnu/packages/ocaml.scm (ocaml4.07-typerep): Remove variable.
(ocaml-typerep)[properties]: Remove variant.
Change-Id: I6e856bd96ca7dedeb0078e662b19a1f12143c0d2
2023-12-30 22:11:40 +01:00
Julien Lepiller
7c8ee30ca6
gnu: Remove ocaml4.07-bin-prot.
...
* gnu/packages/ocaml.scm (ocaml4.07-bin-prot): Remove variable.
(ocaml-bin-prot)[properties]: Remove variant.
Change-Id: I8d16ef26b58cc179bcc9d93d2e3e18116c474d25
2023-12-30 22:11:35 +01:00
Julien Lepiller
ab51be3aba
gnu: Remove ocaml4.07-ppx-here.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-here): Remove variable.
(ocaml-ppx-here)[properties]: Remove variant.
Change-Id: I7b54d003c6bf988eb93d6a2345296d11add14f6d
2023-12-30 22:11:32 +01:00
Julien Lepiller
952963aba8
gnu: Remove ocaml4.07-sexplib.
...
* gnu/packages/ocaml.scm (ocaml4.07-sexplib): Remove variable.
(ocaml-sexplib)[properties]: Remove variant.
Change-Id: I5d682457888b57d7d68c2e3e2b28d6cd4f4f3a85
2023-12-30 22:11:29 +01:00
Julien Lepiller
1667e151ba
gnu: Remove ocaml4.07-ppx-assert.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-assert): Remove variable.
(ocaml-ppx-assert)[properties]: Remove variant.
Change-Id: Iba0b987323b8ee3feb2330b1e5eed199856466ee
2023-12-30 22:11:26 +01:00
Julien Lepiller
2cd18578e7
gnu: Remove ocaml4.07-ppx-inline-test.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-inline-test): Remove variable.
(ocaml-ppx-inline-test)[properties]: Remove variant.
Change-Id: Ia7a74c7872b200d22fe56ec62de144534fc9e1ae
2023-12-30 22:11:23 +01:00
Julien Lepiller
711f2b10dc
gnu: Remove ocaml4.07-ppx-bench.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-bench): Remove variable.
(ocaml-ppx-bench)[properties]: Remove variant.
Change-Id: I407067f56a2e8a73ab9c311dafb2fd6dd5b583f8
2023-12-30 22:11:19 +01:00
Julien Lepiller
9c52f8b867
gnu: Remove ocaml4.07-ppx-expect.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-expect): Remove variable.
(ocaml-ppx-expect)[properties]: Remove variant.
Change-Id: Iad2ab78be171d8e0c7526c27fd0c7f77e62c6c68
2023-12-30 22:11:07 +01:00
Julien Lepiller
c56a00a90f
gnu: Remove ocaml4.07-ppx-let.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-let): Remove variable.
(ocaml-ppx-let)[properties]: Remove variant.
Change-Id: Ia173d6bd784b6c1347c3ec2e3cc4e10b9537b092
2023-12-30 22:11:02 +01:00
Julien Lepiller
7c44828fab
gnu: Remove ocaml4.07-ppx-enumerate.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-enumerate): Remove variable.
(ocaml-ppx-enumerate)[properties]: Remove variant.
Change-Id: I4923573de50e9e1795562cc7b974b8da7c88a64c
2023-12-30 22:10:59 +01:00
Julien Lepiller
cddf767eed
gnu: Remove ocaml4.07-ppx-js-style.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-js-style): Remove variable.
(ocaml-ppx-js-style)[properties]: Remove variant.
Change-Id: I2243b4ae20136fb3d91c578d9bb2eeea306b0bb1
2023-12-30 22:10:56 +01:00
Julien Lepiller
b3a0e3ea37
gnu: Remove ocaml4.07-ppx-hash.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-hash): Remove variable.
(ocaml-ppx-hash)[properties]: Remove variant.
Change-Id: I38a4e5a4deb88398ae714b0671c9477551e7b6d9
2023-12-30 22:10:53 +01:00
Julien Lepiller
5ecb3d4383
gnu: Remove ocaml4.07-ppx-tools-versioned.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-tools-versioned): Remove variable.
Change-Id: I74f5f3f9cdc7d7be2f1d52c933e27b688a8d2558
2023-12-30 22:10:45 +01:00
Julien Lepiller
bccd84ba0d
gnu: Remove ocaml4.07-ppx-optcomp.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-optcomp): Remove variable.
(ocaml-ppx-optcomp)[properties]: Remove variant.
Change-Id: I030cadf5a90d8386b892d2318244f997fc55283c
2023-12-30 22:10:42 +01:00
Julien Lepiller
5d1809a08a
gnu: Remove ocaml4.07-ppx-sexp-value.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-sexp-value): Remove variable.
(ocaml-ppx-sexp-value)[properties]: Remove variant.
Change-Id: Ib5b777b78c63d9cbc4812affba6f861c89ff3cce
2023-12-30 22:10:39 +01:00
Julien Lepiller
d2ea723f8e
gnu: Remove ocaml4.07-ppx-optional.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-optional): Remove variable.
(ocaml-ppx-optional)[properties]: Remove variant.
Change-Id: Ie6aad28146cea0f5b48be78c68e7341307234e4a
2023-12-30 22:10:36 +01:00
Julien Lepiller
47532ebc1e
gnu: Remove ocaml4.07-ppx-bin-prot.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-bin-prot): Remove variable.
(ocaml-ppx-bin-prot)[properties]: Remove variant.
Change-Id: I132d19d38cbb40c72afaa86a758ca0d4267fe645
2023-12-30 22:10:32 +01:00
Julien Lepiller
3d74d84235
gnu: Remove ocaml4.07-ppx-base.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-base): Remove variable.
(ocaml-ppx-base)[properties]: Remove variant.
Change-Id: I1a079a895eb260bb6870a12f494b79869a5a350c
2023-12-30 22:10:29 +01:00
Julien Lepiller
9ba9487306
gnu: Remove ocaml4.07-ppx-sexp-message.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-sexp-message): Remove variable.
(ocaml-ppx-sexp-message)[properties]: Remove variant.
Change-Id: Iaee2fbecb086ddad1b15b878d8148f9101903834
2023-12-30 22:10:26 +01:00
Julien Lepiller
0dc699477e
gnu: Remove ocaml4.07-bisect-ppx.
...
* gnu/packages/ocaml.scm (ocaml4.07-bisect-ppx): Remove variable.
(ocaml-bisect-ppx)[properties]: Remove variant.
Change-Id: I91dcdd486980885530ea2e269328ecf781aee020
2023-12-30 22:10:22 +01:00
Julien Lepiller
6446f0dfc3
gnu: Remove ocaml4.07-ppx-fail.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-fail): Remove variable.
(ocaml-ppx-fail)[properties]: Remove variant.
Change-Id: Iec707f415906d109a2eb2076477c2bfecc27bcc8
2023-12-30 22:10:19 +01:00