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

130724 Commits (4cc7302e7dcd1de8d5ca7e9b82da2f8b9fa98911)

Author SHA1 Message Date
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
pukkamustard 3f9d44b0bd
gnu: Update coq-autosubst to 1.8. 
* gnu/packages/coq.scm (coq-autosubst): Update to 1.8.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: I36b226afd3ed043977c6188dcb6bdeaf2e402de8
 2024-02-08 23:15:25 +01:00
pukkamustard 9ae0ff50ac
gnu: Update coq-mathcomp to 1.17.0. 
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.17.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: Ia8397f94b7158128e6473811355a2c596c98970b
 2024-02-08 23:15:23 +01:00
pukkamustard db7c87e070
gnu: Update coq-coquelicot to 3.4.0. 
* gnu/packages/coq.scm (coq-coquelicot): Update to 3.4.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: I14c18abdbb7bebea75ac26be9c4c1954778cef22
 2024-02-08 23:15:20 +01:00
pukkamustard 4b7cc09c8b
gnu: Update coq-gappa to 1.5.3. 
* gnu/packages/coq.scm (coq-gappa): Update to 1.5.3.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: Icc124d8a2d7a55717651d135d6817871b5bc6321
 2024-02-08 23:15:18 +01:00
pukkamustard 95c30e0334
gnu: Update coq-flocq to 4.1.1. 
* gnu/packages/coq.scm (coq-flocq): Update to 4.1.1.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: Ib2d8fb4701d03a5e796736ab5b2a30dc6897dc22
 2024-02-08 23:15:15 +01:00
pukkamustard fe0c13b1f9
gnu: ocaml: Update to 4.14.1. 
* gnu/packages/ocaml.scm (ocaml): Update to 4.14.1.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: I46de8b8bfac9250420175d0d16473c6cc8ee4198
 2024-02-08 23:14:54 +01:00
Sharlatan Hellseher 90fe823638
gnu: nats-server: Update to 2.10.10. 
* gnu/packages/high-availability.scm (nats-server): Update to 2.10.10.

Change-Id: Ic34d8a4672b188c8d3d10141f9227cab4075fd5b
 2024-02-08 21:46:23 +00:00
Sharlatan Hellseher 34cff59d8b
gnu: go-github-com-nats-io-nats-go: Update to 1.32.0. 
* gnu/packages/golang-xyz.scm (go-github-com-nats-io-nats-go): Update to 1.32.0.

Change-Id: I094dffb0757672067d29b102d12a268264758ea5
 2024-02-08 21:46:23 +00:00
Sharlatan Hellseher 312cacf29a
gnu: go-github-com-nats-io-nkeys: Update to 0.4.7. 
* gnu/packages/golang-crypto.scm (go-github-com-nats-io-nkeys): Update to 0.4.7.

Change-Id: I75ab528c844ab5d046f297bdf9009d30c86eb90a
 2024-02-08 21:46:23 +00:00
Benjamin 2d084f23a2
gnu: Add nats-server. 
* gnu/packages/messaging.scm (nats-server): New variable.

Change-Id: Idb05684fae798b37d396279f136f11fce85e2e02
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-08 21:46:23 +00:00
Benjamin e3146f55e8
gnu: Add go-github-com-nats-io-nats-go. 
* gnu/packages/golang-xyz.scm (go-github-com-nats-io-nats-go): New variable.

Change-Id: Ic2897e20fdcd8d68505f8a96281071fe3de224c9
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-08 21:46:22 +00:00
Benjamin 99c5d31e8b
gnu: Add go-github-com-nats-io-jwt-v2. 
* gnu/packages/golang-crypto.scm (go-github-com-nats-io-jwt-v2): New variable.

Change-Id: I5253db9ceb1aa118cfc15e89823903f3f5b2b75c
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-08 21:46:22 +00:00
Benjamin dddc3b20bd
gnu: Add go-github-com-nats-io-nkeys. 
* gnu/packages/golang-crypto.scm (go-github-com-nats-io-nkeys): New variable.

