me
/
guix
Archived
1
0
Fork 0
Code
130,720 Commits
1 Branch
0 Tags
410 MiB
Commit Graph

130720 Commits (c439bb26830a313b058264a9a33da300d4982a56)

Author SHA1 Message Date
Sharlatan Hellseher c439bb2683
gnu: patool: Fix build. 
* gnu/packages/patool.scm (patool): Fix build.
[build-system]: Swap to pyproject-build-system.
[arguments] <#:test-flags>: Disable failing tests.

Change-Id: I53ccec4b39bfae6649bfd715fdb2158b2f7a33e1
 2024-02-09 22:19:09 +00:00
Sharlatan Hellseher ccfda08508
gnu: vale: Remove package labeles. 
* gnu/packages/textutils.scm (vale) [native-inputs]: Remove labeles.

Change-Id: Id6ac7bcf26b90291b2ec9de18cde8078f6f8f115
 2024-02-09 22:19:09 +00:00
Sharlatan Hellseher c4591c4f12
gnu: Deprecate the go-github-com-errata-ai-vale variable. 
* gnu/packages/ipfs.scm (go-github-com-errata-ai-vale): Rename to "vale".
(go-github-com-errata-ai-vale): Define as deprecated by "vale".

Change-Id: I3c715a36295cd52e36b16e99f39455b7ad961743
 2024-02-09 22:19:09 +00:00
Sharlatan Hellseher a91b192c90
gnu: packages: textuitils: Sort use-module alphabetically. 
* gnu/packages/textutils.scm: Sort use-module alphabetically to ease
maintenance.

Change-Id: Ia698a0b3e137ce2fc2f68d0206d209649acdad5e
 2024-02-09 22:19:09 +00:00
Andy Tai f63d14b62a
gnu: moe: Update to 1.14. 
* gnu/packages/moe.scm (moe): Update to 1.14.

Change-Id: I176ec1a3a2505a4e50426863282dbc73815ae904
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-09 22:19:08 +00:00
Andy Tai bbedb7c4ca
gnu: gama: Update to 2.28. 
* gnu/packages/gps.scm (gama): Update to 2.28.

Change-Id: I5e74bf81e158970559e4937c9563578eae253241
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-09 22:19:08 +00:00
Timotej Lazar e8744cbb0a
gnu: wlr-randr: Update to 0.4.0. 
* gnu/packages/wm.scm (wlr-randr): Update to 0.4.0.

Change-Id: I3a04bf965c4ec098268c9ac4a1328c6ca575cf9e
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-09 22:19:08 +00:00
Timotej Lazar f4b90759ca
gnu: mupdf: Update to 1.23.9. 
* gnu/packages/pdf.scm (mupdf): Update to 1.23.9.

Change-Id: Id67767304d33a09df8cea7b91111729d0bc99366
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-09 22:19:08 +00:00
Timotej Lazar 70b7c1cabd
gnu: dos2unix: Update to 7.5.2. 
* gnu/packages/textutils.scm (dos2unix): Update to 7.5.2.

Change-Id: I8b27da05c0780fe942fe19f00766cd2772c66bc0
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-09 22:19:08 +00:00
Vagrant Cascadian bc485eaba6
gnu: fheroes2: Update to 1.0.11. 
* gnu/packages/games.scm (fheroes2): Update to 1.0.11.

Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-09 22:19:08 +00:00
David Pflug 21aaf1c25a
gnu: syncthing: Update to 1.27.2. 
* gnu/packages/syncthing.scm (syncthing): Update to 1.27.2.

Change-Id: Ifc6af7a518d4dfc75e42889de1a0873cdcbdfaaf
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-09 22:19:08 +00:00
Felix Gruber 249eded280
gnu: vxl: Update to 3.5.0. 
* gnu/packages/image-processing.scm (vxl): Update to 3.5.0.

Change-Id: I90eeb3659b0b208591e7eb6b2bfa19f28cb39a6f
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-09 22:19:08 +00:00
Rodion Goritskov 235a1a9d7b
gnu: clifm: Update to 1.16 
* gnu/packages/clifm.scm (clifm): Update to 1.16.

Change-Id: I0bbc1599c4f5cfdfea4e662c3e61318c3c1495a6
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-09 22:19:08 +00:00
Greg Hogan 4adb0fa248
gnu: pigz: Update to 2.8. 
* gnu/packages/compression.scm (pigz): Update to 2.8.

Change-Id: I058815637f2bbcd700c0f2b5f46aa0a307450d3f
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-09 22:19:08 +00:00
Ahmad Draidi b186fa1306
gnu: bcachefs-tools: Restyle format. 
* gnu/packages/file-systems.scm (bcachefs-tools): Reindent all lines.

