summaryrefslogtreecommitdiff
path: root/gnu
Commit message (Expand)AuthorAgeFilesLines
* gnu: wabt: Update to 1.0.34.•••* gnu/packages/web.scm (wabt): Update to 1.0.34. [arguments]: Disable tests on !x86_64. Vagrant Cascadian2024-02-091-2/+4
* 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. Vagrant Cascadian2024-02-091-2/+2
* 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> Artyom V. Poptsov2024-02-091-3/+3
* 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> Wilko Meyer2024-02-081-2/+2
* 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> Wilko Meyer2024-02-081-2/+2
* 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> Wilko Meyer2024-02-081-2/+2
* 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> pukkamustard2024-02-086-281/+74
* gnu: ocaml-base64: Update to 3.5.1.•••* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.5.1. Change-Id: I4732c7b8711af79e09536adc478d84ca0e29408c Julien Lepiller2024-02-081-2/+2
* 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 Julien Lepiller2024-02-081-25/+29
* gnu: Add dune-site.•••* gnu/packages/ocaml.scm (dune-site): New variable. Change-Id: Idbb555f023a179d52bcf6839c7f37506813ae2b4 Julien Lepiller2024-02-081-0/+13
* gnu: Add dune-private-libs.•••* gnu/packages/ocaml.scm (dune-private-libs): New variable. Change-Id: I6d2b62745459626d5d1363c1251449b959f8a544 Julien Lepiller2024-02-081-0/+14
* gnu: Add dune-stdune.•••* gnu/packages/ocaml.scm (dune-stdune): New variable. Change-Id: I8993bd7157f6edd0f02d5c9a5bbc54915918ff15 Julien Lepiller2024-02-081-0/+13
* gnu: Add dune-dyn.•••* gnu/packages/ocaml.scm (dune-dyn): New variable. Change-Id: I34907a758c146d9f18ab5807c069dfe104e6854f Julien Lepiller2024-02-081-0/+13
* gnu: Add dune-ordering.•••* gnu/packages/ocaml.scm (dune-ordering): New variable. Change-Id: I78d81dfc2523b47bdca6430e2f9961cf39c7335a Julien Lepiller2024-02-081-0/+19
* gnu: Add ocaml-pp.•••* gnu/packages/ocaml.scm (ocaml-pp): New variable. Change-Id: Ib97bceddda4b7037667cdb1a1b7152c8dc06acd7 Julien Lepiller2024-02-081-1/+27
* 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> Arnaud DABY-SEESARAM2024-02-081-0/+25
* 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> Arnaud DABY-SEESARAM2024-02-081-2/+27
* gnu: Add ocaml-yaml.•••* gnu/packages/ocaml.scm (ocaml-yaml): New variable. Change-Id: Ia890e505dd3ff0fe9a8c243adef460e0475d9e81 Signed-off-by: Julien Lepiller <julien@lepiller.eu> Arnaud DABY-SEESARAM2024-02-081-0/+33
* 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> Arnaud DABY-SEESARAM2024-02-081-0/+16
* gnu: Add ocaml-junit.•••* gnu/packages/ocaml.scm (ocaml-junit): New variable. Change-Id: I69fd4302b0a178765a79a72801eed694b3bd3ebd Signed-off-by: Julien Lepiller <julien@lepiller.eu> Arnaud DABY-SEESARAM2024-02-081-0/+30
* 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> Arnaud DABY-SEESARAM2024-02-081-0/+29
* gnu: ocaml-ppx-bench: Update to 0.16.0.•••* gnu/packages/ocaml.scm (ocaml-ppx-bench): Update to 0.16.0. Change-Id: If65570f4baff82200bf30c0277f2dccad9e23732 Julien Lepiller2024-02-081-2/+2
* gnu: ocaml-jst-config: Update to 0.16.0.•••* gnu/packages/ocaml.scm (ocaml-jst-config): Update to 0.16.0. Change-Id: I9203537dc8d33ee4bf4fb88c6a641f8ecfaecdb0 Julien Lepiller2024-02-081-2/+2
* 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 Julien Lepiller2024-02-081-2/+2
* 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 Julien Lepiller2024-02-081-2/+8
* gnu: Add ocaml-ppx-stable-witness.•••* gnu/packages/ocaml.scm (ocaml-ppx-stable-witness): New variable. Change-Id: I697c87ec27f0c218de1419ab699e14f7dffa3ca0 Julien Lepiller2024-02-081-0/+24
* 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 Julien Lepiller2024-02-081-8/+8
* gnu: ocaml-sexplib: Update to 0.16.0.•••* gnu/packages/ocaml.scm (ocaml-sexplib): Update to 0.16.0. Change-Id: Ib7c2737b64f5b1f8de7ea8db7bcba05ef813c5db Julien Lepiller2024-02-081-2/+2
* gnu: ocaml-alcotest: Update to 1.7.0.•••* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.7.0. Change-Id: I87bb7eec4a8b36c499448685df3e11c2edaba31b Julien Lepiller2024-02-081-2/+2
* 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 pukkamustard2024-02-081-80/+183
* 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 pukkamustard2024-02-081-5/+6
* 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 pukkamustard2024-02-083-111/+32
* 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 pukkamustard2024-02-081-2/+2
* 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 pukkamustard2024-02-081-2/+2
* 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 pukkamustard2024-02-081-27/+23
* 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 pukkamustard2024-02-081-2/+2
* 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 pukkamustard2024-02-081-2/+2
* 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 pukkamustard2024-02-081-2/+2
* 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 pukkamustard2024-02-081-2/+2
* 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 pukkamustard2024-02-081-2/+2
* gnu: nats-server: Update to 2.10.10.•••* gnu/packages/high-availability.scm (nats-server): Update to 2.10.10. Change-Id: Ic34d8a4672b188c8d3d10141f9227cab4075fd5b Sharlatan Hellseher2024-02-081-2/+2
* 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 Sharlatan Hellseher2024-02-081-2/+2
* 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 Sharlatan Hellseher2024-02-081-2/+2
* gnu: Add nats-server.•••* gnu/packages/messaging.scm (nats-server): New variable. Change-Id: Idb05684fae798b37d396279f136f11fce85e2e02 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com> Benjamin2024-02-081-0/+44
* 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> Benjamin2024-02-081-1/+30
* 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> Benjamin2024-02-081-0/+25
* 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> Benjamin2024-02-081-0/+24
* 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> Benjamin2024-02-081-0/+23
* 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> Benjamin2024-02-081-0/+26
* 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> Benjamin2024-02-081-0/+25
generated by cgit v1.2.3 (git 2.47.1) at 2025-02-02 07:37:25 +0000