Skip to content

Conversation

@vbgl
Copy link
Contributor

@vbgl vbgl commented Dec 12, 2025

ocamlPackages.atdgen-codec-runtime: 2.16.0 → 3.0.1

Things done

  • Built on platform:
    • x86_64-linux
    • aarch64-linux
    • x86_64-darwin
    • aarch64-darwin
  • Tested, as applicable:
  • Ran nixpkgs-review on this PR. See nixpkgs-review usage.
  • Tested basic functionality of all binary files, usually in ./result/bin/.
  • Nixpkgs Release Notes
    • Package update: when the change is major or breaking.
  • NixOS Release Notes
    • Module addition: when adding a new NixOS module.
    • Module update: when the change is significant.
  • Fits CONTRIBUTING.md, pkgs/README.md, maintainers/README.md and other READMEs.

Add a 👍 reaction to pull requests you find important.

ocamlPackages.atdgen-codec-runtime: 2.16.0 → 3.0.1
@vbgl vbgl added 8.has: package (update) This PR updates a package to a newer version 6.topic: ocaml OCaml is a general-purpose, high-level, multi-paradigm programming language. labels Dec 12, 2025
@nixpkgs-ci nixpkgs-ci bot added 10.rebuild-linux: 101-500 This PR causes between 101 and 500 packages to rebuild on Linux. 10.rebuild-darwin: 101-500 This PR causes between 101 and 500 packages to rebuild on Darwin. 6.topic: coq A formal proof management system labels Dec 12, 2025
@marijanp
Copy link
Contributor

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review pr 470071
Commit: eec6d815c91e8bc7b3abe8804a94d728c987e310


x86_64-linux

⏩ 11 packages marked as broken and skipped:
  • haxe
  • haxePackages.format
  • haxePackages.heaps
  • haxePackages.hlopenal
  • haxePackages.hlsdl
  • haxePackages.hxcpp
  • haxePackages.hxcs
  • haxePackages.hxjava
  • haxePackages.hxnodejs_4
  • haxe_4_3
  • hxcpp
❌ 1 package failed to build:
  • why3find
✅ 406 packages built:
  • abella
  • acgtk
  • alt-ergo
  • alt-ergo.bin
  • beluga
  • cerberus
  • cmdstan
  • coccinelle
  • coqPackages.QuickChick
  • coqPackages.autosubst
  • coqPackages.coq-elpi (rocqPackages.rocq-elpi)
  • coqPackages.coq-lsp
  • coqPackages.coqeal
  • coqPackages.coquelicot
  • coqPackages.deriving
  • coqPackages.extructures
  • coqPackages.fcsl-pcm
  • coqPackages.fourcolor
  • coqPackages.gaia
  • coqPackages.graph-theory
  • coqPackages.hierarchy-builder (rocqPackages.hierarchy-builder)
  • coqPackages.interval
  • coqPackages.libvalidsdp
  • coqPackages.mathcomp
  • coqPackages.mathcomp-algebra
  • coqPackages.mathcomp-algebra-tactics
  • coqPackages.mathcomp-analysis
  • coqPackages.mathcomp-analysis-stdlib
  • coqPackages.mathcomp-bigenough
  • coqPackages.mathcomp-boot
  • coqPackages.mathcomp-character
  • coqPackages.mathcomp-classical
  • coqPackages.mathcomp-experimental-reals
  • coqPackages.mathcomp-field
  • coqPackages.mathcomp-fingroup
  • coqPackages.mathcomp-finmap
  • coqPackages.mathcomp-infotheo
  • coqPackages.mathcomp-order
  • coqPackages.mathcomp-real-closed
  • coqPackages.mathcomp-reals
  • coqPackages.mathcomp-reals-stdlib
  • coqPackages.mathcomp-solvable
  • coqPackages.ssreflect (coqPackages.mathcomp-ssreflect)
  • coqPackages.mathcomp-tarjan
  • coqPackages.mathcomp-word
  • coqPackages.mathcomp-zify
  • coqPackages.multinomials
  • coqPackages.odd-order
  • coqPackages.reglang
  • coqPackages.ssprove
  • coqPackages.validsdp
  • coqPackages.vscoq-language-server
  • coqPackages.wasmcert
  • cvehound
  • cvehound.dist
  • docfd
  • dune-release (ocamlPackages.dune-release)
  • easycrypt
  • eff
  • framac
  • fstar
  • gnatprove (gnatPackages.gnatprove)
  • gnat14Packages.gnatprove
  • gnat15Packages.gnatprove
  • google-drive-ocamlfuse (ocamlPackages.google-drive-ocamlfuse)
  • gradescope-submit
  • hol_light (ocamlPackages.hol_light)
  • iprover
  • jackline
  • jasmin-compiler
  • jasmin-compiler.bin
  • jasmin-compiler.lib
  • ledit
  • linuxKernel.packages.linux_5_15.drbd
  • linuxKernel.packages.linux_6_1.drbd
  • linuxPackages.drbd (linuxKernel.packages.linux_6_12.drbd)
  • linuxKernel.packages.linux_hardened.drbd (linuxKernel.packages.linux_6_12_hardened.drbd)
  • linuxKernel.packages.linux_6_17.drbd
  • linuxPackages_latest.drbd (linuxKernel.packages.linux_6_18.drbd)
  • linuxKernel.packages.linux_6_6.drbd
  • linuxPackages_lqx.drbd (linuxKernel.packages.linux_lqx.drbd)
  • linuxPackages_xanmod.drbd (linuxKernel.packages.linux_xanmod.drbd)
  • linuxPackages_xanmod_latest.drbd (linuxKernel.packages.linux_xanmod_latest.drbd, linuxPackages_xanmod_stable.drbd)
  • linuxPackages_zen.drbd (linuxKernel.packages.linux_zen.drbd)
  • liquidsoap
  • mopsa (mopsa.bin, ocamlPackages.mopsa.bin)
  • msat
  • ocaml-pds
  • ocamlPackages.alcotest-lwt
  • ocamlPackages.alcotest-mirage
  • ocamlPackages.arp
  • ocamlPackages.async_rpc_websocket (ocamlPackages.janeStreet.async_rpc_websocket)
  • ocamlPackages.async_smtp (ocamlPackages.janeStreet.async_smtp)
  • ocamlPackages.atd
  • ocamlPackages.atdgen
  • ocamlPackages.atdgen-codec-runtime
  • ocamlPackages.atdgen-runtime
  • ocamlPackages.awa
  • ocamlPackages.awa-mirage
  • ocamlPackages.base64
  • ocamlPackages.biotk
  • ocamlPackages.bos
  • ocamlPackages.brr
  • ocamlPackages.ca-certs
  • ocamlPackages.ca-certs-nss
  • ocamlPackages.camlp5 (ocamlPackages.camlp5_strict)
  • ocamlPackages.caqti
  • ocamlPackages.caqti-async
  • ocamlPackages.caqti-driver-mariadb
  • ocamlPackages.caqti-driver-postgresql
  • ocamlPackages.caqti-driver-sqlite3
  • ocamlPackages.caqti-dynload
  • ocamlPackages.caqti-eio
  • ocamlPackages.caqti-lwt
  • ocamlPackages.caqti-type-calendar
  • ocamlPackages.carton
  • ocamlPackages.carton-git
  • ocamlPackages.carton-lwt
  • ocamlPackages.cbor
  • ocamlPackages.checkseum
  • ocamlPackages.cohttp
  • ocamlPackages.cohttp-async
  • ocamlPackages.cohttp-lwt
  • ocamlPackages.cohttp-lwt-jsoo
  • ocamlPackages.cohttp-lwt-unix
  • ocamlPackages.cohttp-top
  • ocamlPackages.cohttp_async_websocket (ocamlPackages.janeStreet.cohttp_async_websocket)
  • ocamlPackages.cohttp_static_handler (ocamlPackages.janeStreet.cohttp_static_handler)
  • ocamlPackages.colombe
  • ocamlPackages.conduit-lwt-unix
  • ocamlPackages.conduit-mirage
  • ocamlPackages.containers
  • ocamlPackages.containers-data
  • ocamlPackages.content_security_policy (ocamlPackages.janeStreet.content_security_policy)
  • ocamlPackages.cooltt
  • ocamlPackages.curly
  • ocamlPackages.dap
  • ocamlPackages.decoders
  • ocamlPackages.decoders-bencode
  • ocamlPackages.decoders-cbor
  • ocamlPackages.decoders-ezjsonm
  • ocamlPackages.decoders-ezxmlm
  • ocamlPackages.decoders-jsonaf
  • ocamlPackages.decoders-jsonm
  • ocamlPackages.decoders-msgpck
  • ocamlPackages.decoders-sexplib
  • ocamlPackages.decoders-yojson
  • ocamlPackages.decompress
  • ocamlPackages.digestif
  • ocamlPackages.dns
  • ocamlPackages.dns-certify
  • ocamlPackages.dns-cli
  • ocamlPackages.dns-client
  • ocamlPackages.dns-client-lwt
  • ocamlPackages.dns-client-mirage
  • ocamlPackages.dns-mirage
  • ocamlPackages.dns-resolver
  • ocamlPackages.dns-server
  • ocamlPackages.dns-stub
  • ocamlPackages.dns-tsig
  • ocamlPackages.dnssec
  • ocamlPackages.dolmen_lsp
  • ocamlPackages.domainslib
  • ocamlPackages.dose3
  • ocamlPackages.dream
  • ocamlPackages.dream-httpaf
  • ocamlPackages.dream-pure
  • ocamlPackages.dscheck
  • ocamlPackages.earlybird
  • ocamlPackages.eio_linux
  • ocamlPackages.eio_main
  • ocamlPackages.eio_posix
  • ocamlPackages.elpi
  • ocamlPackages.email_message (ocamlPackages.janeStreet.email_message)
  • ocamlPackages.emile
  • ocamlPackages.ethernet
  • ocamlPackages.gapi-ocaml
  • ocamlPackages.gen_js_api
  • ocamlPackages.get-activity
  • ocamlPackages.get-activity-lib
  • ocamlPackages.git
  • ocamlPackages.git-mirage
  • ocamlPackages.git-paf
  • ocamlPackages.git-unix
  • ocamlPackages.github
  • ocamlPackages.github-data
  • ocamlPackages.github-jsoo
  • ocamlPackages.github-unix
  • ocamlPackages.gitlab
  • ocamlPackages.gitlab-jsoo
  • ocamlPackages.gitlab-unix
  • ocamlPackages.gluten-mirage
  • ocamlPackages.graphql
  • ocamlPackages.graphql-cohttp
  • ocamlPackages.graphql-lwt
  • ocamlPackages.graphql_ppx
  • ocamlPackages.h1
  • ocamlPackages.h2
  • ocamlPackages.h2-eio
  • ocamlPackages.h2-lwt
  • ocamlPackages.h2-lwt-unix
  • ocamlPackages.happy-eyeballs
  • ocamlPackages.happy-eyeballs-lwt
  • ocamlPackages.happy-eyeballs-mirage
  • ocamlPackages.higlo
  • ocamlPackages.hkdf
  • ocamlPackages.http-mirage-client
  • ocamlPackages.httpun-ws
  • ocamlPackages.httpun-ws-lwt
  • ocamlPackages.imagelib
  • ocamlPackages.index
  • ocamlPackages.irmin
  • ocamlPackages.irmin-chunk
  • ocamlPackages.irmin-containers
  • ocamlPackages.irmin-fs
  • ocamlPackages.irmin-git
  • ocamlPackages.irmin-graphql
  • ocamlPackages.irmin-mirage
  • ocamlPackages.irmin-mirage-git
  • ocamlPackages.irmin-mirage-graphql
  • ocamlPackages.irmin-pack
  • ocamlPackages.irmin-test
  • ocamlPackages.irmin-tezos
  • ocamlPackages.irmin-watcher
  • ocamlPackages.jose
  • ocamlPackages.js_of_ocaml
  • ocamlPackages.js_of_ocaml-compiler
  • ocamlPackages.js_of_ocaml-lwt
  • ocamlPackages.js_of_ocaml-ppx
  • ocamlPackages.js_of_ocaml-ppx_deriving_json
  • ocamlPackages.js_of_ocaml-toplevel
  • ocamlPackages.js_of_ocaml-tyxml
  • ocamlPackages.jsonrpc
  • ocamlPackages.jsont
  • ocamlPackages.jwto
  • ocamlPackages.kcas
  • ocamlPackages.kdf
  • ocamlPackages.lambda-term
  • ocamlPackages.lambdapi
  • ocamlPackages.letsencrypt
  • ocamlPackages.letsencrypt-app
  • ocamlPackages.letsencrypt-dns
  • ocamlPackages.letsencrypt-mirage
  • ocamlPackages.letters
  • ocamlPackages.linol
  • ocamlPackages.linol-eio
  • ocamlPackages.linol-lwt
  • ocamlPackages.logs
  • ocamlPackages.logs-syslog
  • ocamlPackages.lsp
  • ocamlPackages.lustre-v6
  • ocamlPackages.magic-trace
  • ocamlPackages.melange-json-native
  • ocamlPackages.merlin
  • ocamlPackages.metrics-lwt
  • ocamlPackages.metrics-rusage
  • ocamlPackages.metrics-unix
  • ocamlPackages.mimic
  • ocamlPackages.mimic-happy-eyeballs
  • ocamlPackages.mirage
  • ocamlPackages.mirage-block-combinators
  • ocamlPackages.mirage-block-unix
  • ocamlPackages.mirage-bootvar-xen
  • ocamlPackages.mirage-crypto-ec
  • ocamlPackages.mirage-crypto-pk
  • ocamlPackages.mirage-crypto-rng
  • ocamlPackages.mirage-crypto-rng-miou-unix
  • ocamlPackages.mirage-crypto-rng-mirage
  • ocamlPackages.mirage-flow-combinators
  • ocamlPackages.mirage-flow-unix
  • ocamlPackages.mirage-logs
  • ocamlPackages.mirage-nat
  • ocamlPackages.mirage-net-xen
  • ocamlPackages.mirage-protocols
  • ocamlPackages.mirage-runtime
  • ocamlPackages.mirage-unix
  • ocamlPackages.mirage-vnetif
  • ocamlPackages.mirage-xen
  • ocamlPackages.mirage.dev
  • ocamlPackages.mldoc
  • ocamlPackages.mopsa
  • ocamlPackages.morbig
  • ocamlPackages.mrmime
  • ocamlPackages.msat
  • ocamlPackages.multicore-bench
  • ocamlPackages.multicore-magic
  • ocamlPackages.multicore-magic-dscheck
  • ocamlPackages.multipart_form
  • ocamlPackages.multipart_form-eio
  • ocamlPackages.multipart_form-lwt
  • ocamlPackages.multipart_form-miou
  • ocamlPackages.netchannel
  • ocamlPackages.note
  • ocamlPackages.ocaml-lsp
  • ocamlPackages.ocaml-print-intf
  • ocamlPackages.ocaml-protoc-plugin
  • ocamlPackages.ocamlformat-mlx
  • ocamlPackages.ocamlformat-mlx-lib
  • ocamlPackages.ocamlmerlin-mlx
  • ocamlPackages.ocf
  • ocamlPackages.ocf_ppx
  • ocamlPackages.ocp-browser
  • ocamlPackages.ocplib-simplex
  • ocamlPackages.ocsigen_server
  • ocamlPackages.ocsipersist-pgsql-config
  • ocamlPackages.ocsipersist-sqlite-config
  • odig (ocamlPackages.odig)
  • ocamlPackages.odoc
  • ocamlPackages.oidc
  • ocamlPackages.ojs
  • ocamlPackages.opam-client
  • ocamlPackages.opam-solver
  • ocamlPackages.oseq
  • ocamlPackages.otr
  • ocamlPackages.oui
  • ocamlPackages.paf
  • ocamlPackages.paf-cohttp
  • ocamlPackages.pbkdf
  • ocamlPackages.phylogenetics
  • ocamlPackages.piaf
  • ocamlPackages.plotkicadsch
  • ocamlPackages.ppx_deriving_rpc
  • ocamlPackages.ppx_deriving_yaml
  • ocamlPackages.ppx_deriving_yojson
  • ocamlPackages.ppx_irmin
  • ocamlPackages.ppx_repr
  • ocamlPackages.ppx_yojson_conv
  • ocamlPackages.ppx_yojson_conv_lib
  • ocamlPackages.prettym
  • ocamlPackages.progress
  • ocamlPackages.prometheus-app
  • ocamlPackages.promise_jsoo
  • ocamlPackages.reason-native.refmterr
  • ocamlPackages.reason-native.rely-junit-reporter
  • ocamlPackages.repr
  • ocamlPackages.rpclib
  • ocamlPackages.rpclib-lwt
  • rtop (ocamlPackages.rtop)
  • ocamlPackages.sail
  • ocamlPackages.saturn
  • ocamlPackages.saturn_lockfree
  • ocamlPackages.scfg
  • ocamlPackages.sendmail
  • ocamlPackages.smtml
  • stog (ocamlPackages.stog)
  • ocamlPackages.stog_asy
  • ocamlPackages.stog_markdown
  • ocamlPackages.tar
  • ocamlPackages.tar-eio
  • ocamlPackages.tar-unix
  • ocamlPackages.tcpip
  • ocamlPackages.telegraml
  • ocamlPackages.tezos-base58
  • ocamlPackages.tls
  • ocamlPackages.tls-async
  • ocamlPackages.tls-eio
  • ocamlPackages.tls-lwt
  • ocamlPackages.tls-mirage
  • ocamlPackages.tsort
  • ocamlPackages.tyxml-lwd
  • ocamlPackages.utop
  • ocamlPackages.vdom
  • ocamlPackages.vg
  • wasm (ocamlPackages.wasm)
  • ocamlPackages.wasm_of_ocaml-compiler
  • ocamlPackages.wayland
  • ocamlPackages.webbrowser
  • ocamlPackages.webmachine
  • ocamlPackages.x509
  • ocamlPackages.xtmpl
  • ocamlPackages.xtmpl_ppx
  • ocamlPackages.yaml
  • ocamlPackages.yaml-sexp
  • ocamlPackages.yojson
  • ocamlPackages.yojson_2
  • opam-publish
  • opam2json
  • orpie
  • owi
  • prooftree
  • python312Packages.bap
  • python312Packages.bap.dist
  • python312Packages.cmdstanpy
  • python312Packages.cmdstanpy.dist
  • python312Packages.prophet
  • python312Packages.prophet.dist
  • python313Packages.bap
  • python313Packages.bap.dist
  • python313Packages.cmdstanpy
  • python313Packages.cmdstanpy.dist
  • python313Packages.prophet
  • python313Packages.prophet.dist
  • rocqPackages.vsrocq-language-server
  • sail-riscv
  • satyrographos
  • seppo
  • slipshow
  • soupault
  • stanc
  • tests.makeHardcodeGsettingsPatch.basic
  • tests.makeHardcodeGsettingsPatch.existsFn
  • tests.makeHardcodeGsettingsPatch.patches
  • wayland-proxy-virtwl
  • why3
  • why3.dev
  • wyrd