Change-Id: I6f3ae711daf2f5d66724f513fe5e8876147f5ccf
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-09 22:19:07 +00:00
Ahmad Draidi aabbcb0ef9
gnu: bcachefs-tools: Update to 1.4.1. 
* gnu/packages/file-systems.scm (bcachefs-tools): Update to 1.4.1.
[source]: Use version instead of commit.
[arguments]:<#:make-flags>: Add "PKGCONFIG_UDEVRULESDIR" to put udev rules
under "PREFIX" folder.
[inputs]: Add bash-minimal to fix lint.

Change-Id: I6818bc41260586664d408234323bdc9461e4b8e1
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-09 22:19:07 +00:00
Vagrant Cascadian 8ffc923368
gnu: wabt: Update to 1.0.34. 
* gnu/packages/web.scm (wabt): Update to 1.0.34.
[arguments]: Disable tests on !x86_64.
 2024-02-09 13:39:00 -08:00
Vagrant Cascadian 30196aec07
gnu: diffoscope: Update to 256 [security fixes]. 
Fixes: https://salsa.debian.org/reproducible-builds/diffoscope/-/issues/361

* gnu/packages/diffoscope.scm (diffoscope): Update to 256.
 2024-02-09 13:35:06 -08:00
Artyom V. Poptsov 513755d64d
gnu: kubo: Update to 0.19.0. 
* gnu/packages/ipfs.scm (kubo): Update to 0.19.0.
  [arguments]: Use go-1.20.

Change-Id: I4a267c4712f5dc13b200bdc3a59105265093b392
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-09 16:34:10 +00:00
Wilko Meyer 570ef13a87
gnu: linux-libre 6.1: Update to 6.1.77. 
* gnu/packages/linux.scm (linux-libre-6.1-version): Update to 6.1.77.
  (linux-libre-6.1-pristine-source): Update hash.

Change-Id: I6f33c1d4d153949be18bbbc89cec6605557d95bb
Signed-off-by: Leo Famulari <leo@famulari.name>
 2024-02-08 19:10:58 -05:00
Wilko Meyer 0baea92cb0
gnu: linux-libre 6.6: Update to 6.6.16. 
* gnu/packages/linux.scm (linux-libre-6.6-version): Update to 6.6.16.
  (linux-libre-6.6-pristine-source): Update hashes.

Change-Id: I5b9ff1b084f3972c1f7f1833c520ed855cbcd0e6
Signed-off-by: Leo Famulari <leo@famulari.name>
 2024-02-08 19:10:58 -05:00
Wilko Meyer f97bd6312b
gnu: linux-libre 6.7: Update to 6.7.4. 
* gnu/packages/linux.scm (linux-libre-6.7-version): Update to 6.7.4.
  (linux-libre-6.7-pristine-source): Update hashes.

Change-Id: I5820f45c98994fc43748b0fafde25465bf63b9ac
Signed-off-by: Leo Famulari <leo@famulari.name>
 2024-02-08 19:10:58 -05:00
pukkamustard 01ee39cfee
gnu: opam: Update to 2.1.5. 
* gnu/packages/ocaml.scm (opam): Update to 2.1.5.
  [native-inputs]: Add more test data.
  [arguments]: Disable failing test.
  (ocaml-graph): Update to 2.0.0.
  (ocaml-dose3): Update to 7.0.0.
* gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch: Remove.
* gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch: Remove.
* gnu/packages/patches/ocaml-dose3-add-unix-dependency.patch: Remove.
* gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch: Remove.
* gnu/local.mk (dist_path_DATA): Unregister removed patches.

Change-Id: Ie715998a6d7740332187e1fe0742631964ba5a8a
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
 2024-02-08 23:23:32 +01:00
Julien Lepiller 90cfb68a31
gnu: ocaml-base64: Update to 3.5.1. 
* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.5.1.

Change-Id: I4732c7b8711af79e09536adc478d84ca0e29408c
 2024-02-08 23:23:22 +01:00
Julien Lepiller 41634d3b5f
gnu: frama-c: Update to 27.1. 
* gnu/packages/maths.scm (frama-c): Update to 27.1.
(why3): Update to 1.6.0.

Change-Id: I74191e4274d58a88a772413875fbf7de4d243fec
 2024-02-08 23:23:08 +01:00
Julien Lepiller 594a412231
gnu: Add dune-site. 
* gnu/packages/ocaml.scm (dune-site): New variable.

Change-Id: Idbb555f023a179d52bcf6839c7f37506813ae2b4
 2024-02-08 23:22:57 +01:00
