Vincent Laporte
87ffbe2384
ocamlPackages.uuseg: 15.1.0 → 16.0.0
2024-10-01 21:52:09 +02:00
Vincent Laporte
a1354317d7
ocamlPackages.uunf: 15.1.0 → 16.0.0
2024-09-30 19:12:48 +02:00
Ulrik Strid
04efabb086
ocamlPackages.lsp: 1.18.0 → 1.19.0 ( #344686 )
2024-09-30 08:50:40 +02:00
Ulrik Strid
226757c677
alt-ergo: 2.5.4 → 2.6.0 ( #344581 )
2024-09-30 08:49:27 +02:00
Vincent Laporte
d31bb1e076
piaf: 0.1.0 → 0.2.0
2024-09-30 06:58:48 +02:00
Vincent Laporte
57617c48ef
ocamlPackages.h2-eio: init at 0.13.0
2024-09-30 06:58:48 +02:00
Vincent Laporte
75a60571b4
ocamlPackages.httpun-ws: init at 0.2.0
2024-09-30 06:58:48 +02:00
Vincent Laporte
e2be410cef
ocamlPackages.httpun-eio: init at 0.2.0
2024-09-30 06:58:48 +02:00
Vincent Laporte
7e69dfd3c0
ocamlPackages.httpun: init at 0.2.0
2024-09-30 06:58:48 +02:00
Vincent Laporte
c48691642f
ocamlPackages.eio-ssl: init at 0.3.0
2024-09-30 06:58:48 +02:00
Emily
818089ba73
teams: create the Xen Project Team and rename instances of Xen to Xen Project. ( #344314 )
2024-09-28 15:57:32 +01:00
Fernando Rodrigues
82f0ee2c5b
treewide: assign maintainership of the Xen-related packages to the Xen Project Hypervisor Team
...
Signed-off-by: Fernando Rodrigues <alpha@sigmasquadron.net>
2024-09-28 14:53:59 +00:00
Vincent Laporte
3cae63521d
ocamlPackages.cfstream: disable for OCaml < 4.08
2024-09-27 21:34:14 +02:00
Vincent Laporte
69dfe24562
ocamlPackages.ppx_blob: disable for OCaml < 4.08
2024-09-27 21:34:14 +02:00
Vincent Laporte
7a7fe52b55
ocamlPackages.printbox: disable for OCaml < 4.04
2024-09-27 21:34:14 +02:00
Weijia Wang
144b10c8a3
ocamlPackages.unisim_archisec: 0.0.8 -> 0.0.9 ( #341712 )
2024-09-26 22:54:08 +02:00
Vincent Laporte
9139415648
ocamlPackages.lsp: 1.18.0 → 1.19.0
2024-09-26 18:15:37 +02:00
Ulrik Strid
2922a7957a
ocamlPackages.uucp: 15.1.0 → 16.0.0 ( #344130 )
2024-09-26 10:15:37 +02:00
Ulrik Strid
a4d43bfe79
ocamlPackages.lambdasoup: 1.1.0 -> 1.1.1 ( #341750 )
2024-09-26 10:06:35 +02:00
Ulrik Strid
c52a1bfa68
ocamlPackages.qcheck-multicoretests-util: 0.3 -> 0.4 ( #342697 )
2024-09-26 10:05:29 +02:00
Vincent Laporte
8e2b735ee0
alt-ergo: 2.5.4 → 2.6.0
...
ocamlPackages.dolmen: 0.9 → 0.10
2024-09-26 07:32:38 +02:00
Artturin
e0464e4788
treewide: replace stdenv.is with stdenv.hostPlatform.is
...
In preparation for the deprecation of `stdenv.isX`.
These shorthands are not conducive to cross-compilation because they
hide the platforms.
Darwin might get cross-compilation for which the continued usage of `stdenv.isDarwin` will get in the way
One example of why this is bad and especially affects compiler packages
https://www.github.com/NixOS/nixpkgs/pull/343059
There are too many files to go through manually but a treewide should
get users thinking when they see a `hostPlatform.isX` in a place where it
doesn't make sense.
```
fd --type f "\.nix" | xargs sd --fixed-strings "stdenv.is" "stdenv.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "stdenv'.is" "stdenv'.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "clangStdenv.is" "clangStdenv.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "gccStdenv.is" "gccStdenv.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "stdenvNoCC.is" "stdenvNoCC.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "inherit (stdenv) is" "inherit (stdenv.hostPlatform) is"
fd --type f "\.nix" | xargs sd --fixed-strings "buildStdenv.is" "buildStdenv.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "effectiveStdenv.is" "effectiveStdenv.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "originalStdenv.is" "originalStdenv.hostPlatform.is"
```
2024-09-25 00:04:37 +03:00
Kait Lam
518fc09de0
ocamlPackages.mlbdd: init at 0.7.2 ( #344136 )
2024-09-24 10:26:35 +02:00
Vincent Laporte
6c90049441
ocamlPackages.hpack: 0.11.0 → 0.13.0
2024-09-24 08:50:32 +02:00
Vincent Laporte
40f7c72b65
ocamlPackages.httpun-types: init at 0.2.0
2024-09-24 08:50:32 +02:00
Vincent Laporte
d6e9ce6329
ocamlPackages.paf: add missing dependency httpaf
2024-09-24 08:50:32 +02:00
Vincent Laporte
3ce5a9d994
ocamlPackages.uucp: 15.1.0 → 16.0.0
2024-09-24 07:02:07 +02:00
Vincent Laporte
087475f93b
ocamlPackages.uucd: 15.1.0 → 16.0.0
2024-09-23 21:24:51 +02:00
Vincent Laporte
94d0d22817
ocamlPackages.elpi: use release tarball ( #343266 )
...
coqPackages.metaFetch: Adding a github artifact option
Co-authored-by: Cyril Cohen <cohen@crans.org>
2024-09-23 09:52:07 +02:00
Vincent Laporte
5e6bd6eb1d
ocamlPackages.angstrom: 0.16.0 → 0.16.1
2024-09-23 07:28:01 +02:00
Weijia Wang
aae6a077a9
ocamlPackages.brisk-reconciler: remove with lib; ( #343671 )
2024-09-22 12:03:50 +02:00
Mutsuha Asada
cafa67f066
ocamlPackages.brisk-reconciler: remove with lib;
2024-09-22 17:33:15 +09:00
Mutsuha Asada
00bf372741
ocamlPackages.bisect_ppx: remove with lib;
2024-09-22 17:14:26 +09:00
Vincent Laporte
52cbc8d6eb
ocamlPackages.brr: 0.0.6 → 0.0.7
2024-09-20 09:09:22 +02:00
R. Ryantm
b1c583e454
ocamlPackages.qcheck-multicoretests-util: 0.3 -> 0.4
2024-09-18 02:22:33 +00:00
R. Ryantm
2987235936
ocamlPackages.lambdasoup: 1.1.0 -> 1.1.1
2024-09-14 05:55:41 +00:00
R. Ryantm
104ab2bdcb
ocamlPackages.unisim_archisec: 0.0.8 -> 0.0.9
2024-09-14 01:36:34 +00:00
Vincent Laporte
5fc3cb3ca0
ocamlPackages.ocsigenserver: 5.1.2 → 6.0.0
...
ocamlPackages.eliom: 10.4.1 → 11.0.0
2024-09-13 14:11:39 +02:00
Weijia Wang
6ec57b76a9
ocamlPackages.containers: 3.13.1 -> 3.14 ( #341019 )
2024-09-12 22:37:30 +02:00
Weijia Wang
bf8d90e116
ocamlPackages.inotify: 2.5 -> 2.6 ( #330180 )
2024-09-12 22:35:52 +02:00
Vincent Laporte
7f69b25e32
ocamlPackages.mrmime: 0.5.0 → 0.6.1
2024-09-12 18:31:05 +02:00
Vincent Laporte
95376efebc
ocamlPackages.piaf: add missing dependencies
2024-09-12 18:31:05 +02:00
Weijia Wang
d6796b28ef
ligo: unbreak on aarch64-linux
2024-09-12 07:03:27 +02:00
Weijia Wang
4b5e982175
ocamlPackages.timedesc: 2.0.0 -> 3.1.0 ( #329542 )
2024-09-11 18:50:54 +02:00
Weijia Wang
a010e30d51
ocamlPackages.ppx_yojson_conv_lib: 0.16.0 -> 0.17.0 ( #330545 )
2024-09-11 18:46:00 +02:00
Weijia Wang
c82d9286f2
ocamlPackages.ppx_blob: 0.8.0 -> 0.9.0 ( #330774 )
2024-09-11 18:31:47 +02:00
Weijia Wang
182ffe0f2d
ocamlPackages.gluten: 0.5.1 -> 0.5.2 ( #339682 )
2024-09-11 18:25:52 +02:00
Weijia Wang
fcb8b4a8e8
ocamlPackages.tezt: 4.0.0 -> 4.1.0 ( #329545 )
2024-09-11 18:23:39 +02:00
Weijia Wang
ee9a6df340
ocamlPackages.miou: 0.2.0 -> 0.3.0 ( #336552 )
2024-09-11 18:17:30 +02:00
Weijia Wang
d26344d54f
ocamlPackages.ocaml-version: 3.6.7 -> 3.6.8 ( #336779 )
2024-09-11 18:15:45 +02:00
