Age | Commit message (Collapse) | Author |
|
* gnu/packages/ocaml.scm (dune-private-libs): New variable.
Change-Id: I6d2b62745459626d5d1363c1251449b959f8a544
|
|
* gnu/packages/ocaml.scm (dune-stdune): New variable.
Change-Id: I8993bd7157f6edd0f02d5c9a5bbc54915918ff15
|
|
* gnu/packages/ocaml.scm (dune-dyn): New variable.
Change-Id: I34907a758c146d9f18ab5807c069dfe104e6854f
|
|
* gnu/packages/ocaml.scm (dune-ordering): New variable.
Change-Id: I78d81dfc2523b47bdca6430e2f9961cf39c7335a
|
|
* gnu/packages/ocaml.scm (ocaml-pp): New variable.
Change-Id: Ib97bceddda4b7037667cdb1a1b7152c8dc06acd7
|
|
* gnu/packages/ocaml.scm (ocaml-ppx-import): New variable.
Change-Id: Ie9619653f2b3ecc4458394709e37c4a433f875dd
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-ppx-deriving-yaml): New variable.
Change-Id: I2677ce5b630b77abdec7743cd25c4193ca7b351e
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-yaml): New variable.
Change-Id: Ia890e505dd3ff0fe9a8c243adef460e0475d9e81
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-junit-alcotest): New variable.
Change-Id: I377bbba90e8625a47680643db2ef84fabbe60908
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-junit): New variable.
Change-Id: I69fd4302b0a178765a79a72801eed694b3bd3ebd
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-ppx-deriving-yojson): New variable.
Change-Id: I3f5dfdf39c7e7d9655fc26ee6cc88a2c30485d57
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-ppx-bench): Update to 0.16.0.
Change-Id: If65570f4baff82200bf30c0277f2dccad9e23732
|
|
* gnu/packages/ocaml.scm (ocaml-jst-config): Update to 0.16.0.
Change-Id: I9203537dc8d33ee4bf4fb88c6a641f8ecfaecdb0
|
|
* gnu/packages/ocaml.scm (ocaml-ppx-bin-prot): Update to 0.16.0.
Change-Id: Ib907aca6c1d76ecf0d8ddc8ce30728546b4adb9c
|
|
* gnu/packages/ocaml.scm (ocam-bin-prot): Update to 0.16.0.
(bap)[arguments]: Fix code after ocaml-bin-prot changes.
Change-Id: I0756cfaaed2e487c18f6cab119fb7ac8b2863edd
|
|
* gnu/packages/ocaml.scm (ocaml-ppx-stable-witness): New variable.
Change-Id: I697c87ec27f0c218de1419ab699e14f7dffa3ca0
|
|
* 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
|
|
* gnu/packages/ocaml.scm (ocaml-sexplib): Update to 0.16.0.
Change-Id: Ib7c2737b64f5b1f8de7ea8db7bcba05ef813c5db
|
|
* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.7.0.
Change-Id: I87bb7eec4a8b36c499448685df3e11c2edaba31b
|
|
* 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
|
|
* 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
|
|
* 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
|
|
* gnu/packages/coq.scm (coq-interval): Update to 4.8.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: I17e2426aacd84289eff538a195b79683eb98fe9f
|
|
* gnu/packages/coq.scm (coq-stdpp): Update to 1.8.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: Id44b29296fa6de706b0a3eac90616ba0de126f87
|
|
* gnu/packages/coq.scm (coq-autosubst): Update to 1.8.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: I36b226afd3ed043977c6188dcb6bdeaf2e402de8
|
|
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.17.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: Ia8397f94b7158128e6473811355a2c596c98970b
|
|
* gnu/packages/coq.scm (coq-coquelicot): Update to 3.4.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: I14c18abdbb7bebea75ac26be9c4c1954778cef22
|
|
* gnu/packages/coq.scm (coq-gappa): Update to 1.5.3.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: Icc124d8a2d7a55717651d135d6817871b5bc6321
|
|
* gnu/packages/coq.scm (coq-flocq): Update to 4.1.1.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: Ib2d8fb4701d03a5e796736ab5b2a30dc6897dc22
|
|
* gnu/packages/ocaml.scm (ocaml): Update to 4.14.1.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: I46de8b8bfac9250420175d0d16473c6cc8ee4198
|
|
* gnu/packages/high-availability.scm (nats-server): Update to 2.10.10.
Change-Id: Ic34d8a4672b188c8d3d10141f9227cab4075fd5b
|
|
* gnu/packages/golang-xyz.scm (go-github-com-nats-io-nats-go): Update to 1.32.0.
Change-Id: I094dffb0757672067d29b102d12a268264758ea5
|
|
* gnu/packages/golang-crypto.scm (go-github-com-nats-io-nkeys): Update to 0.4.7.
Change-Id: I75ab528c844ab5d046f297bdf9009d30c86eb90a
|
|
* gnu/packages/messaging.scm (nats-server): New variable.
Change-Id: Idb05684fae798b37d396279f136f11fce85e2e02
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
|
|
* 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>
|
|
* 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>
|
|
* gnu/packages/golang-crypto.scm (go-github-com-nats-io-nkeys): New variable.
Change-Id: Id82a9afd15f110426fd7a16b286b5af5cae45c6a
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
|
|
* gnu/packages/golang-xyz.scm (go-github-com-nats-io-nuid): New variable.
Change-Id: I71ef84703b6971cabacafcba09d1447544fb48bf
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
|
|
* gnu/packages/golang-xyz.scm (go-go-uber-org-automaxprocs): New variable.
Change-Id: I06abcaf3f3b74e23e5808d4ff37a93a0dc45b137
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
|
|
* gnu/packages/golang-check.scm (go-github-com-prashantv-gostub): New variable.
Change-Id: I2ffde6cb83e4c7f6b2e412b38341add952803719
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
|
|
* gnu/packages/golang-crypto.scm (go-github-com-minio-highwayhash): New variable.
Change-Id: Ib6aa8a38946841e840b17848b07434487f0435ef
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
|
|
This reverts commits 9d53c236a69786508197c75d42923e8891c9212d,
2bfe8e95ef7d83961b80b6bacedd2c8c84e056bc, and
08ed3ec64ecd571d92d497b2493f5c0225102c99 as a temporary fix to
<https://bugs.gnu.org/68982>.
|
|
* gnu/packages/geo.scm (python-geoip2fast): New variable.
Change-Id: Ia1ca57ac281c487db65ad3474940e8326082b7a1
|
|
* 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
|
|
* gnu/packages/lisp.scm (janet): Update to 1.33.0.
Change-Id: Ic5dd8b0c7042fe965c940d291331803f7f28e3f2
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
* 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>
|
|
* gnu/packages/geo.scm (grass): Update to 7.8.8.
Change-Id: Ife86e2f770e1a3bbc907e9baf25253dbff7e5653
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
* 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>
|
|
* 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>
|
|
* 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>
|