Change-Id: Id82a9afd15f110426fd7a16b286b5af5cae45c6a
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-08 21:46:22 +00:00
Benjamin 870f604aa6
gnu: Add go-github-com-nats-io-nuid. 
* gnu/packages/golang-xyz.scm (go-github-com-nats-io-nuid): New variable.

Change-Id: I71ef84703b6971cabacafcba09d1447544fb48bf
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-08 21:46:22 +00:00
Benjamin 98f8a2a34e
gnu: Add go-go-uber-org-automaxprocs. 
* gnu/packages/golang-xyz.scm (go-go-uber-org-automaxprocs): New variable.

Change-Id: I06abcaf3f3b74e23e5808d4ff37a93a0dc45b137
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-08 21:46:22 +00:00
Benjamin d6866b6cbe
gnu: Add go-github-com-prashantv-gostub. 
* gnu/packages/golang-check.scm (go-github-com-prashantv-gostub): New variable.

Change-Id: I2ffde6cb83e4c7f6b2e412b38341add952803719
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-08 21:46:22 +00:00
Benjamin ff61ca41d9
gnu: Add go-github-com-minio-highwayhash. 
* gnu/packages/golang-crypto.scm (go-github-com-minio-highwayhash): New variable.

Change-Id: Ib6aa8a38946841e840b17848b07434487f0435ef
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-08 21:46:22 +00:00
Liliana Marie Prikler 8798f940ad
Revert update to Renpy 8.2. 
This reverts commits 9d53c236a6,
2bfe8e95ef, and
08ed3ec64e as a temporary fix to
<https://bugs.gnu.org/68982>.
 2024-02-08 22:05:09 +01:00
Ricardo Wurmus 24e87f64cf
gnu: Add python-geoip2fast. 
* gnu/packages/geo.scm (python-geoip2fast): New variable.

Change-Id: Ia1ca57ac281c487db65ad3474940e8326082b7a1
 2024-02-08 19:20:25 +01:00
Andrew Tropin a903558577
gnu: elixir: Remove wrap for mix. 
* gnu/packages/elixir.scm (elixir)[#:phases]: Instead of wrapping mix into
shell script, which sets environment variables, we patch mix itself and set
environmnet variables via elixir code.

Change-Id: Ia4643e18fe927491242a0541938b7570bd56fca1

Co-authored-by: Ivan Sokolov <ivan-p-sokolov@ya.ru>
Change-Id: I29d2c61299a8a54125f0e15190c526a860d501da
 2024-02-08 12:07:53 +03:00
unwox 5d2302a195
gnu: janet: Update to 1.33.0 
* gnu/packages/lisp.scm (janet): Update to 1.33.0.

Change-Id: Ic5dd8b0c7042fe965c940d291331803f7f28e3f2
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2024-02-07 16:31:26 +01:00
Felix Gruber d7c34bc099
gnu: qgis: Fix build against proj 9.3.1. 
* gnu/packages/geo.scm (qgis)[arguments]: Disable newly broken tests
  test_core_overlayexpression and PyQgsProjectionSelectionWidgets.

Change-Id: If80c1d86b00f4d9481ada17b99962754b5efdc92
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2024-02-07 14:02:55 +01:00
Felix Gruber 8736c6357d
gnu: grass: Update to 7.8.8. 
* gnu/packages/geo.scm (grass): Update to 7.8.8.

Change-Id: Ife86e2f770e1a3bbc907e9baf25253dbff7e5653
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2024-02-07 13:54:28 +01:00
Felix Gruber 556a7484f1
gnu: python-pyshp: Update to 2.3.1. 
* gnu/packages/geo.scm (python-pyshp): Update to 2.3.1.
  [arguments]: Disable test that requires network access.

Change-Id: Iba7bd8191c17ecf255375a8443319b449057e094
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2024-02-07 13:53:23 +01:00
Felix Gruber 4ad6872979
gnu: python-shapely: Update to 2.0.2. 
* gnu/packages/python-xyz.scm (python-shapely): Update to 2.0.2.
[native-inputs]: Remove python-pytest-cov.

Change-Id: I4358c16d53c97a0cd38e3689d65ead770b2e997c
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2024-02-07 13:50:53 +01:00
Felix Gruber 0a1d503b28
gnu: geos: Update to 3.12.1. 
* gnu/packages/geo.scm (geos): Update to 3.12.1.
  [arguments]: Update 'patch-test-shebangs.

Change-Id: I4c5a7dd0ce0e95f813474ff4841a844e63451d24
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2024-02-07 13:44:26 +01:00
Felix Gruber a042bfcd7e
gnu: libgeotiff: Fix build with proj 9.3.1. 
* gnu/packages/geo.scm (libgeotiff): [source]: Add patches to fix build
  with proj 9.3.1.
* gnu/local.mk: Add patch files.
* gnu/packages/patches/libgeotiff-fix-tests-on-i386.patch: New file.
* gnu/packages/patches/libgeotiff-fix-tests-with-proj-9.3.0.patch: New
  file.
* gnu/packages/patches/libgeotiff-fix-tests-with-proj-9.3.1.patch: New
  file.

Change-Id: I5f09e793698b0b137888faa0f595ef06850c6160
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2024-02-07 13:41:57 +01:00
Felix Gruber e25fa3f6da
gnu: python-pyproj: Update to 3.6.1. 
* gnu/packages/geo.scm (python-pyproj): Update to 3.6.1.
[arguments]: Convert to gexp.

Change-Id: I0ef2bf3da8d35b728f4ba4009caca33fa18dbad3
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2024-02-07 13:36:57 +01:00
Felix Gruber 4c1a7678b2
gnu: proj: Update to 9.3.1. 
* gnu/packages/geo.scm (proj): Update to 9.3.1.

Change-Id: I176efdba12761b81b90c8a53c362e4e66bd08fca
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2024-02-07 13:30:33 +01:00
Efraim Flashner 10dba10fd6
gnu: Register missing patch. 
* gnu/local.mk (dist_patch_DATA): Add missing patch.

Change-Id: I82264a8cbea1550522994292e24f702f7cc78700
 2024-02-07 10:30:50 +02:00
Sharlatan Hellseher cce7a6d2d2
gnu: python-ipydatawidgets: Fix build. 
As seen in <http://ci.guix.gnu.org/build/3396112/log/raw>.

* gnu/packages/jupyter.scm (python-ipydatawidgets) [arguments]
<#:phases>: Disable 3 failing tests in 'check phase.

Change-Id: I8de3678914e871df5bbb50c69c322dc4b55d18ac
 2024-02-06 22:48:50 +00:00
Sharlatan Hellseher 5729b2b352
gnu: python-traittypes: Simplify package. 
* gnu/packages/python-science.scm (python-traittypes) [build-system]:
Swap to pyproject-build-system.
[arguments]: Move excluded tests to <#:test-flags>. Use standard 'check
phase.

Change-Id: I4cab0c94036a7e5f0851edf2833dfac2f675d2a0
 2024-02-06 21:11:40 +00:00
Sharlatan Hellseher 5dee582c13
gnu: python-pynrrd: Update to 1.0.0. 
* gnu/packages/python-science.scm (python-pynrrd): Update to 1.0.0.
[arguments]: Keep 'ensure-no-mtimes-pre-1980 phase as it's building with
it successfully.
[propagated-inputs]: Add python-nptyping and python-typing-extensions.

Change-Id: Ic4dcd0825e71d3eb4acd39694bee9e22e8485f9f
 2024-02-06 19:56:05 +00:00
Sharlatan Hellseher ac18dfc675
gnu: python-pynrrd: Improve description. 
* gnu/packages/python-science.scm (python-pynrrd) [description]: Add
definition of NRRD.

Change-Id: I0335df0eb4be600d81799da64374ddfb49b06720
 2024-02-06 19:49:50 +00:00
Antero Mejr 36f5db706c
gnu: Add python-pynrrd. 
* gnu/packages/python-science.scm (python-pynrrd): New variable.

Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-06 19:40:17 +00:00
Andy Tai 7d3aa578ef
gnu gnuatro: Update to 0.22. 
* gnu/packages/astronomy.scm (gnuastro): Update to 0.22.

Change-Id: Ifa8329765adb2b32b9b04c1531087363a807613d
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-06 19:00:56 +00:00
Mădălin Ionel Patrașcu b13d6c5715
gnu: Add r-imifa. 
* gnu/packages/cran.scm (r-imifa): New variable.

Change-Id: I0046faadb9546ae1fa8437db72b784307deba241
 2024-02-06 17:41:50 +01:00
Mădălin Ionel Patrașcu e8292cc60e
gnu: Add r-mvnfast. 
* gnu/packages/cran.scm (r-mvnfast): New variable.

Change-Id: I17b1d1da941248fde466aa90304481cae9ca60fe
 2024-02-06 17:41:44 +01:00
Ricardo Wurmus 948c4c26e1
gnu: Add openmm. 
* gnu/packages/machine-learning.scm (openmm): New variable.

Change-Id: I2a296471881ffbd9356fcdd27d349aa4a7bb5132
 2024-02-06 16:19:42 +01:00
Wilko Meyer a4464bd097
gnu: linux-libre 6.1: Update to 6.1.76. 
* gnu/packages/linux.scm (linux-libre-6.1-version): Update to 6.1.76.
(linux-libre-6.1-pristine-source): Update hash.

Signed-off-by: Leo Famulari <leo@famulari.name>
Change-Id: I6e66bfadeb11a300f47fbec2bffdbc5b02d85e75
 2024-02-05 20:53:21 -05:00
Wilko Meyer 1c47327b2e
gnu: linux-libre 6.6: Update to 6.6.15. 
* gnu/packages/linux.scm (linux-libre-6.6-version): Update to 6.6.15.
(linux-libre-6.6-pristine-source, deblob-scripts-6.6): Update hashes.

Signed-off-by: Leo Famulari <leo@famulari.name>

Change-Id: I9c744e41241d083baf20d2004bb3ee445cd0a0a9
 2024-02-05 20:53:21 -05:00
Wilko Meyer 9b40e74e7c
gnu: linux-libre 6.7: Update to 6.7.3. 
* gnu/packages/linux.scm (linux-libre-6.7-version): Update to 6.7.3.
(linux-libre-6.7-pristine-source, deblob-scripts-6.7): Update hashes.

Signed-off-by: Leo Famulari <leo@famulari.name>

Change-Id: I56b489855db37962ccf9ccccdf09fabf65648e89
 2024-02-05 20:53:17 -05:00
Troy Figiel 1eda62a266
gnu: go-github-com-operatorfoundation-ed25519: Add missing input. 
* gnu/packages/golang-crypto.scm (go-github-com-operatorfoundation-ed25519)
[native-inputs]: Add go-golang-org-x-crypto.

Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2024-02-05 22:34:48 +00:00
Troy Figiel 34fe725fb3
gnu: go-github-com-go-git-go-billy: Add missing input. 
* gnu/packages/golang.scm (go-github-com-go-git-go-billy)
[propagated-inputs]: Add go-golang-org-x-sys.

Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
Change-Id: Ia1fee47a497dcd1221ec6a8b2b6bbd549662e470
 2024-02-05 22:34:47 +00:00
Troy Figiel c1a4de630c
gnu: go-github-com-cheekybits-genny: Add missing input. 
* gnu/packages/golang.scm (go-github-com-cheekybits-genny)
[native-inputs]: Add go-github-com-stretchr-testify.

Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
Change-Id: Ib3b9a0aefa8218d26527e4401952ad72d6cc625d
 2024-02-05 22:34:47 +00:00
Troy Figiel f33473e7b2
gnu: misspell: Add missing input. 
* gnu/packages/golang.scm (misspell) [propagated-inputs]: Add go-github-com-gobwas-glob.

Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
Change-Id: I1c080a8fbb6f0a0294e28e4697438ab31ebca3cc
 2024-02-05 22:34:47 +00:00