Error logs: `x86_64-linux`
why3find
@@ -9,7 +9,10 @@
   "mergesort.mlw", line 17, characters 10-15: proof failed
   Goal Mergesort.merge: ✘
     merge [VC for merge]
-  Theory mergesort.Mergesort: ✘ (4/5)
+  "mergesort.mlw", line 44, characters 10-19: proof failed
+  Goal Mergesort.mergesort: ✘
+    mergesort [VC for mergesort]
+  Theory mergesort.Mergesort: ✘ (3/5)
   Error: 1 unproved file
   Summary:
   Warning: Goal "merge": tactic 'split_vc' shadowed by 'compute_in_goal'
Done: 99% (884/886, 2 left) (jobs: 1)

Done: 99% (885/887, 2 left, 1 failed) (jobs: 1)

Done: 99% (885/887, 2 left, 1 failed) (jobs: 0)

Done: 99% (885/887, 2 left, 1 failed) (jobs: 0)

Copy link
Contributor

@marijanp marijanp left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. why3find seems to have a flaky test

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I would have prefered to have changes like this broken out in separate commits. It makes the review process easier. But I understand that this all belongs together ultimately :)


yojson_2 = yojson.overrideAttrs (_: {
version = "2.2.2";
__intentionallyOverridingVersion = true;
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Out of curiosity, why is this needed? I would never override unintentionally 🤷‍♂️

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this is to suppress a warning msg

@nixpkgs-ci nixpkgs-ci bot added the 12.approvals: 1 This PR was reviewed and approved by one person. label Dec 15, 2025
@stepbrobd
Copy link
Member

aarch64-darwin (sandbox = relaxed)

⏩ 11 packages marked as broken and skipped:
  • haxe
  • haxePackages.format
  • haxePackages.heaps
  • haxePackages.hlopenal
  • haxePackages.hlsdl
  • haxePackages.hxcpp
  • haxePackages.hxcs
  • haxePackages.hxjava
  • haxePackages.hxnodejs_4
  • haxe_4_3
  • hxcpp
❌ 16 packages failed to build:
  • acgtk
  • coqPackages.coquelicot
  • coqPackages.interval
  • coqPackages.libvalidsdp
  • coqPackages.mathcomp-infotheo
  • coqPackages.validsdp
  • coqPackages.wasmcert
  • framac
  • ocamlPackages.gapi-ocaml
  • ocamlPackages.lambdapi
  • stog (ocamlPackages.stog)
  • ocamlPackages.stog_asy
  • ocamlPackages.stog_markdown
  • why3
  • why3.dev
  • why3find
✅ 368 packages built:
  • abella
  • alt-ergo
  • alt-ergo.bin
  • beluga
  • cerberus
  • cmdstan
  • coccinelle
  • coqPackages.QuickChick
  • coqPackages.autosubst
  • coqPackages.coq-elpi (rocqPackages.rocq-elpi)
  • coqPackages.coq-lsp
  • coqPackages.coqeal
  • coqPackages.deriving
  • coqPackages.extructures
  • coqPackages.fcsl-pcm
  • coqPackages.fourcolor
  • coqPackages.gaia
  • coqPackages.graph-theory
  • coqPackages.hierarchy-builder (rocqPackages.hierarchy-builder)
  • coqPackages.mathcomp
  • coqPackages.mathcomp-algebra
  • coqPackages.mathcomp-algebra-tactics
  • coqPackages.mathcomp-analysis
  • coqPackages.mathcomp-analysis-stdlib
  • coqPackages.mathcomp-bigenough
  • coqPackages.mathcomp-boot
  • coqPackages.mathcomp-character
  • coqPackages.mathcomp-classical
  • coqPackages.mathcomp-experimental-reals
  • coqPackages.mathcomp-field
  • coqPackages.mathcomp-fingroup
  • coqPackages.mathcomp-finmap
  • coqPackages.mathcomp-order
  • coqPackages.mathcomp-real-closed
  • coqPackages.mathcomp-reals
  • coqPackages.mathcomp-reals-stdlib
  • coqPackages.mathcomp-solvable
  • coqPackages.ssreflect (coqPackages.mathcomp-ssreflect)
  • coqPackages.mathcomp-tarjan
  • coqPackages.mathcomp-word
  • coqPackages.mathcomp-zify
  • coqPackages.multinomials
  • coqPackages.odd-order
  • coqPackages.reglang
  • coqPackages.ssprove
  • coqPackages.vscoq-language-server
  • cvehound
  • cvehound.dist
  • docfd
  • dune-release (ocamlPackages.dune-release)
  • easycrypt
  • eff
  • fstar
  • gradescope-submit
  • hol_light (ocamlPackages.hol_light)
  • jackline
  • jasmin-compiler
  • jasmin-compiler.bin
  • jasmin-compiler.lib
  • ledit
  • mopsa (mopsa.bin, ocamlPackages.mopsa.bin)
  • msat
  • ocaml-pds
  • ocamlPackages.alcotest-lwt
  • ocamlPackages.alcotest-mirage
  • ocamlPackages.arp
  • ocamlPackages.async_rpc_websocket (ocamlPackages.janeStreet.async_rpc_websocket)
  • ocamlPackages.atd
  • ocamlPackages.atdgen
  • ocamlPackages.atdgen-codec-runtime
  • ocamlPackages.atdgen-runtime
  • ocamlPackages.awa
  • ocamlPackages.awa-mirage
  • ocamlPackages.base64
  • ocamlPackages.biotk
  • ocamlPackages.bos
  • ocamlPackages.brr
  • ocamlPackages.ca-certs
  • ocamlPackages.ca-certs-nss
  • ocamlPackages.camlp5 (ocamlPackages.camlp5_strict)
  • ocamlPackages.caqti
  • ocamlPackages.caqti-async
  • ocamlPackages.caqti-driver-mariadb
  • ocamlPackages.caqti-driver-postgresql
  • ocamlPackages.caqti-driver-sqlite3
  • ocamlPackages.caqti-dynload
  • ocamlPackages.caqti-eio
  • ocamlPackages.caqti-lwt
  • ocamlPackages.caqti-type-calendar
  • ocamlPackages.carton
  • ocamlPackages.carton-git
  • ocamlPackages.carton-lwt
  • ocamlPackages.cbor
  • ocamlPackages.checkseum
  • ocamlPackages.cohttp
  • ocamlPackages.cohttp-async
  • ocamlPackages.cohttp-lwt
  • ocamlPackages.cohttp-lwt-jsoo
  • ocamlPackages.cohttp-lwt-unix
  • ocamlPackages.cohttp-top
  • ocamlPackages.cohttp_async_websocket (ocamlPackages.janeStreet.cohttp_async_websocket)
  • ocamlPackages.cohttp_static_handler (ocamlPackages.janeStreet.cohttp_static_handler)
  • ocamlPackages.colombe
  • ocamlPackages.conduit-lwt-unix
  • ocamlPackages.conduit-mirage
  • ocamlPackages.containers
  • ocamlPackages.containers-data
  • ocamlPackages.content_security_policy (ocamlPackages.janeStreet.content_security_policy)
  • ocamlPackages.cooltt
  • ocamlPackages.dap
  • ocamlPackages.decoders
  • ocamlPackages.decoders-bencode
  • ocamlPackages.decoders-cbor
  • ocamlPackages.decoders-ezjsonm
  • ocamlPackages.decoders-ezxmlm
  • ocamlPackages.decoders-jsonaf
  • ocamlPackages.decoders-jsonm
  • ocamlPackages.decoders-msgpck
  • ocamlPackages.decoders-sexplib
  • ocamlPackages.decoders-yojson
  • ocamlPackages.decompress
  • ocamlPackages.digestif
  • ocamlPackages.dns
  • ocamlPackages.dns-certify
  • ocamlPackages.dns-cli
  • ocamlPackages.dns-client
  • ocamlPackages.dns-client-lwt
  • ocamlPackages.dns-client-mirage
  • ocamlPackages.dns-mirage
  • ocamlPackages.dns-resolver
  • ocamlPackages.dns-server
  • ocamlPackages.dns-stub
  • ocamlPackages.dns-tsig
  • ocamlPackages.dnssec
  • ocamlPackages.dolmen_lsp
  • ocamlPackages.domainslib
  • ocamlPackages.dose3
  • ocamlPackages.dream
  • ocamlPackages.dream-httpaf
  • ocamlPackages.dream-pure
  • ocamlPackages.dscheck
  • ocamlPackages.earlybird
  • ocamlPackages.eio_main
  • ocamlPackages.eio_posix
  • ocamlPackages.elpi
  • ocamlPackages.email_message (ocamlPackages.janeStreet.email_message)
  • ocamlPackages.emile
  • ocamlPackages.ethernet
  • ocamlPackages.gen_js_api
  • ocamlPackages.get-activity
  • ocamlPackages.get-activity-lib
  • ocamlPackages.git
  • ocamlPackages.git-mirage
  • ocamlPackages.git-paf
  • ocamlPackages.git-unix
  • ocamlPackages.github
  • ocamlPackages.github-data
  • ocamlPackages.github-jsoo
  • ocamlPackages.github-unix
  • ocamlPackages.gitlab
  • ocamlPackages.gitlab-jsoo
  • ocamlPackages.gitlab-unix
  • ocamlPackages.gluten-mirage
  • ocamlPackages.graphql
  • ocamlPackages.graphql-cohttp
  • ocamlPackages.graphql-lwt
  • ocamlPackages.graphql_ppx
  • ocamlPackages.h1
  • ocamlPackages.h2
  • ocamlPackages.h2-eio
  • ocamlPackages.h2-lwt
  • ocamlPackages.h2-lwt-unix
  • ocamlPackages.happy-eyeballs
  • ocamlPackages.happy-eyeballs-lwt
  • ocamlPackages.happy-eyeballs-mirage
  • ocamlPackages.higlo
  • ocamlPackages.hkdf
  • ocamlPackages.http-mirage-client
  • ocamlPackages.httpun-ws
  • ocamlPackages.httpun-ws-lwt
  • ocamlPackages.imagelib
  • ocamlPackages.index
  • ocamlPackages.irmin
  • ocamlPackages.irmin-chunk
  • ocamlPackages.irmin-containers
  • ocamlPackages.irmin-fs
  • ocamlPackages.irmin-git
  • ocamlPackages.irmin-graphql
  • ocamlPackages.irmin-mirage
  • ocamlPackages.irmin-mirage-git
  • ocamlPackages.irmin-mirage-graphql
  • ocamlPackages.irmin-pack
  • ocamlPackages.irmin-test
  • ocamlPackages.irmin-tezos
  • ocamlPackages.irmin-watcher
  • ocamlPackages.jose
  • ocamlPackages.js_of_ocaml
  • ocamlPackages.js_of_ocaml-compiler
  • ocamlPackages.js_of_ocaml-lwt
  • ocamlPackages.js_of_ocaml-ppx
  • ocamlPackages.js_of_ocaml-ppx_deriving_json
  • ocamlPackages.js_of_ocaml-toplevel
  • ocamlPackages.js_of_ocaml-tyxml
  • ocamlPackages.jsonrpc
  • ocamlPackages.jsont
  • ocamlPackages.jwto
  • ocamlPackages.kcas
  • ocamlPackages.kdf
  • ocamlPackages.lambda-term
  • ocamlPackages.letsencrypt
  • ocamlPackages.letsencrypt-app
  • ocamlPackages.letsencrypt-dns
  • ocamlPackages.letsencrypt-mirage
  • ocamlPackages.letters
  • ocamlPackages.linol
  • ocamlPackages.linol-eio
  • ocamlPackages.linol-lwt
  • ocamlPackages.logs
  • ocamlPackages.logs-syslog
  • ocamlPackages.lsp
  • ocamlPackages.lustre-v6
  • ocamlPackages.melange-json-native
  • ocamlPackages.merlin
  • ocamlPackages.metrics-lwt
  • ocamlPackages.metrics-rusage
  • ocamlPackages.metrics-unix
  • ocamlPackages.mimic
  • ocamlPackages.mimic-happy-eyeballs
  • ocamlPackages.mirage
  • ocamlPackages.mirage-block-combinators
  • ocamlPackages.mirage-block-unix
  • ocamlPackages.mirage-bootvar-xen
  • ocamlPackages.mirage-crypto-ec
  • ocamlPackages.mirage-crypto-pk
  • ocamlPackages.mirage-crypto-rng
  • ocamlPackages.mirage-crypto-rng-miou-unix
  • ocamlPackages.mirage-crypto-rng-mirage
  • ocamlPackages.mirage-flow-combinators
  • ocamlPackages.mirage-flow-unix
  • ocamlPackages.mirage-logs
  • ocamlPackages.mirage-nat
  • ocamlPackages.mirage-net-xen
  • ocamlPackages.mirage-protocols
  • ocamlPackages.mirage-runtime
  • ocamlPackages.mirage-unix
  • ocamlPackages.mirage-vnetif
  • ocamlPackages.mirage-xen
  • ocamlPackages.mirage.dev
  • ocamlPackages.mldoc
  • ocamlPackages.mopsa
  • ocamlPackages.morbig
  • ocamlPackages.mrmime
  • ocamlPackages.msat
  • ocamlPackages.multicore-bench
  • ocamlPackages.multicore-magic
  • ocamlPackages.multicore-magic-dscheck
  • ocamlPackages.multipart_form
  • ocamlPackages.multipart_form-eio
  • ocamlPackages.multipart_form-lwt
  • ocamlPackages.multipart_form-miou
  • ocamlPackages.netchannel
  • ocamlPackages.note
  • ocamlPackages.ocaml-lsp
  • ocamlPackages.ocaml-print-intf
  • ocamlPackages.ocaml-protoc-plugin
  • ocamlPackages.ocamlformat-mlx
  • ocamlPackages.ocamlformat-mlx-lib
  • ocamlPackages.ocamlmerlin-mlx
  • ocamlPackages.ocf
  • ocamlPackages.ocf_ppx
  • ocamlPackages.ocp-browser
  • ocamlPackages.ocplib-simplex
  • ocamlPackages.ocsigen_server
  • ocamlPackages.ocsipersist-pgsql-config
  • ocamlPackages.ocsipersist-sqlite-config
  • odig (ocamlPackages.odig)
  • ocamlPackages.odoc
  • ocamlPackages.oidc
  • ocamlPackages.ojs
  • ocamlPackages.opam-client
  • ocamlPackages.opam-solver
  • ocamlPackages.oseq
  • ocamlPackages.otr
  • ocamlPackages.oui
  • ocamlPackages.paf
  • ocamlPackages.paf-cohttp
  • ocamlPackages.pbkdf
  • ocamlPackages.phylogenetics
  • ocamlPackages.piaf
  • ocamlPackages.plotkicadsch
  • ocamlPackages.ppx_deriving_rpc
  • ocamlPackages.ppx_deriving_yaml
  • ocamlPackages.ppx_deriving_yojson
  • ocamlPackages.ppx_irmin
  • ocamlPackages.ppx_repr
  • ocamlPackages.ppx_yojson_conv
  • ocamlPackages.ppx_yojson_conv_lib
  • ocamlPackages.prettym
  • ocamlPackages.progress
  • ocamlPackages.prometheus-app
  • ocamlPackages.promise_jsoo
  • ocamlPackages.reason-native.refmterr
  • ocamlPackages.reason-native.rely-junit-reporter
  • ocamlPackages.repr
  • ocamlPackages.rpclib
  • ocamlPackages.rpclib-lwt
  • rtop (ocamlPackages.rtop)
  • ocamlPackages.sail
  • ocamlPackages.saturn
  • ocamlPackages.saturn_lockfree
  • ocamlPackages.scfg
  • ocamlPackages.sendmail
  • ocamlPackages.smtml
  • ocamlPackages.tar
  • ocamlPackages.tar-eio
  • ocamlPackages.tar-unix
  • ocamlPackages.tcpip
  • ocamlPackages.telegraml
  • ocamlPackages.tezos-base58
  • ocamlPackages.tls
  • ocamlPackages.tls-async
  • ocamlPackages.tls-eio
  • ocamlPackages.tls-lwt
  • ocamlPackages.tls-mirage
  • ocamlPackages.tsort
  • ocamlPackages.tyxml-lwd
  • ocamlPackages.utop
  • ocamlPackages.vdom
  • ocamlPackages.vg
  • wasm (ocamlPackages.wasm)
  • ocamlPackages.wasm_of_ocaml-compiler
  • ocamlPackages.wayland
  • ocamlPackages.webbrowser
  • ocamlPackages.webmachine
  • ocamlPackages.x509
  • ocamlPackages.xtmpl
  • ocamlPackages.xtmpl_ppx
  • ocamlPackages.yaml
  • ocamlPackages.yaml-sexp
  • ocamlPackages.yojson
  • ocamlPackages.yojson_2
  • opam-publish
  • opam2json
  • orpie
  • prooftree
  • python312Packages.bap
  • python312Packages.bap.dist
  • python312Packages.cmdstanpy
  • python312Packages.cmdstanpy.dist
  • python312Packages.prophet
  • python312Packages.prophet.dist
  • python313Packages.bap
  • python313Packages.bap.dist
  • python313Packages.cmdstanpy
  • python313Packages.cmdstanpy.dist
  • python313Packages.prophet
  • python313Packages.prophet.dist
  • rocqPackages.vsrocq-language-server
  • sail-riscv
  • satyrographos
  • seppo
  • slipshow
  • soupault
  • stanc
  • tests.makeHardcodeGsettingsPatch.basic
  • tests.makeHardcodeGsettingsPatch.existsFn
  • tests.makeHardcodeGsettingsPatch.patches
  • wyrd

Error logs: `aarch64-darwin`
acgtk
Done: 99% (1402/1413, 11 left) (jobs: 3)

Done: 99% (1403/1413, 10 left) (jobs: 3)

Done: 99% (1404/1413, 9 left) (jobs: 3)

Done: 99% (1406/1413, 7 left) (jobs: 2)

Done: 99% (1407/1413, 6 left) (jobs: 2)

File "src/scripting/dune", lines 29-32, characters 0-67:
29 | (rule
30 | (action
31 | (with-stdout-to doc.mld_part
32 | (run ./doc.exe))))
Fatal error: exception Out of memory
Done: 99% (1407/1413, 6 left) (jobs: 2)

Done: 99% (1407/1413, 6 left, 1 failed) (jobs: 1)

coqPackages.coquelicot
  604 | __deprecated_msg("Use posix_spawn or fork")
      | ^
/nix/store/npzkc6q10x37mb969v8c19klfsghb70l-apple-sdk-14.4/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/sys/cdefs.h:218:48: note: expanded from macro '__deprecated_msg'
  218 |         #define __deprecated_msg(_msg) __attribute__((__deprecated__(_msg)))
      |                                                       ^
remake.cpp:2662:16: warning: 'tempnam' is deprecated: This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of tempnam(3), it is highly recommended that you use mkstemp(3) instead. [-Wdeprecated-declarations]
 2662 |         socket_name = tempnam(NULL, "rmk-");
      |                       ^
/nix/store/npzkc6q10x37mb969v8c19klfsghb70l-apple-sdk-14.4/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/stdio.h:305:1: note: 'tempnam' has been explicitly marked deprecated here
  305 | __deprecated_msg("This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of tempnam(3), it is highly recommended that you use mkstemp(3) instead.")
      | ^
/nix/store/npzkc6q10x37mb969v8c19klfsghb70l-apple-sdk-14.4/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/sys/cdefs.h:218:48: note: expanded from macro '__deprecated_msg'
  218 |         #define __deprecated_msg(_msg) __attribute__((__deprecated__(_msg)))
      |                                                       ^
2 warnings generated.
configure: creating ./config.status
config.status: creating Remakefile
Running phase: buildPhase
@nix { "action": "setPhase", "phase": "buildPhase" }
Failed to create server: Operation not permitted
ocamlPackages.gapi-ocaml
Done: 97% (1496/1534, 38 left, 5 failed) (jobs: 3)

Done: 97% (1498/1534, 36 left, 5 failed) (jobs: 3)

Done: 97% (1500/1534, 34 left, 5 failed) (jobs: 3)

Done: 97% (1502/1534, 32 left, 5 failed) (jobs: 3)

Done: 98% (1504/1534, 30 left, 5 failed) (jobs: 3)

Done: 98% (1506/1534, 28 left, 5 failed) (jobs: 3)

Done: 98% (1510/1534, 24 left, 5 failed) (jobs: 3)

Done: 98% (1514/1534, 20 left, 5 failed) (jobs: 1)

Done: 98% (1516/1534, 18 left, 5 failed) (jobs: 1)

Done: 99% (1521/1534, 13 left, 5 failed) (jobs: 1)

stog
Done: 98% (824/836, 12 left) (jobs: 3)

Done: 98% (825/836, 11 left) (jobs: 3)

Done: 98% (827/836, 9 left) (jobs: 3)

Done: 99% (829/836, 7 left) (jobs: 3)

Done: 99% (831/836, 5 left) (jobs: 2)

Done: 99% (833/836, 3 left) (jobs: 1)

Running phase: installPhase
@nix { "action": "setPhase", "phase": "installPhase" }
Warning: Cache directories could not be created: Operation not permitted;
disabling cache
Hint: Make sure the directory /homeless-shelter/.cache/dune/db/temp can be
created
Error: Program codesign not found in the tree or in PATH
Hint: codesign should be part of the macOS installation

--- ### `aarch64-linux`
⏩ 11 packages marked as broken and skipped:
  • haxe
  • haxePackages.format
  • haxePackages.heaps
  • haxePackages.hlopenal
  • haxePackages.hlsdl
  • haxePackages.hxcpp
  • haxePackages.hxcs
  • haxePackages.hxjava
  • haxePackages.hxnodejs_4
  • haxe_4_3
  • hxcpp
❌ 5 packages failed to build:
  • gnat14Packages.gnatprove
  • gnat15Packages.gnatprove
  • linuxKernel.packages.linux_6_17.drbd
  • linuxPackages_latest.drbd (linuxKernel.packages.linux_6_18.drbd)
  • ocamlPackages.magic-trace
✅ 397 packages built:
  • abella
  • acgtk
  • alt-ergo
  • alt-ergo.bin
  • beluga
  • cerberus
  • cmdstan
  • coccinelle
  • coqPackages.QuickChick
  • coqPackages.autosubst
  • coqPackages.coq-elpi (rocqPackages.rocq-elpi)
  • coqPackages.coq-lsp
  • coqPackages.coqeal
  • coqPackages.coquelicot
  • coqPackages.deriving
  • coqPackages.extructures
  • coqPackages.fcsl-pcm
  • coqPackages.fourcolor
  • coqPackages.gaia
  • coqPackages.graph-theory
  • coqPackages.hierarchy-builder (rocqPackages.hierarchy-builder)
  • coqPackages.interval
  • coqPackages.libvalidsdp
  • coqPackages.mathcomp
  • coqPackages.mathcomp-algebra
  • coqPackages.mathcomp-algebra-tactics
  • coqPackages.mathcomp-analysis
  • coqPackages.mathcomp-analysis-stdlib
  • coqPackages.mathcomp-bigenough
  • coqPackages.mathcomp-boot
  • coqPackages.mathcomp-character
  • coqPackages.mathcomp-classical
  • coqPackages.mathcomp-experimental-reals
  • coqPackages.mathcomp-field
  • coqPackages.mathcomp-fingroup
  • coqPackages.mathcomp-finmap
  • coqPackages.mathcomp-infotheo
  • coqPackages.mathcomp-order
  • coqPackages.mathcomp-real-closed
  • coqPackages.mathcomp-reals
  • coqPackages.mathcomp-reals-stdlib
  • coqPackages.mathcomp-solvable
  • coqPackages.ssreflect (coqPackages.mathcomp-ssreflect)
  • coqPackages.mathcomp-tarjan
  • coqPackages.mathcomp-word
  • coqPackages.mathcomp-zify
  • coqPackages.multinomials
  • coqPackages.odd-order
  • coqPackages.reglang
  • coqPackages.ssprove
  • coqPackages.validsdp
  • coqPackages.vscoq-language-server
  • coqPackages.wasmcert
  • cvehound
  • cvehound.dist
  • docfd
  • dune-release (ocamlPackages.dune-release)
  • easycrypt
  • eff
  • framac
  • fstar
  • google-drive-ocamlfuse (ocamlPackages.google-drive-ocamlfuse)
  • gradescope-submit
  • hol_light (ocamlPackages.hol_light)
  • iprover
  • jackline
  • jasmin-compiler
  • jasmin-compiler.bin
  • jasmin-compiler.lib
  • ledit
  • linuxKernel.packages.linux_5_15.drbd
  • linuxKernel.packages.linux_6_1.drbd
  • linuxPackages.drbd (linuxKernel.packages.linux_6_12.drbd)
  • linuxKernel.packages.linux_hardened.drbd (linuxKernel.packages.linux_6_12_hardened.drbd)
  • linuxKernel.packages.linux_6_6.drbd
  • liquidsoap
  • mopsa (mopsa.bin, ocamlPackages.mopsa.bin)
  • msat
  • ocaml-pds
  • ocamlPackages.alcotest-lwt
  • ocamlPackages.alcotest-mirage
  • ocamlPackages.arp
  • ocamlPackages.async_rpc_websocket (ocamlPackages.janeStreet.async_rpc_websocket)
  • ocamlPackages.async_smtp (ocamlPackages.janeStreet.async_smtp)
  • ocamlPackages.atd
  • ocamlPackages.atdgen
  • ocamlPackages.atdgen-codec-runtime
  • ocamlPackages.atdgen-runtime
  • ocamlPackages.awa
  • ocamlPackages.awa-mirage
  • ocamlPackages.base64
  • ocamlPackages.biotk
  • ocamlPackages.bos
  • ocamlPackages.brr
  • ocamlPackages.ca-certs
  • ocamlPackages.ca-certs-nss
  • ocamlPackages.camlp5 (ocamlPackages.camlp5_strict)
  • ocamlPackages.caqti
  • ocamlPackages.caqti-async
  • ocamlPackages.caqti-driver-mariadb
  • ocamlPackages.caqti-driver-postgresql
  • ocamlPackages.caqti-driver-sqlite3
  • ocamlPackages.caqti-dynload
  • ocamlPackages.caqti-eio
  • ocamlPackages.caqti-lwt
  • ocamlPackages.caqti-type-calendar
  • ocamlPackages.carton
  • ocamlPackages.carton-git
  • ocamlPackages.carton-lwt
  • ocamlPackages.cbor
  • ocamlPackages.checkseum
  • ocamlPackages.cohttp
  • ocamlPackages.cohttp-async
  • ocamlPackages.cohttp-lwt
  • ocamlPackages.cohttp-lwt-jsoo
  • ocamlPackages.cohttp-lwt-unix
  • ocamlPackages.cohttp-top
  • ocamlPackages.cohttp_async_websocket (ocamlPackages.janeStreet.cohttp_async_websocket)
  • ocamlPackages.cohttp_static_handler (ocamlPackages.janeStreet.cohttp_static_handler)
  • ocamlPackages.colombe
  • ocamlPackages.conduit-lwt-unix
  • ocamlPackages.conduit-mirage
  • ocamlPackages.containers
  • ocamlPackages.containers-data
  • ocamlPackages.content_security_policy (ocamlPackages.janeStreet.content_security_policy)
  • ocamlPackages.cooltt
  • ocamlPackages.curly
  • ocamlPackages.dap
  • ocamlPackages.decoders
  • ocamlPackages.decoders-bencode
  • ocamlPackages.decoders-cbor
  • ocamlPackages.decoders-ezjsonm
  • ocamlPackages.decoders-ezxmlm
  • ocamlPackages.decoders-jsonaf
  • ocamlPackages.decoders-jsonm
  • ocamlPackages.decoders-msgpck
  • ocamlPackages.decoders-sexplib
  • ocamlPackages.decoders-yojson
  • ocamlPackages.decompress
  • ocamlPackages.digestif
  • ocamlPackages.dns
  • ocamlPackages.dns-certify
  • ocamlPackages.dns-cli
  • ocamlPackages.dns-client
  • ocamlPackages.dns-client-lwt
  • ocamlPackages.dns-client-mirage
  • ocamlPackages.dns-mirage
  • ocamlPackages.dns-resolver
  • ocamlPackages.dns-server
  • ocamlPackages.dns-stub
  • ocamlPackages.dns-tsig
  • ocamlPackages.dnssec
  • ocamlPackages.dolmen_lsp
  • ocamlPackages.domainslib
  • ocamlPackages.dose3
  • ocamlPackages.dream
  • ocamlPackages.dream-httpaf
  • ocamlPackages.dream-pure
  • ocamlPackages.dscheck
  • ocamlPackages.earlybird
  • ocamlPackages.eio_linux
  • ocamlPackages.eio_main
  • ocamlPackages.eio_posix
  • ocamlPackages.elpi
  • ocamlPackages.email_message (ocamlPackages.janeStreet.email_message)
  • ocamlPackages.emile
  • ocamlPackages.ethernet
  • ocamlPackages.gapi-ocaml
  • ocamlPackages.gen_js_api
  • ocamlPackages.get-activity
  • ocamlPackages.get-activity-lib
  • ocamlPackages.git
  • ocamlPackages.git-mirage
  • ocamlPackages.git-paf
  • ocamlPackages.git-unix
  • ocamlPackages.github
  • ocamlPackages.github-data
  • ocamlPackages.github-jsoo
  • ocamlPackages.github-unix
  • ocamlPackages.gitlab
  • ocamlPackages.gitlab-jsoo
  • ocamlPackages.gitlab-unix
  • ocamlPackages.gluten-mirage
  • ocamlPackages.graphql
  • ocamlPackages.graphql-cohttp
  • ocamlPackages.graphql-lwt
  • ocamlPackages.graphql_ppx
  • ocamlPackages.h1
  • ocamlPackages.h2
  • ocamlPackages.h2-eio
  • ocamlPackages.h2-lwt
  • ocamlPackages.h2-lwt-unix
  • ocamlPackages.happy-eyeballs
  • ocamlPackages.happy-eyeballs-lwt
  • ocamlPackages.happy-eyeballs-mirage
  • ocamlPackages.higlo
  • ocamlPackages.hkdf
  • ocamlPackages.http-mirage-client
  • ocamlPackages.httpun-ws
  • ocamlPackages.httpun-ws-lwt
  • ocamlPackages.imagelib
  • ocamlPackages.index
  • ocamlPackages.irmin
  • ocamlPackages.irmin-chunk
  • ocamlPackages.irmin-containers
  • ocamlPackages.irmin-fs
  • ocamlPackages.irmin-git
  • ocamlPackages.irmin-graphql
  • ocamlPackages.irmin-mirage
  • ocamlPackages.irmin-mirage-git
  • ocamlPackages.irmin-mirage-graphql
  • ocamlPackages.irmin-pack
  • ocamlPackages.irmin-test
  • ocamlPackages.irmin-tezos
  • ocamlPackages.irmin-watcher
  • ocamlPackages.jose
  • ocamlPackages.js_of_ocaml
  • ocamlPackages.js_of_ocaml-compiler
  • ocamlPackages.js_of_ocaml-lwt
  • ocamlPackages.js_of_ocaml-ppx
  • ocamlPackages.js_of_ocaml-ppx_deriving_json
  • ocamlPackages.js_of_ocaml-toplevel
  • ocamlPackages.js_of_ocaml-tyxml
  • ocamlPackages.jsonrpc
  • ocamlPackages.jsont
  • ocamlPackages.jwto
  • ocamlPackages.kcas
  • ocamlPackages.kdf
  • ocamlPackages.lambda-term
  • ocamlPackages.lambdapi
  • ocamlPackages.letsencrypt
  • ocamlPackages.letsencrypt-app
  • ocamlPackages.letsencrypt-dns
  • ocamlPackages.letsencrypt-mirage
  • ocamlPackages.letters
  • ocamlPackages.linol
  • ocamlPackages.linol-eio
  • ocamlPackages.linol-lwt
  • ocamlPackages.logs
  • ocamlPackages.logs-syslog
  • ocamlPackages.lsp
  • ocamlPackages.lustre-v6
  • ocamlPackages.melange-json-native
  • ocamlPackages.merlin
  • ocamlPackages.metrics-lwt
  • ocamlPackages.metrics-rusage
  • ocamlPackages.metrics-unix
  • ocamlPackages.mimic
  • ocamlPackages.mimic-happy-eyeballs
  • ocamlPackages.mirage
  • ocamlPackages.mirage-block-combinators
  • ocamlPackages.mirage-block-unix
  • ocamlPackages.mirage-bootvar-xen
  • ocamlPackages.mirage-crypto-ec
  • ocamlPackages.mirage-crypto-pk
  • ocamlPackages.mirage-crypto-rng
  • ocamlPackages.mirage-crypto-rng-miou-unix
  • ocamlPackages.mirage-crypto-rng-mirage
  • ocamlPackages.mirage-flow-combinators
  • ocamlPackages.mirage-flow-unix
  • ocamlPackages.mirage-logs
  • ocamlPackages.mirage-nat
  • ocamlPackages.mirage-net-xen
  • ocamlPackages.mirage-protocols
  • ocamlPackages.mirage-runtime
  • ocamlPackages.mirage-unix
  • ocamlPackages.mirage-vnetif
  • ocamlPackages.mirage-xen
  • ocamlPackages.mirage.dev
  • ocamlPackages.mldoc
  • ocamlPackages.mopsa
  • ocamlPackages.morbig
  • ocamlPackages.mrmime
  • ocamlPackages.msat
  • ocamlPackages.multicore-bench
  • ocamlPackages.multicore-magic
  • ocamlPackages.multicore-magic-dscheck
  • ocamlPackages.multipart_form
  • ocamlPackages.multipart_form-eio
  • ocamlPackages.multipart_form-lwt
  • ocamlPackages.multipart_form-miou
  • ocamlPackages.netchannel
  • ocamlPackages.note
  • ocamlPackages.ocaml-lsp
  • ocamlPackages.ocaml-print-intf
  • ocamlPackages.ocaml-protoc-plugin
  • ocamlPackages.ocamlformat-mlx
  • ocamlPackages.ocamlformat-mlx-lib
  • ocamlPackages.ocamlmerlin-mlx
  • ocamlPackages.ocf
  • ocamlPackages.ocf_ppx
  • ocamlPackages.ocp-browser
  • ocamlPackages.ocplib-simplex
  • ocamlPackages.ocsigen_server
  • ocamlPackages.ocsipersist-pgsql-config
  • ocamlPackages.ocsipersist-sqlite-config
  • odig (ocamlPackages.odig)
  • ocamlPackages.odoc
  • ocamlPackages.oidc
  • ocamlPackages.ojs
  • ocamlPackages.opam-client
  • ocamlPackages.opam-solver
  • ocamlPackages.oseq
  • ocamlPackages.otr
  • ocamlPackages.oui
  • ocamlPackages.paf
  • ocamlPackages.paf-cohttp
  • ocamlPackages.pbkdf
  • ocamlPackages.phylogenetics
  • ocamlPackages.piaf
  • ocamlPackages.plotkicadsch
  • ocamlPackages.ppx_deriving_rpc
  • ocamlPackages.ppx_deriving_yaml
  • ocamlPackages.ppx_deriving_yojson
  • ocamlPackages.ppx_irmin
  • ocamlPackages.ppx_repr
  • ocamlPackages.ppx_yojson_conv
  • ocamlPackages.ppx_yojson_conv_lib
  • ocamlPackages.prettym
  • ocamlPackages.progress
  • ocamlPackages.prometheus-app
  • ocamlPackages.promise_jsoo
  • ocamlPackages.reason-native.refmterr
  • ocamlPackages.reason-native.rely-junit-reporter
  • ocamlPackages.repr
  • ocamlPackages.rpclib
  • ocamlPackages.rpclib-lwt
  • rtop (ocamlPackages.rtop)
  • ocamlPackages.sail
  • ocamlPackages.saturn
  • ocamlPackages.saturn_lockfree
  • ocamlPackages.scfg
  • ocamlPackages.sendmail
  • ocamlPackages.smtml
  • stog (ocamlPackages.stog)
  • ocamlPackages.stog_asy
  • ocamlPackages.stog_markdown
  • ocamlPackages.tar
  • ocamlPackages.tar-eio
  • ocamlPackages.tar-unix
  • ocamlPackages.tcpip
  • ocamlPackages.telegraml
  • ocamlPackages.tezos-base58
  • ocamlPackages.tls
  • ocamlPackages.tls-async
  • ocamlPackages.tls-eio
  • ocamlPackages.tls-lwt
  • ocamlPackages.tls-mirage
  • ocamlPackages.tsort
  • ocamlPackages.tyxml-lwd
  • ocamlPackages.utop
  • ocamlPackages.vdom
  • ocamlPackages.vg
  • wasm (ocamlPackages.wasm)
  • ocamlPackages.wasm_of_ocaml-compiler
  • ocamlPackages.wayland
  • ocamlPackages.webbrowser
  • ocamlPackages.webmachine
  • ocamlPackages.x509
  • ocamlPackages.xtmpl
  • ocamlPackages.xtmpl_ppx
  • ocamlPackages.yaml
  • ocamlPackages.yaml-sexp
  • ocamlPackages.yojson
  • ocamlPackages.yojson_2
  • opam-publish
  • opam2json
  • orpie
  • owi
  • prooftree
  • python312Packages.bap
  • python312Packages.bap.dist
  • python312Packages.cmdstanpy
  • python312Packages.cmdstanpy.dist
  • python312Packages.prophet
  • python312Packages.prophet.dist
  • python313Packages.bap
  • python313Packages.bap.dist
  • python313Packages.cmdstanpy
  • python313Packages.cmdstanpy.dist
  • python313Packages.prophet
  • python313Packages.prophet.dist
  • rocqPackages.vsrocq-language-server
  • sail-riscv
  • satyrographos
  • seppo
  • slipshow
  • soupault
  • stanc
  • tests.makeHardcodeGsettingsPatch.basic
  • tests.makeHardcodeGsettingsPatch.existsFn
  • tests.makeHardcodeGsettingsPatch.patches
  • wayland-proxy-virtwl
  • why3
  • why3.dev
  • why3find
  • wyrd

Error logs: `aarch64-linux`
linuxKernel.packages.linux_6_17.drbd
  CC [M]  drbd_debugfs.o
  CC [M]  drbd_transport_tcp.o
  CC [M]  drbd_transport_lb-tcp.o
  CC [M]  drbd_transport_rdma.o
  CC [M]  drbd_strings.o
  LD [M]  drbd.o
  MODPOST Module.symvers
ERROR: modpost: "drbd_dax_al_update" [drbd.ko] undefined!
ERROR: modpost: "drbd_dax_open" [drbd.ko] undefined!
ERROR: modpost: "drbd_dax_bitmap" [drbd.ko] undefined!
ERROR: modpost: "drbd_dax_map" [drbd.ko] undefined!
ERROR: modpost: "drbd_dax_close" [drbd.ko] undefined!
ERROR: modpost: "drbd_dax_al_initialize" [drbd.ko] undefined!
ERROR: modpost: "drbd_dax_al_begin_io_commit" [drbd.ko] undefined!
make[4]: *** [/nix/store/lhrrn40vk3brli1q31a7va1gh3nnpn5q-linux-6.17.12-dev/lib/modules/6.17.12/source/scripts/Makefile.modpost:147: Module.symvers] Error 1
make[3]: *** [/nix/store/lhrrn40vk3brli1q31a7va1gh3nnpn5q-linux-6.17.12-dev/lib/modules/6.17.12/source/Makefile:1961: modpost] Error 2
make[2]: *** [/nix/store/lhrrn40vk3brli1q31a7va1gh3nnpn5q-linux-6.17.12-dev/lib/modules/6.17.12/source/Makefile:248: __sub-make] Error 2
make[1]: *** [Makefile:248: kbuild] Error 2
make[1]: Leaving directory '/build/drbd-9.2.16/drbd'
make: *** [Makefile:131: module] Error 2
linuxPackages_latest.drbd
  CC [M]  drbd_debugfs.o
  CC [M]  drbd_transport_tcp.o
  CC [M]  drbd_transport_lb-tcp.o
  CC [M]  drbd_transport_rdma.o
  CC [M]  drbd_strings.o
  LD [M]  drbd.o
  MODPOST Module.symvers
ERROR: modpost: "drbd_dax_al_update" [drbd.ko] undefined!
ERROR: modpost: "drbd_dax_open" [drbd.ko] undefined!
ERROR: modpost: "drbd_dax_bitmap" [drbd.ko] undefined!
ERROR: modpost: "drbd_dax_map" [drbd.ko] undefined!
ERROR: modpost: "drbd_dax_close" [drbd.ko] undefined!
ERROR: modpost: "drbd_dax_al_initialize" [drbd.ko] undefined!
ERROR: modpost: "drbd_dax_al_begin_io_commit" [drbd.ko] undefined!
make[4]: *** [/nix/store/vai15p6c78y8bvb29napkcwch1j8m7rx-linux-6.18.1-dev/lib/modules/6.18.1/source/scripts/Makefile.modpost:147: Module.symvers] Error 1
make[3]: *** [/nix/store/vai15p6c78y8bvb29napkcwch1j8m7rx-linux-6.18.1-dev/lib/modules/6.18.1/source/Makefile:1960: modpost] Error 2
make[2]: *** [/nix/store/vai15p6c78y8bvb29napkcwch1j8m7rx-linux-6.18.1-dev/lib/modules/6.18.1/source/Makefile:248: __sub-make] Error 2
make[1]: *** [Makefile:248: kbuild] Error 2
make[1]: Leaving directory '/build/drbd-9.2.16/drbd'
make: *** [Makefile:131: module] Error 2
ocamlPackages.magic-trace
Done: 97% (866/888, 22 left, 2 failed) (jobs: 2)

Done: 97% (868/888, 20 left, 2 failed) (jobs: 2)

Done: 97% (870/888, 18 left, 2 failed) (jobs: 1)

Done: 98% (872/888, 16 left, 2 failed) (jobs: 1)

(cd _build/default && /nix/store/6kmn26mqm7hhq0q9mwxvgs3r5qm14xhf-ocaml-5.3.0/bin/ocamlopt.opt -w -40 -g -I src/.magic_trace_lib.objs/byte -I src/.magic_trace_lib.objs/native -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/ansi_kernel -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/bounded_int_table -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/bus -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/caml_threads -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/caml_unix -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/flags -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/iobuf -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/moption -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/nonempty_list -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/pairing_heap -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/reversed_list -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/sexp_hidden_in_test -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/thread_pool_cpu_affinity -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/thread_safe_queue -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/timing_wheel -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/tuple_pool -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/univ -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/uuid -I /nix/store/0qfpmy6hh0jwdj4lv3mg7f5kx9yjwx5z-ocaml5.3.0-core_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/core_kernel/version_util -I /nix/store/0zskfk4k8m6sg81r1paya47a4mi0gg74-ocaml5.3.0-timezone-0.17.0/lib/ocaml/5.3.0/site-lib/timezone -I /nix/store/1599m4sbdmq8zn2a2ig12h3jg9mgsbx0-ocaml5.3.0-ocaml_intrinsics_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/ocaml_intrinsics_kernel -I /nix/store/174f3nwvz8ij7jaw2d5b9im6b9pjzwl4-ocaml5.3.0-shell-0.17.0/lib/ocaml/5.3.0/site-lib/shell -I /nix/store/174f3nwvz8ij7jaw2d5b9im6b9pjzwl4-ocaml5.3.0-shell-0.17.0/lib/ocaml/5.3.0/site-lib/shell/low_level_process -I /nix/store/174f3nwvz8ij7jaw2d5b9im6b9pjzwl4-ocaml5.3.0-shell-0.17.0/lib/ocaml/5.3.0/site-lib/shell/shell_internal -I /nix/store/174f3nwvz8ij7jaw2d5b9im6b9pjzwl4-ocaml5.3.0-shell-0.17.0/lib/ocaml/5.3.0/site-lib/shell/unix_extended -I /nix/store/1icvqy5lgvillzfq7ck1pz1d2ccdsvhj-ocaml5.3.0-spawn-0.15.1/lib/ocaml/5.3.0/site-lib/spawn -I /nix/store/1mk5m2wwbpp8zx1xpx00f2nf312ljkcc-ocaml5.3.0-ppx_diff-0.17.1/lib/ocaml/5.3.0/site-lib/ppx_diff/diffable -I /nix/store/1mk5m2wwbpp8zx1xpx00f2nf312ljkcc-ocaml5.3.0-ppx_diff-0.17.1/lib/ocaml/5.3.0/site-lib/ppx_diff/diffable_cinaps -I /nix/store/23k1s3v74v4x1jchvqvy4spsxlv74hp5-ocaml5.3.0-bin_prot-0.17.0/lib/ocaml/5.3.0/site-lib/bin_prot -I /nix/store/23k1s3v74v4x1jchvqvy4spsxlv74hp5-ocaml5.3.0-bin_prot-0.17.0/lib/ocaml/5.3.0/site-lib/bin_prot/shape -I /nix/store/2whi94cr9n5n392dqjv28c6v3fsinzdh-ocaml5.3.0-ppx_stable_witness-0.17.0/lib/ocaml/5.3.0/site-lib/ppx_stable_witness/runtime -I /nix/store/2whi94cr9n5n392dqjv28c6v3fsinzdh-ocaml5.3.0-ppx_stable_witness-0.17.0/lib/ocaml/5.3.0/site-lib/ppx_stable_witness/stable_witness -I /nix/store/308mgha77yadynia26r6wiiarijgcrxj-ocaml5.3.0-macaddr-5.6.1/lib/ocaml/5.3.0/site-lib/macaddr -I /nix/store/32hbizb04vbqs6dsxxhsvfaajpasgckv-ocaml5.3.0-base-0.17.2/lib/ocaml/5.3.0/site-lib/base -I /nix/store/32hbizb04vbqs6dsxxhsvfaajpasgckv-ocaml5.3.0-base-0.17.2/lib/ocaml/5.3.0/site-lib/base/base_internalhash_types -I /nix/store/32hbizb04vbqs6dsxxhsvfaajpasgckv-ocaml5.3.0-base-0.17.2/lib/ocaml/5.3.0/site-lib/base/md5 -I /nix/store/32hbizb04vbqs6dsxxhsvfaajpasgckv-ocaml5.3.0-base-0.17.2/lib/ocaml/5.3.0/site-lib/base/shadow_stdlib -I /nix/store/38fv4m5y03fzjkxzffvbni5iawpsx03p-ocaml5.3.0-stdlib-shims-0.3.0/lib/ocaml/5.3.0/site-lib/stdlib-shims -I /nix/store/3afldyhrcmy7m54nhxfwjviskj8lml80-ocaml5.3.0-ppx_enumerate-0.17.0/lib/ocaml/5.3.0/site-lib/ppx_enumerate/runtime-lib -I /nix/store/3kf356dja2vdfbihn5r93r87c6v435jp-ocaml5.3.0-cstruct-6.2.0/lib/ocaml/5.3.0/site-lib/cstruct -I /nix/store/3kngcxb0xwbv4hqanpiy25ac1kwmbkrr-ocaml5.3.0-ppx_hash-0.17.0/lib/ocaml/5.3.0/site-lib/ppx_hash/runtime-lib -I /nix/store/3m2qlvnx9s4090l7lbqkgxxxmjjdvnls-ocaml5.3.0-base64-3.5.2/lib/ocaml/5.3.0/site-lib/base64 -I /nix/store/464nw3flwjp25pvg4bkda3k63hi16nkl-ocaml5.3.0-bigstringaf-0.10.0/lib/ocaml/5.3.0/site-lib/bigstringaf -I /nix/store/47q7ajbbwni63z7kgfc53ih6fiankp7q-ocaml5.3.0-cohttp-5.3.1/lib/ocaml/5.3.0/site-lib/cohttp -I /nix/store/4886m6sfk0sfvr7v5mc7vbg96sd6ld84-ocaml5.3.0-cohttp-async-5.3.1/lib/ocaml/5.3.0/site-lib/cohttp-async -I /nix/store/4bmgk17n1bb8yzx1n2bk785yad0hkmni-ocaml5.3.0-gel-0.17.0/lib/ocaml/5.3.0/site-lib/gel -I /nix/store/4k9j3mrsgm16mw1p5w8y2g1y0ipskg26-ocaml5.3.0-ppx_string-0.17.0/lib/ocaml/5.3.0/site-lib/ppx_string/runtime -I /nix/store/50xgy217xiyglqwi0c5m8ifc5k0xdzd9-ocaml5.3.0-astring-0.8.5/lib/ocaml/5.3.0/site-lib/astring -I /nix/store/68w9kpkccr6vx2g37ch82zivl6cmq40q-ocaml5.3.0-async_unix-0.17.0/lib/ocaml/5.3.0/site-lib/async_unix -I /nix/store/68w9kpkccr6vx2g37ch82zivl6cmq40q-ocaml5.3.0-async_unix-0.17.0/lib/ocaml/5.3.0/site-lib/async_unix/thread_pool -I /nix/store/68w9kpkccr6vx2g37ch82zivl6cmq40q-ocaml5.3.0-async_unix-0.17.0/lib/ocaml/5.3.0/site-lib/async_unix/thread_safe_ivar -I /nix/store/6b6cp4sfsx44ivyrs5m4agjnw07wmykc-ocaml5.3.0-expect_test_helpers_core-0.17.0/lib/ocaml/5.3.0/site-lib/expect_test_helpers_core -I /nix/store/6b6cp4sfsx44ivyrs5m4agjnw07wmykc-ocaml5.3.0-expect_test_helpers_core-0.17.0/lib/ocaml/5.3.0/site-lib/expect_test_helpers_core/expect_test_helpers_base -I /nix/store/6kmn26mqm7hhq0q9mwxvgs3r5qm14xhf-ocaml-5.3.0/lib/ocaml/str -I /nix/store/6kmn26mqm7hhq0q9mwxvgs3r5qm14xhf-ocaml-5.3.0/lib/ocaml/threads -I /nix/store/6kmn26mqm7hhq0q9mwxvgs3r5qm14xhf-ocaml-5.3.0/lib/ocaml/unix -I /nix/store/7jk8vq02al6hx51j5grxpjl0hxq7g0hx-ocaml5.3.0-fieldslib-0.17.0/lib/ocaml/5.3.0/site-lib/fieldslib -I /nix/store/7s20955s8wlp2gipci96c11k8v8i60b6-ocaml5.3.0-uopt-0.17.0/lib/ocaml/5.3.0/site-lib/uopt -I /nix/store/80ad39caxl671q8q2f0lsa5ajdvbjjwm-ocaml5.3.0-domain-name-0.5.0/lib/ocaml/5.3.0/site-lib/domain-name -I /nix/store/8pi8k1mbr63f0w4k7a6a0qwqa828rkbw-ocaml5.3.0-async_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/async_kernel -I /nix/store/8pi8k1mbr63f0w4k7a6a0qwqa828rkbw-ocaml5.3.0-async_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/async_kernel/config -I /nix/store/8pi8k1mbr63f0w4k7a6a0qwqa828rkbw-ocaml5.3.0-async_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/async_kernel/eager_deferred -I /nix/store/8pi8k1mbr63f0w4k7a6a0qwqa828rkbw-ocaml5.3.0-async_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/async_kernel/persistent_connection_kernel -I /nix/store/8pi8k1mbr63f0w4k7a6a0qwqa828rkbw-ocaml5.3.0-async_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/async_kernel/read_write_pair -I /nix/store/9f2mmyj2qy9h5dkab44ls4w2xsvkv81y-ocaml5.3.0-parsexp-0.17.0/lib/ocaml/5.3.0/site-lib/parsexp -I /nix/store/aaqarsv4fz5md9icl186q5yn8z42w2bn-ocaml5.3.0-time_now-0.17.0/lib/ocaml/5.3.0/site-lib/time_now -I /nix/store/abvy6f0kicjsvwj4qg0nrcy9bi1fdyqy-ocaml5.3.0-fmt-0.11.0/lib/ocaml/5.3.0/site-lib/fmt -I /nix/store/aknwysdhkpsslgjbqarpdc7cagz4li6v-ocaml5.3.0-stringext-1.6.0/lib/ocaml/5.3.0/site-lib/stringext -I /nix/store/b59r3ya63q21iw50qw3112djgf6c5g4w-ocaml5.3.0-int_repr-0.17.0/lib/ocaml/5.3.0/site-lib/int_repr -I /nix/store/bhql1c78kwqls59pl3hvk34xm46pz0rp-ocaml5.3.0-async-0.17.0/lib/ocaml/5.3.0/site-lib/async -I /nix/store/bhql1c78kwqls59pl3hvk34xm46pz0rp-ocaml5.3.0-async-0.17.0/lib/ocaml/5.3.0/site-lib/async/async_command -I /nix/store/bhql1c78kwqls59pl3hvk34xm46pz0rp-ocaml5.3.0-async-0.17.0/lib/ocaml/5.3.0/site-lib/async/async_quickcheck -I /nix/store/bhql1c78kwqls59pl3hvk34xm46pz0rp-ocaml5.3.0-async-0.17.0/lib/ocaml/5.3.0/site-lib/async/async_rpc -I /nix/store/ckn98w11qqm56ly8yfna3vdif6hgjla0-ocaml5.3.0-stdio-0.17.0/lib/ocaml/5.3.0/site-lib/stdio -I /nix/store/cwgl0dbi6ppb74zgywmryjl5g8a4i9aj-ocaml5.3.0-re-1.12.0/lib/ocaml/5.3.0/site-lib/re -I /nix/store/dhvwl915qz2a9izwf3m315m03yid7z0p-ocaml5.3.0-conduit-8.0.0/lib/ocaml/5.3.0/site-lib/conduit -I /nix/store/dnwd4fw5r05ybjwnis7f6i9scrn4c83a-ocaml5.3.0-typerep-0.17.1/lib/ocaml/5.3.0/site-lib/typerep -I /nix/store/dxsacpqzn2pmkj80famz3d8f4bff0wpj-ocaml5.3.0-ppxlib-0.36.2/lib/ocaml/5.3.0/site-lib/ppxlib/print_diff -I /nix/store/f525r5ikbm1l48igibs9m359lffxygv2-ocaml5.3.0-ppx_inline_test-0.17.1/lib/ocaml/5.3.0/site-lib/ppx_inline_test/config -I /nix/store/f525r5ikbm1l48igibs9m359lffxygv2-ocaml5.3.0-ppx_inline_test-0.17.1/lib/ocaml/5.3.0/site-lib/ppx_inline_test/runtime-lib -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix/bigstring_unix -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix/command_unix -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix/core_thread -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix/error_checking_mutex -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix/filename_unix -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix/iobuf_unix -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix/linux_ext -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix/nano_mutex -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix/ocaml_c_utils -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix/signal_unix -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix/squeue -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix/sys_unix -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix/time_float_unix -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix/time_ns_unix -I /nix/store/fsgaam3g35zbh04m47165f438xpxrikr-ocaml5.3.0-core_unix-0.17.1/lib/ocaml/5.3.0/site-lib/core_unix/time_stamp_counter -I /nix/store/givxywxzg5vwks37h8h92iqv8k45nm8a-ocaml5.3.0-protocol_version_header-0.17.0/lib/ocaml/5.3.0/site-lib/protocol_version_header -I /nix/store/gk3snb3p0026h9sqkk5zx7b0ff5jx3wv-ocaml5.3.0-ctypes-0.24.0/lib/ocaml/5.3.0/site-lib/ctypes -I /nix/store/gk3snb3p0026h9sqkk5zx7b0ff5jx3wv-ocaml5.3.0-ctypes-0.24.0/lib/ocaml/5.3.0/site-lib/ctypes/stubs -I /nix/store/i9656p4kxa4clva4knsjwabwb5qm8kxx-ocaml5.3.0-ppx_sexp_conv-0.17.1/lib/ocaml/5.3.0/site-lib/ppx_sexp_conv/runtime-lib -I /nix/store/iflz8cg454rraq0r14fbib1mwy5qcd70-ocaml5.3.0-integers-0.7.0/lib/ocaml/5.3.0/site-lib/integers -I /nix/store/jfxv0ah7jz7lxldcqkm94ynh49k5k0wz-ocaml5.3.0-uri-4.4.0/lib/ocaml/5.3.0/site-lib/uri -I /nix/store/jfxv0ah7jz7lxldcqkm94ynh49k5k0wz-ocaml5.3.0-uri-4.4.0/lib/ocaml/5.3.0/site-lib/uri/services -I /nix/store/km9wks4nc0pqddhcx0y45bcc9q16m70w-ocaml5.3.0-zstandard-0.17.0/lib/ocaml/5.3.0/site-lib/zstandard -I /nix/store/km9wks4nc0pqddhcx0y45bcc9q16m70w-ocaml5.3.0-zstandard-0.17.0/lib/ocaml/5.3.0/site-lib/zstandard/bindings -I /nix/store/l344fmlkxr4prihi2ga3x17x18x274jd-ocaml5.3.0-variantslib-0.17.0/lib/ocaml/5.3.0/site-lib/variantslib -I /nix/store/lfg4sk36n9p8vxdqp07s23mrssqjx1l7-ocaml5.3.0-camlzip-1.11/lib/ocaml/5.3.0/site-lib/zip -I /nix/store/lpxq2ch9zj6syqwxs3z201v9n2q6rhjx-ocaml5.3.0-ppx_bench-0.17.1/lib/ocaml/5.3.0/site-lib/ppx_bench/runtime-lib -I /nix/store/ly7simarjkxhh80i1faw1z6f48hgkd9s-ocaml5.3.0-core-0.17.1/lib/ocaml/5.3.0/site-lib/core -I /nix/store/ly7simarjkxhh80i1faw1z6f48hgkd9s-ocaml5.3.0-core-0.17.1/lib/ocaml/5.3.0/site-lib/core/base_for_tests -I /nix/store/ly7simarjkxhh80i1faw1z6f48hgkd9s-ocaml5.3.0-core-0.17.1/lib/ocaml/5.3.0/site-lib/core/command -I /nix/store/ly7simarjkxhh80i1faw1z6f48hgkd9s-ocaml5.3.0-core-0.17.1/lib/ocaml/5.3.0/site-lib/core/filename_base -I /nix/store/ly7simarjkxhh80i1faw1z6f48hgkd9s-ocaml5.3.0-core-0.17.1/lib/ocaml/5.3.0/site-lib/core/heap_block -I /nix/store/ly7simarjkxhh80i1faw1z6f48hgkd9s-ocaml5.3.0-core-0.17.1/lib/ocaml/5.3.0/site-lib/core/univ_map -I /nix/store/ly7simarjkxhh80i1faw1z6f48hgkd9s-ocaml5.3.0-core-0.17.1/lib/ocaml/5.3.0/site-lib/core/validate -I /nix/store/mdhvm0ln1lx4pksvh6dcpj3lhnm0rk05-ocaml5.3.0-owee-0.8/lib/ocaml/5.3.0/site-lib/owee -I /nix/store/mfscv6hjrbnljm4jbs7rpf5pkh7i02y0-ocaml5.3.0-ppx_expect-0.17.3/lib/ocaml/5.3.0/site-lib/ppx_expect/config -I /nix/store/mfscv6hjrbnljm4jbs7rpf5pkh7i02y0-ocaml5.3.0-ppx_expect-0.17.3/lib/ocaml/5.3.0/site-lib/ppx_expect/config_types -I /nix/store/mfscv6hjrbnljm4jbs7rpf5pkh7i02y0-ocaml5.3.0-ppx_expect-0.17.3/lib/ocaml/5.3.0/site-lib/ppx_expect/make_corrected_file -I /nix/store/mfscv6hjrbnljm4jbs7rpf5pkh7i02y0-ocaml5.3.0-ppx_expect-0.17.3/lib/ocaml/5.3.0/site-lib/ppx_expect/runtime -I /nix/store/nhdvr7jf47w2r3rs30p37dmd5vbd4pzh-ocaml5.3.0-seq-0.1/lib/ocaml/5.3.0/site-lib/seq -I /nix/store/pf50qk14s0jmslk1fyxzsry9pylv4613-ocaml5.3.0-sexp_pretty-0.17.0/lib/ocaml/5.3.0/site-lib/sexp_pretty -I /nix/store/pyifmgbvyy9w4abrwddqjzqy4mn2sfkc-ocaml5.3.0-logs-0.10.0/lib/ocaml/5.3.0/site-lib/logs -I /nix/store/pyifmgbvyy9w4abrwddqjzqy4mn2sfkc-ocaml5.3.0-logs-0.10.0/lib/ocaml/5.3.0/site-lib/logs/fmt -I /nix/store/qavfyk6k6iqac3q66ngprd81qdl12c2i-ocaml5.3.0-ipaddr-5.6.1/lib/ocaml/5.3.0/site-lib/ipaddr -I /nix/store/qavfyk6k6iqac3q66ngprd81qdl12c2i-ocaml5.3.0-ipaddr-5.6.1/lib/ocaml/5.3.0/site-lib/ipaddr/unix -I /nix/store/qpixgkdjhv93dc01sgxl13072wsxdchk-ocaml5.3.0-uri-sexp-4.4.0/lib/ocaml/5.3.0/site-lib/uri-sexp -I /nix/store/qs1jvg0vhdyh4z75wnsxk0qcvgi8y86j-ocaml5.3.0-sexplib-0.17.0/lib/ocaml/5.3.0/site-lib/sexplib -I /nix/store/qs1jvg0vhdyh4z75wnsxk0qcvgi8y86j-ocaml5.3.0-sexplib-0.17.0/lib/ocaml/5.3.0/site-lib/sexplib/unix -I /nix/store/rqhk8b22rk2nc0wk1rpf5am1gh0f82z0-ocaml5.3.0-ppx_assert-0.17.0/lib/ocaml/5.3.0/site-lib/ppx_assert/runtime-lib -I /nix/store/rrkwb2d94mfil8vjlf8jf6yxc9030qr2-ocaml5.3.0-conduit-async-8.0.0/lib/ocaml/5.3.0/site-lib/conduit-async -I /nix/store/s8g35dkvn8h5mvrfxmd21y9xiqribb2j-ocaml5.3.0-sexplib0-0.17.0/lib/ocaml/5.3.0/site-lib/sexplib0 -I /nix/store/syf9k24s5xgpmbafyx4vphbsvbr9jyiy-ocaml5.3.0-base_quickcheck-0.17.1/lib/ocaml/5.3.0/site-lib/base_quickcheck -I /nix/store/syf9k24s5xgpmbafyx4vphbsvbr9jyiy-ocaml5.3.0-base_quickcheck-0.17.1/lib/ocaml/5.3.0/site-lib/base_quickcheck/ppx_quickcheck/runtime -I /nix/store/v76m8iqdrly384ax4gv56psp5dcj3h78-ocaml5.3.0-async_rpc_kernel-0.17.0/lib/ocaml/5.3.0/site-lib/async_rpc_kernel -I /nix/store/vgas5b4kbly8jw7as7xbkjf8zsm7h2pv-ocaml5.3.0-ppx_compare-0.17.0/lib/ocaml/5.3.0/site-lib/ppx_compare/runtime-lib -I /nix/store/wccq8fwh3j4nybpqyixb7q95i2agsx2y-ocaml5.3.0-async_log-0.17.0/lib/ocaml/5.3.0/site-lib/async_log -I /nix/store/wccq8fwh3j4nybpqyixb7q95i2agsx2y-ocaml5.3.0-async_log-0.17.0/lib/ocaml/5.3.0/site-lib/async_log/kernel -I /nix/store/wh4ys0dv1fr67iyv9al527jw0rigjsq8-ocaml5.3.0-angstrom-0.16.1/lib/ocaml/5.3.0/site-lib/angstrom -I /nix/store/whr5s1hdksb7qcjfkdwb1b30zikng56i-ocaml5.3.0-ipaddr-sexp-5.6.1/lib/ocaml/5.3.0/site-lib/ipaddr-sexp -I /nix/store/wjlw4sq2p92pq1b0dvj5g5hzscf449jz-ocaml5.3.0-ppx_here-0.17.0/lib/ocaml/5.3.0/site-lib/ppx_here/runtime-lib -I /nix/store/wyfm2v9d241xkd132pb25i6ys7vh36lp-ocaml5.3.0-splittable_random-0.17.0/lib/ocaml/5.3.0/site-lib/splittable_random -I /nix/store/x85smsdfy7ngz6b4rlq25bc3pxq9dxdq-ocaml5.3.0-textutils-0.17.0/lib/ocaml/5.3.0/site-lib/textutils/console -I /nix/store/y3vh8bv2w3v9jap3mkpm512dbxy207vs-ocaml5.3.0-magic-mime-1.3.1/lib/ocaml/5.3.0/site-lib/magic-mime -I /nix/store/ydczm1ghsyavsvid3b18imsfjrgvmfjb-ocaml5.3.0-jane-street-headers-0.17.0/lib/ocaml/5.3.0/site-lib/jane-street-headers -I /nix/store/ynjyqgh28rivkbl0hk1np55rdvq9dciy-ocaml5.3.0-ppx_module_timer-0.17.0/lib/ocaml/5.3.0/site-lib/ppx_module_timer/runtime -I /nix/store/z0pry2q28811s5qk4sssrfcak4csp0ci-ocaml5.3.0-ppx_log-0.17.0/lib/ocaml/5.3.0/site-lib/ppx_log/syntax -I /nix/store/z0pry2q28811s5qk4sssrfcak4csp0ci-ocaml5.3.0-ppx_log-0.17.0/lib/ocaml/5.3.0/site-lib/ppx_log/types -I /nix/store/z6xfcb00aa3vdli586wibkxbcp378bhh-ocaml5.3.0-base_bigstring-0.17.0/lib/ocaml/5.3.0/site-lib/base_bigstring -I /nix/store/zka4gpmppwds8idfbz4ld49dl6fkk1qw-ocaml5.3.0-cohttp_static_handler-0.17.0/lib/ocaml/5.3.0/site-lib/cohttp_static_handler -I lib/magic_trace/src/.magic_trace.objs/byte -I lib/magic_trace/src/.magic_trace.objs/native -I vendor/fzf/src/.fzf.objs/byte -I vendor/fzf/src/.fzf.objs/native -I vendor/tracing/src/.tracing.objs/byte -I vendor/tracing/src/.tracing.objs/native -I vendor/tracing/zero/.tracing_zero.objs/byte -I vendor/tracing/zero/.tracing_zero.objs/native -cmi-file src/.magic_trace_lib.objs/byte/magic_trace_lib__Trace.cmi -no-alias-deps -open Magic_trace_lib -o src/.magic_trace_lib.objs/native/magic_trace_lib__Trace.cmx -c -impl src/trace.pp.ml)
File "src/trace.ml", line 481, characters 4-13:
481 | Ivar.fill exited_ivar ();
^^^^^^^^^
Alert deprecated: Async.Ivar.fill
[since 2023-04] Use [fill_exn]
Done: 98% (872/888, 16 left, 2 failed) (jobs: 1)

Done: 98% (874/888, 14 left, 2 failed) (jobs: 2)

Done: 98% (877/888, 11 left, 2 failed) (jobs: 1)

Comment on lines +16 to +23
patches = [
# Compatibility with yojson 3.0
(fetchpatch {
url = "https://github.com/mirage/ocaml-github/commit/487d7d413363921a8ffbb941610c2f71c811add8.patch";
hash = "sha256-ThCsWRQKmlRg7rk8tlorsO87v8RWnBvocHDvgg/WWMA=";
})
];

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can be dropped, if you bump the version here: mirage/ocaml-github#281

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can we do that in an other PR?

@vbgl vbgl added this pull request to the merge queue Dec 19, 2025
Merged via the queue into NixOS:master with commit e6e7366 Dec 19, 2025
37 of 39 checks passed
@vbgl vbgl deleted the ocaml-yojson-3.0.0 branch December 19, 2025 13:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

6.topic: coq A formal proof management system 6.topic: ocaml OCaml is a general-purpose, high-level, multi-paradigm programming language. 8.has: package (update) This PR updates a package to a newer version 10.rebuild-darwin: 101-500 This PR causes between 101 and 500 packages to rebuild on Darwin. 10.rebuild-linux: 101-500 This PR causes between 101 and 500 packages to rebuild on Linux. 12.approvals: 1 This PR was reviewed and approved by one person.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants