ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-26 22:38:07 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
130692 commits 1 branch 0 tags 448 MiB
Commit graph

130692 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
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