Julien Lepiller 34327bb715
gnu: Add dune-private-libs. 
* gnu/packages/ocaml.scm (dune-private-libs): New variable.

Change-Id: I6d2b62745459626d5d1363c1251449b959f8a544
 2024-02-08 23:22:54 +01:00
Julien Lepiller d7bd8c86c3
gnu: Add dune-stdune. 
* gnu/packages/ocaml.scm (dune-stdune): New variable.

Change-Id: I8993bd7157f6edd0f02d5c9a5bbc54915918ff15
 2024-02-08 23:22:52 +01:00
Julien Lepiller 1cbb3fd8f0
gnu: Add dune-dyn. 
* gnu/packages/ocaml.scm (dune-dyn): New variable.

Change-Id: I34907a758c146d9f18ab5807c069dfe104e6854f
 2024-02-08 23:22:48 +01:00
Julien Lepiller b2a71b868c
gnu: Add dune-ordering. 
* gnu/packages/ocaml.scm (dune-ordering): New variable.

Change-Id: I78d81dfc2523b47bdca6430e2f9961cf39c7335a
 2024-02-08 23:22:33 +01:00
Julien Lepiller 039cf0e35c
gnu: Add ocaml-pp. 
* gnu/packages/ocaml.scm (ocaml-pp): New variable.

Change-Id: Ib97bceddda4b7037667cdb1a1b7152c8dc06acd7
 2024-02-08 23:21:53 +01:00
Arnaud DABY-SEESARAM 97d574ddc4
gnu: Add ocaml-ppx-import. 
* gnu/packages/ocaml.scm (ocaml-ppx-import): New variable.

Change-Id: Ie9619653f2b3ecc4458394709e37c4a433f875dd
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
 2024-02-08 23:21:30 +01:00
Arnaud DABY-SEESARAM 93f4f69a69
gnu: Add ocaml-ppx-deriving-yaml. 
* gnu/packages/ocaml.scm (ocaml-ppx-deriving-yaml): New variable.

Change-Id: I2677ce5b630b77abdec7743cd25c4193ca7b351e
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
 2024-02-08 23:21:07 +01:00
Arnaud DABY-SEESARAM c1a12ad8ad
gnu: Add ocaml-yaml. 
* gnu/packages/ocaml.scm (ocaml-yaml): New variable.

Change-Id: Ia890e505dd3ff0fe9a8c243adef460e0475d9e81
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
 2024-02-08 23:20:55 +01:00
Arnaud DABY-SEESARAM da2521a63f
gnu: Add ocaml-junit-alcotest. 
* gnu/packages/ocaml.scm (ocaml-junit-alcotest): New variable.

Change-Id: I377bbba90e8625a47680643db2ef84fabbe60908
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
 2024-02-08 23:20:46 +01:00
Arnaud DABY-SEESARAM 10d8b7523c
gnu: Add ocaml-junit. 
* gnu/packages/ocaml.scm (ocaml-junit): New variable.

Change-Id: I69fd4302b0a178765a79a72801eed694b3bd3ebd
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
 2024-02-08 23:20:25 +01:00
Arnaud DABY-SEESARAM ccd5965ed0
gnu: Add ocaml-ppx-deriving-yojson. 
* gnu/packages/ocaml.scm (ocaml-ppx-deriving-yojson): New variable.

Change-Id: I3f5dfdf39c7e7d9655fc26ee6cc88a2c30485d57
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
 2024-02-08 23:20:01 +01:00
Julien Lepiller 30ad3fb059
gnu: ocaml-ppx-bench: Update to 0.16.0. 
* gnu/packages/ocaml.scm (ocaml-ppx-bench): Update to 0.16.0.

Change-Id: If65570f4baff82200bf30c0277f2dccad9e23732
 2024-02-08 23:16:43 +01:00
Julien Lepiller 98497f923d
gnu: ocaml-jst-config: Update to 0.16.0. 
* gnu/packages/ocaml.scm (ocaml-jst-config): Update to 0.16.0.

Change-Id: I9203537dc8d33ee4bf4fb88c6a641f8ecfaecdb0
 2024-02-08 23:16:41 +01:00
Julien Lepiller 4584ec6415
gnu: ocaml-ppx-bin-prot: Update to 0.16.0. 
* gnu/packages/ocaml.scm (ocaml-ppx-bin-prot): Update to 0.16.0.

Change-Id: Ib907aca6c1d76ecf0d8ddc8ce30728546b4adb9c
 2024-02-08 23:16:39 +01:00
Julien Lepiller 48145430c3
gnu: ocaml-bin-prot: Update to 0.16.0. 
* gnu/packages/ocaml.scm (ocam-bin-prot): Update to 0.16.0.
(bap)[arguments]: Fix code after ocaml-bin-prot changes.

