summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2024-02-08gnu: Add ocaml-junit-alcotest.Arnaud DABY-SEESARAM
* gnu/packages/ocaml.scm (ocaml-junit-alcotest): New variable. Change-Id: I377bbba90e8625a47680643db2ef84fabbe60908 Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2024-02-08gnu: Add ocaml-junit.Arnaud DABY-SEESARAM
* gnu/packages/ocaml.scm (ocaml-junit): New variable. Change-Id: I69fd4302b0a178765a79a72801eed694b3bd3ebd Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2024-02-08gnu: Add ocaml-ppx-deriving-yojson.Arnaud DABY-SEESARAM
* gnu/packages/ocaml.scm (ocaml-ppx-deriving-yojson): New variable. Change-Id: I3f5dfdf39c7e7d9655fc26ee6cc88a2c30485d57 Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2024-02-08gnu: ocaml-ppx-bench: Update to 0.16.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ppx-bench): Update to 0.16.0. Change-Id: If65570f4baff82200bf30c0277f2dccad9e23732
2024-02-08gnu: ocaml-jst-config: Update to 0.16.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-jst-config): Update to 0.16.0. Change-Id: I9203537dc8d33ee4bf4fb88c6a641f8ecfaecdb0
2024-02-08gnu: ocaml-ppx-bin-prot: Update to 0.16.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ppx-bin-prot): Update to 0.16.0. Change-Id: Ib907aca6c1d76ecf0d8ddc8ce30728546b4adb9c
2024-02-08gnu: ocaml-bin-prot: Update to 0.16.0.Julien Lepiller
* 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-08gnu: Add ocaml-ppx-stable-witness.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ppx-stable-witness): New variable. Change-Id: I697c87ec27f0c218de1419ab699e14f7dffa3ca0
2024-02-08gnu: ocaml-ppxlib: Update to 0.28.Julien Lepiller
* 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-08gnu: ocaml-sexplib: Update to 0.16.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-sexplib): Update to 0.16.0. Change-Id: Ib7c2737b64f5b1f8de7ea8db7bcba05ef813c5db
2024-02-08gnu: ocaml-alcotest: Update to 1.7.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.7.0. Change-Id: I87bb7eec4a8b36c499448685df3e11c2edaba31b
2024-02-08gnu: opam: Split build into smaller sub-packages.pukkamustard
* 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-08gnu: dune-bootstrap: Update to 3.11.0.pukkamustard
* 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-08gnu: coq: Update to 8.17.1.pukkamustard
* 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-08gnu: Update coq-interval to 4.8.0.pukkamustard
* gnu/packages/coq.scm (coq-interval): Update to 4.8.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: I17e2426aacd84289eff538a195b79683eb98fe9f
2024-02-08gnu: Update coq-stdpp to 1.8.0.pukkamustard
* gnu/packages/coq.scm (coq-stdpp): Update to 1.8.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: Id44b29296fa6de706b0a3eac90616ba0de126f87
2024-02-08gnu: Update coq-autosubst to 1.8.pukkamustard
* gnu/packages/coq.scm (coq-autosubst): Update to 1.8. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: I36b226afd3ed043977c6188dcb6bdeaf2e402de8
2024-02-08gnu: Update coq-mathcomp to 1.17.0.pukkamustard
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.17.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: Ia8397f94b7158128e6473811355a2c596c98970b
2024-02-08gnu: Update coq-coquelicot to 3.4.0.pukkamustard
* gnu/packages/coq.scm (coq-coquelicot): Update to 3.4.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: I14c18abdbb7bebea75ac26be9c4c1954778cef22
2024-02-08gnu: Update coq-gappa to 1.5.3.pukkamustard
* gnu/packages/coq.scm (coq-gappa): Update to 1.5.3. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: Icc124d8a2d7a55717651d135d6817871b5bc6321
2024-02-08gnu: Update coq-flocq to 4.1.1.pukkamustard
* gnu/packages/coq.scm (coq-flocq): Update to 4.1.1. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: Ib2d8fb4701d03a5e796736ab5b2a30dc6897dc22
2024-02-08gnu: ocaml: Update to 4.14.1.pukkamustard
* gnu/packages/ocaml.scm (ocaml): Update to 4.14.1. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: I46de8b8bfac9250420175d0d16473c6cc8ee4198
2024-02-08gnu: nats-server: Update to 2.10.10.Sharlatan Hellseher
* gnu/packages/high-availability.scm (nats-server): Update to 2.10.10. Change-Id: Ic34d8a4672b188c8d3d10141f9227cab4075fd5b
2024-02-08gnu: go-github-com-nats-io-nats-go: Update to 1.32.0.Sharlatan Hellseher
* gnu/packages/golang-xyz.scm (go-github-com-nats-io-nats-go): Update to 1.32.0. Change-Id: I094dffb0757672067d29b102d12a268264758ea5
2024-02-08gnu: go-github-com-nats-io-nkeys: Update to 0.4.7.Sharlatan Hellseher
* gnu/packages/golang-crypto.scm (go-github-com-nats-io-nkeys): Update to 0.4.7. Change-Id: I75ab528c844ab5d046f297bdf9009d30c86eb90a
2024-02-08gnu: Add nats-server.Benjamin
* gnu/packages/messaging.scm (nats-server): New variable. Change-Id: Idb05684fae798b37d396279f136f11fce85e2e02 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-08gnu: Add go-github-com-nats-io-nats-go.Benjamin
* 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-08gnu: Add go-github-com-nats-io-jwt-v2.Benjamin
* 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-08gnu: Add go-github-com-nats-io-nkeys.Benjamin
* 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-08gnu: Add go-github-com-nats-io-nuid.Benjamin
* 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-08gnu: Add go-go-uber-org-automaxprocs.Benjamin
* 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-08gnu: Add go-github-com-prashantv-gostub.Benjamin
* 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-08gnu: Add go-github-com-minio-highwayhash.Benjamin
* 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-08Revert update to Renpy 8.2.Liliana Marie Prikler
This reverts commits 9d53c236a69786508197c75d42923e8891c9212d, 2bfe8e95ef7d83961b80b6bacedd2c8c84e056bc, and 08ed3ec64ecd571d92d497b2493f5c0225102c99 as a temporary fix to <https://bugs.gnu.org/68982>.
2024-02-08gnu: Add python-geoip2fast.Ricardo Wurmus
* gnu/packages/geo.scm (python-geoip2fast): New variable. Change-Id: Ia1ca57ac281c487db65ad3474940e8326082b7a1
2024-02-08gnu: elixir: Remove wrap for mix.Andrew Tropin
* 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-07gnu: janet: Update to 1.33.0unwox
* gnu/packages/lisp.scm (janet): Update to 1.33.0. Change-Id: Ic5dd8b0c7042fe965c940d291331803f7f28e3f2 Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-02-07gnu: qgis: Fix build against proj 9.3.1.Felix Gruber
* 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-07gnu: grass: Update to 7.8.8.Felix Gruber
* gnu/packages/geo.scm (grass): Update to 7.8.8. Change-Id: Ife86e2f770e1a3bbc907e9baf25253dbff7e5653 Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-02-07gnu: python-pyshp: Update to 2.3.1.Felix Gruber
* 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-07gnu: python-shapely: Update to 2.0.2.Felix Gruber
* 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-07gnu: geos: Update to 3.12.1.Felix Gruber
* 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-07gnu: libgeotiff: Fix build with proj 9.3.1.Felix Gruber
* 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-07gnu: python-pyproj: Update to 3.6.1.Felix Gruber
* 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-07gnu: proj: Update to 9.3.1.Felix Gruber
* gnu/packages/geo.scm (proj): Update to 9.3.1. Change-Id: I176efdba12761b81b90c8a53c362e4e66bd08fca Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-02-07gnu: Register missing patch.Efraim Flashner
* gnu/local.mk (dist_patch_DATA): Add missing patch. Change-Id: I82264a8cbea1550522994292e24f702f7cc78700
2024-02-06gnu: python-ipydatawidgets: Fix build.Sharlatan Hellseher
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-06gnu: python-traittypes: Simplify package.Sharlatan Hellseher
* 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-06gnu: python-pynrrd: Update to 1.0.0.Sharlatan Hellseher
* 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-06gnu: python-pynrrd: Improve description.Sharlatan Hellseher
* gnu/packages/python-science.scm (python-pynrrd) [description]: Add definition of NRRD. Change-Id: I0335df0eb4be600d81799da64374ddfb49b06720
generated by cgit v1.2.3 (git 2.46.0) at 2024-08-19 17:02:56 +0000