Change-Id: I0756cfaaed2e487c18f6cab119fb7ac8b2863edd
 2024-02-08 23:16:37 +01:00
Julien Lepiller 45e6889455
gnu: Add ocaml-ppx-stable-witness. 
* gnu/packages/ocaml.scm (ocaml-ppx-stable-witness): New variable.

Change-Id: I697c87ec27f0c218de1419ab699e14f7dffa3ca0
 2024-02-08 23:16:33 +01:00
Julien Lepiller 7e7c0d944d
gnu: ocaml-ppxlib: Update to 0.28. 
* gnu/packages/ocaml.scm (ocaml-ppxlib): Update to 0.28.
(ocaml-sedlex): Update to 2.6.
(ocaml-ppx-sexp-conv): Update to 0.15.1.
(ocaml-bisect-ppx): Update to 2.8.3.

Change-Id: I8fa47249063a93b813f2822d4f9f85798473e4d0
 2024-02-08 23:16:31 +01:00
Julien Lepiller 479b75e985
gnu: ocaml-sexplib: Update to 0.16.0. 
* gnu/packages/ocaml.scm (ocaml-sexplib): Update to 0.16.0.

Change-Id: Ib7c2737b64f5b1f8de7ea8db7bcba05ef813c5db
 2024-02-08 23:16:28 +01:00
Julien Lepiller 3c6b057791
gnu: ocaml-alcotest: Update to 1.7.0. 
* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.7.0.

Change-Id: I87bb7eec4a8b36c499448685df3e11c2edaba31b
 2024-02-08 23:16:07 +01:00
pukkamustard b70249fa1e
gnu: opam: Split build into smaller sub-packages. 
* gnu/packages/ocaml.scm (opam): Split build into smaller sub-packages.
  (ocaml-down, ocaml-topkg, ocaml-rresult, ocaml-mtime, ocaml-fmt,
  ocaml-astring, ocaml-react, ocaml-hmap, ocaml-logs, ocaml-fpath, ocaml-bos,
  ocaml-xmlm, ocaml-uchar, ocaml-uutf, ocaml-uunf, ocaml-jsonm, ocaml-ptime,
  ocaml-uuidm, ocaml-tsdl, ocaml-uucp, ocaml-uucd, ocaml-uuseg,
  ocaml-afl-persistent, ocaml-ocb-stubblr) [native-inputs]: Replace opam with
  opam-installer.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: Idb70a93b557d2fcf59335b3e1ff5acdd3d2535aa
 2024-02-08 23:15:51 +01:00
pukkamustard e673ab8d40
gnu: dune-bootstrap: Update to 3.11.0. 
* gnu/packages/ocaml.scm (dune-bootstrap): Update to 3.10.0.
  [description]: Revise and de-emphasize historic origin.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: If7268231b4d699b4e62fd1c72a8abf5cec4e6af8
 2024-02-08 23:15:46 +01:00
pukkamustard 4b941ab3d5
gnu: coq: Update to 8.17.1. 
* gnu/packages/coq.scm (coq): Update to 8.17.1 and merge with coq-core and coq-stdlib.
  [arguments] Merge with coq-core and coq-stdlib. Add pre-build phases and
  add a custom install phase. Remove unnecessary test-target.
  [source](patches): Remove.
  [native-search-paths]: Remove COQLIBPATH and COQCORELIB.
  (coq-core): Remove variable.
  (coq-stdlib): Remove variable.
  (coq-ide)[propagated-inputs]: Add zlib.
  (coq-mathcomp-bigenough)[propagated-inputs]: Remove coq-core.
  (coq-mathcomp-finmap)[inputs]: Remove coq-stdlib.
  (coq-equations): Update to 1.3-8.17.
* gnu/packages/patches/coq-fix-envvars.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.

Co-authored-by: Josselin Poiret <dev@jpoiret.xyz>
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: I0a0d9f7a6e06dd19ce1b66051334476d85f4f195
 2024-02-08 23:15:44 +01:00
pukkamustard c168dc5ad1
gnu: Update coq-interval to 4.8.0. 
* gnu/packages/coq.scm (coq-interval): Update to 4.8.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: I17e2426aacd84289eff538a195b79683eb98fe9f
 2024-02-08 23:15:41 +01:00
pukkamustard e154a7f43a
gnu: Update coq-stdpp to 1.8.0. 
* gnu/packages/coq.scm (coq-stdpp): Update to 1.8.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: Id44b29296fa6de706b0a3eac90616ba0de126f87
 2024-02-08 23:15:37 +01:00