Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ocamlPackages.yojson: 2.2.0 -> 2.2.1 #318126

Merged
merged 1 commit into from
Jun 25, 2024

Conversation

r-ryantm
Copy link
Contributor

@r-ryantm r-ryantm commented Jun 7, 2024

Automatic update generated by nixpkgs-update tools. This update was made based on information from https://github.com/ocaml-community/yojson/releases.

meta.description for ocamlPackages.yojson is: An optimized parsing and printing library for the JSON format

meta.homepage for ocamlPackages.yojson is: https://github.com/ocaml-community/yojson

Updates performed
  • Version update
To inspect upstream changes
Impact

Checks done


  • built on NixOS
  • The tests defined in passthru.tests, if any, passed
  • found 2.2.1 with grep in /nix/store/11d4dbq7alhhjv5s84apv33096qf6wnl-ocaml5.1.1-yojson-2.2.1
  • found 2.2.1 in filename of file in /nix/store/11d4dbq7alhhjv5s84apv33096qf6wnl-ocaml5.1.1-yojson-2.2.1

Rebuild report (if merged into master) (click to expand)
110 total rebuild path(s)

110 package rebuild(s)

First fifty rebuilds by attrpath

abella
acgtk
alt-ergo
beluga
cmdstan
coccinelle
comby
coqPackages.coq-elpi
coqPackages.coq-lsp
coqPackages.hierarchy-builder
coqPackages.mathcomp-algebra-tactics
coqPackages.mathcomp-analysis
coqPackages.mathcomp-classical
coqPackages.mathcomp-infotheo
coqPackages.serapi
coqPackages.vscoq-language-server
cvehound
docfd
dune-release
easycrypt
eff
framac
fstar
gnat12Packages.gnatprove
gnat13Packages.gnatprove
gnatPackages.gnatprove
gnatprove
google-drive-ocamlfuse
gradescope-submit
haxe
haxePackages.format
haxePackages.heaps
haxePackages.hlopenal
haxePackages.hlsdl
haxePackages.hxcpp
haxePackages.hxcs
haxePackages.hxjava
haxePackages.hxnodejs_4
haxe_4_3
hol_light
hxcpp
iprover
jackline
jasmin-compiler
ledit
libbap
ligo
linuxKernel.packages.linux_4_19.drbd
linuxKernel.packages.linux_4_19_hardened.drbd
Instructions to test this update (click to expand)

Either download from Cachix:

nix-store -r /nix/store/11d4dbq7alhhjv5s84apv33096qf6wnl-ocaml5.1.1-yojson-2.2.1 \
  --option binary-caches 'https://cache.nixos.org/ https://nix-community.cachix.org/' \
  --option trusted-public-keys '
  nix-community.cachix.org-1:mB9FSh9qf2dCimDSUo8Zy7bkq5CX+/rkCWyvRCYg3Fs=
  cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
  '

(The Cachix cache is only trusted for this store-path realization.)
For the Cachix download to work, your user must be in the trusted-users list or you can use sudo since root is effectively trusted.

Or, build yourself:

nix-build -A ocamlPackages.yojson https://github.com/r-ryantm/nixpkgs/archive/0256192dfce9d78bc00dc84bfe2a3d44d8349eff.tar.gz

Or:

nix build github:r-ryantm/nixpkgs/0256192dfce9d78bc00dc84bfe2a3d44d8349eff#ocamlPackages.yojson

After you've downloaded or built it, look at the files and if there are any, run the binaries:

ls -la /nix/store/11d4dbq7alhhjv5s84apv33096qf6wnl-ocaml5.1.1-yojson-2.2.1
ls -la /nix/store/11d4dbq7alhhjv5s84apv33096qf6wnl-ocaml5.1.1-yojson-2.2.1/bin


Pre-merge build results

We have automatically built all packages that will get rebuilt due to
this change.

This gives evidence on whether the upgrade will break dependent packages.
Note sometimes packages show up as failed to build independent of the
change, simply because they are already broken on the target branch.

Result of nixpkgs-review --extra-nixpkgs-config '{ allowInsecurePredicate = x: true; }' run on x86_64-linux 1

12 packages marked as broken and skipped:
  • linuxKernel.packages.linux_6_8.drbd
  • linuxKernel.packages.linux_6_8_hardened.drbd
  • linuxKernel.packages.linux_6_9.drbd
  • linuxKernel.packages.linux_6_9_hardened.drbd
  • linuxKernel.packages.linux_latest_libre.drbd
  • linuxKernel.packages.linux_lqx.drbd
  • linuxKernel.packages.linux_xanmod_latest.drbd
  • linuxKernel.packages.linux_xanmod_stable.drbd
  • linuxKernel.packages.linux_zen.drbd
  • ocamlPackages.biocaml
  • ocamlPackages.phylogenetics
  • ocamlPackages.pythonlib
335 packages built:
  • abella
  • acgtk
  • alt-ergo
  • beluga
  • cmdstan
  • coccinelle
  • comby
  • coqPackages.coq-elpi
  • coqPackages.coq-lsp
  • coqPackages.hierarchy-builder
  • coqPackages.mathcomp-algebra-tactics
  • coqPackages.mathcomp-analysis
  • coqPackages.mathcomp-classical
  • coqPackages.mathcomp-infotheo
  • coqPackages.serapi
  • coqPackages.vscoq-language-server
  • cvehound
  • cvehound.dist
  • docfd
  • dune-release
  • easycrypt
  • eff
  • framac
  • fstar
  • gnat12Packages.gnatprove
  • gnat13Packages.gnatprove
  • google-drive-ocamlfuse
  • gradescope-submit
  • haxe
  • haxePackages.format
  • haxePackages.heaps
  • haxePackages.hlopenal
  • haxePackages.hlsdl
  • haxePackages.hxcpp
  • haxePackages.hxcs
  • haxePackages.hxjava
  • haxePackages.hxnodejs_4
  • hol_light
  • iprover
  • jackline
  • jasmin-compiler
  • jasmin-compiler.bin
  • jasmin-compiler.lib
  • ledit
  • libbap
  • ligo
  • linuxKernel.packages.linux_4_19.drbd
  • linuxKernel.packages.linux_4_19_hardened.drbd
  • linuxKernel.packages.linux_5_10.drbd
  • linuxKernel.packages.linux_5_10_hardened.drbd
  • linuxKernel.packages.linux_5_15.drbd
  • linuxKernel.packages.linux_5_15_hardened.drbd
  • linuxKernel.packages.linux_5_4.drbd
  • linuxKernel.packages.linux_5_4_hardened.drbd
  • linuxKernel.packages.linux_6_1.drbd
  • linuxKernel.packages.linux_6_1_hardened.drbd
  • linuxKernel.packages.linux_6_6.drbd
  • linuxKernel.packages.linux_hardened.drbd (linuxKernel.packages.linux_6_6_hardened.drbd)
  • linuxKernel.packages.linux_libre.drbd
  • linuxKernel.packages.linux_xanmod.drbd
  • liquidsoap
  • msat
  • ocamlPackages.alcotest-lwt
  • ocamlPackages.alcotest-mirage
  • ocamlPackages.arp
  • ocamlPackages.asai
  • ocamlPackages.async_js
  • ocamlPackages.async_rpc_websocket
  • ocamlPackages.async_smtp
  • ocamlPackages.atd
  • ocamlPackages.atdgen
  • ocamlPackages.atdgen-runtime
  • ocamlPackages.awa
  • ocamlPackages.awa-mirage
  • ocamlPackages.base64
  • ocamlPackages.bistro
  • ocamlPackages.bonsai
  • ocamlPackages.bos
  • ocamlPackages.brisk-reconciler
  • ocamlPackages.brr
  • ocamlPackages.ca-certs
  • ocamlPackages.ca-certs-nss
  • ocamlPackages.camlp5
  • ocamlPackages.caqti
  • ocamlPackages.caqti-async
  • ocamlPackages.caqti-driver-mariadb
  • ocamlPackages.caqti-driver-postgresql
  • ocamlPackages.caqti-driver-sqlite3
  • ocamlPackages.caqti-dynload
  • ocamlPackages.caqti-lwt
  • ocamlPackages.caqti-type-calendar
  • ocamlPackages.carton
  • ocamlPackages.carton-git
  • ocamlPackages.carton-lwt
  • ocamlPackages.checkseum
  • ocamlPackages.cohttp
  • ocamlPackages.cohttp-async
  • ocamlPackages.cohttp-lwt
  • ocamlPackages.cohttp-lwt-jsoo
  • ocamlPackages.cohttp-lwt-unix
  • ocamlPackages.cohttp-mirage
  • ocamlPackages.cohttp-top
  • ocamlPackages.cohttp_async_websocket
  • ocamlPackages.cohttp_static_handler
  • ocamlPackages.conduit-lwt-unix
  • ocamlPackages.conduit-mirage
  • ocamlPackages.containers
  • ocamlPackages.containers-data
  • ocamlPackages.cooltt
  • ocamlPackages.ctypes_stubs_js
  • ocamlPackages.curly
  • ocamlPackages.dap
  • 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.domainslib
  • ocamlPackages.dose3
  • ocamlPackages.dscheck
  • ocamlPackages.earlybird
  • ocamlPackages.eio_linux
  • ocamlPackages.eio_main
  • ocamlPackages.eio_posix
  • ocamlPackages.eliom
  • ocamlPackages.elpi
  • ocamlPackages.email_message
  • ocamlPackages.emile
  • ocamlPackages.ethernet
  • ocamlPackages.flex
  • ocamlPackages.functoria
  • ocamlPackages.gapi-ocaml
  • ocamlPackages.gen_js_api
  • ocamlPackages.git
  • ocamlPackages.git-mirage
  • ocamlPackages.git-paf
  • ocamlPackages.git-unix
  • ocamlPackages.github
  • ocamlPackages.github-data
  • ocamlPackages.github-jsoo
  • ocamlPackages.github-unix
  • ocamlPackages.graphql
  • ocamlPackages.graphql-cohttp
  • ocamlPackages.graphql-lwt
  • ocamlPackages.graphql_ppx
  • ocamlPackages.h2
  • ocamlPackages.happy-eyeballs
  • ocamlPackages.happy-eyeballs-lwt
  • ocamlPackages.happy-eyeballs-mirage
  • ocamlPackages.http-mirage-client
  • ocamlPackages.imagelib
  • ocamlPackages.incr_dom
  • 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.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.js_of_ocaml_patches
  • ocamlPackages.jwto
  • ocamlPackages.lambda-term
  • ocamlPackages.lambdapi
  • ocamlPackages.letsencrypt
  • ocamlPackages.letsencrypt-app
  • ocamlPackages.letsencrypt-dns
  • ocamlPackages.letsencrypt-mirage
  • ocamlPackages.linol
  • ocamlPackages.linol-lwt
  • ocamlPackages.logs
  • ocamlPackages.lsp
  • ocamlPackages.lustre-v6
  • ocamlPackages.magic-trace
  • ocamlPackages.merlin
  • ocamlPackages.metrics-lwt
  • ocamlPackages.metrics-rusage
  • ocamlPackages.metrics-unix
  • ocamlPackages.mimic
  • ocamlPackages.mimic-happy-eyeballs
  • ocamlPackages.minttea
  • ocamlPackages.mirage
  • ocamlPackages.mirage-block-combinators
  • ocamlPackages.mirage-block-unix
  • ocamlPackages.mirage-bootvar-xen
  • ocamlPackages.mirage-channel
  • ocamlPackages.mirage-crypto-ec
  • ocamlPackages.mirage-crypto-pk
  • ocamlPackages.mirage-crypto-rng
  • ocamlPackages.mirage-crypto-rng-async
  • ocamlPackages.mirage-crypto-rng-lwt
  • 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.morbig
  • ocamlPackages.mrmime
  • ocamlPackages.msat
  • ocamlPackages.netchannel
  • ocamlPackages.note
  • ocamlPackages.ocaml-lsp
  • ocamlPackages.ocaml-print-intf
  • ocamlPackages.ocaml-protoc-plugin
  • ocamlPackages.ocaml-vdom
  • ocamlPackages.ocf
  • ocamlPackages.ocf_ppx
  • ocamlPackages.ocplib-simplex
  • ocamlPackages.ocsigen-start
  • ocamlPackages.ocsigen-toolkit
  • ocamlPackages.ocsigen_server
  • ocamlPackages.ocsipersist
  • ocamlPackages.ocsipersist-pgsql
  • ocamlPackages.ocsipersist-sqlite
  • ocamlPackages.ojs
  • ocamlPackages.opium
  • ocamlPackages.oseq
  • ocamlPackages.otr
  • ocamlPackages.paf
  • ocamlPackages.paf-cohttp
  • ocamlPackages.plotkicadsch
  • ocamlPackages.ppx_css
  • ocamlPackages.ppx_cstubs
  • ocamlPackages.ppx_deriving_rpc
  • ocamlPackages.ppx_deriving_yaml
  • ocamlPackages.ppx_deriving_yojson
  • ocamlPackages.ppx_irmin
  • ocamlPackages.ppx_python
  • ocamlPackages.ppx_repr
  • ocamlPackages.ppx_yojson_conv
  • ocamlPackages.ppx_yojson_conv_lib
  • ocamlPackages.prettym
  • ocamlPackages.progress
  • ocamlPackages.promise_jsoo
  • ocamlPackages.pyml
  • ocamlPackages.reason
  • ocamlPackages.reason-native.console
  • ocamlPackages.reason-native.dir
  • ocamlPackages.reason-native.file-context-printer
  • ocamlPackages.reason-native.fp
  • ocamlPackages.reason-native.pastel
  • ocamlPackages.reason-native.pastel-console
  • ocamlPackages.reason-native.qcheck-rely
  • ocamlPackages.reason-native.refmterr
  • ocamlPackages.reason-native.rely
  • ocamlPackages.reason-native.rely-junit-reporter
  • ocamlPackages.rebez
  • ocamlPackages.reperf
  • ocamlPackages.repr
  • ocamlPackages.resto-cohttp
  • ocamlPackages.resto-cohttp-client
  • ocamlPackages.resto-cohttp-self-serving-client
  • ocamlPackages.resto-cohttp-server
  • ocamlPackages.riot
  • ocamlPackages.rpclib
  • ocamlPackages.rpclib-lwt
  • ocamlPackages.sail
  • ocamlPackages.saturn
  • ocamlPackages.stog
  • ocamlPackages.stog_asy
  • ocamlPackages.stog_markdown
  • ocamlPackages.tar
  • ocamlPackages.tar-unix
  • ocamlPackages.tcpip
  • ocamlPackages.telegraml
  • ocamlPackages.tezos-base58
  • ocamlPackages.tls
  • ocamlPackages.tls-async
  • ocamlPackages.tls-lwt
  • ocamlPackages.tls-mirage
  • ocamlPackages.tsort
  • ocamlPackages.tyxml-lwd
  • ocamlPackages.utop
  • ocamlPackages.vg
  • ocamlPackages.virtual_dom
  • ocamlPackages.wayland
  • ocamlPackages.webbrowser
  • ocamlPackages.webmachine
  • ocamlPackages.x509
  • ocamlPackages.yaml
  • ocamlPackages.yaml-sexp
  • ocamlPackages.yojson
  • opam-publish
  • opam2json
  • orpie
  • prooftree
  • python311Packages.bap
  • python311Packages.bap.dist
  • python311Packages.cmdstanpy
  • python311Packages.cmdstanpy.dist
  • python311Packages.prophet
  • python311Packages.prophet.dist
  • python312Packages.bap
  • python312Packages.bap.dist
  • python312Packages.cmdstanpy
  • python312Packages.cmdstanpy.dist
  • python312Packages.prophet
  • python312Packages.prophet.dist
  • sail-riscv-rv32
  • sail-riscv-rv64
  • soupault
  • stanc
  • wayland-proxy-virtwl
  • why3
  • why3.dev

Maintainer pings

cc @vbgl for testing.

@siraben
Copy link
Member

siraben commented Jun 15, 2024

Result of nixpkgs-review pr 318126 run on x86_64-linux 1

17 packages marked as broken and skipped:
  • linuxKernel.packages.linux_6_8.drbd
  • linuxKernel.packages.linux_6_8_hardened.drbd
  • linuxKernel.packages.linux_6_9.drbd
  • linuxKernel.packages.linux_6_9_hardened.drbd
  • linuxKernel.packages.linux_latest_libre.drbd
  • linuxKernel.packages.linux_lqx.drbd
  • linuxKernel.packages.linux_xanmod_latest.drbd
  • linuxKernel.packages.linux_xanmod_stable.drbd
  • linuxKernel.packages.linux_zen.drbd
  • linuxPackages_6_8_hardened.drbd
  • linuxPackages_6_9_hardened.drbd
  • linuxPackages_latest-libre.drbd
  • linuxPackages_latest.drbd
  • linuxPackages_lqx.drbd
  • linuxPackages_xanmod_latest.drbd
  • linuxPackages_xanmod_stable.drbd
  • linuxPackages_zen.drbd
87 packages built:
  • abella
  • acgtk
  • alt-ergo
  • beluga
  • cmdstan
  • coccinelle
  • comby
  • coqPackages.coq-elpi
  • coqPackages.coq-lsp
  • coqPackages.hierarchy-builder
  • coqPackages.mathcomp-algebra-tactics
  • coqPackages.mathcomp-analysis
  • coqPackages.mathcomp-classical
  • coqPackages.mathcomp-infotheo
  • coqPackages.serapi
  • coqPackages.vscoq-language-server
  • cvehound
  • cvehound.dist
  • docfd
  • dune-release
  • easycrypt
  • eff
  • framac
  • fstar
  • gnatprove (gnatPackages.gnatprove)
  • gnat13Packages.gnatprove
  • google-drive-ocamlfuse
  • gradescope-submit
  • haxe (haxe_4_3)
  • haxePackages.format
  • haxePackages.heaps
  • haxePackages.hlopenal
  • haxePackages.hlsdl
  • hxcpp (haxePackages.hxcpp)
  • haxePackages.hxcs
  • haxePackages.hxjava
  • haxePackages.hxnodejs_4
  • hol_light
  • iprover
  • jackline
  • jasmin-compiler
  • jasmin-compiler.bin
  • jasmin-compiler.lib
  • ledit
  • libbap
  • ligo
  • linuxKernel.packages.linux_4_19.drbd
  • linuxPackages_4_19_hardened.drbd (linuxKernel.packages.linux_4_19_hardened.drbd)
  • linuxKernel.packages.linux_5_10.drbd
  • linuxPackages_5_10_hardened.drbd (linuxKernel.packages.linux_5_10_hardened.drbd)
  • linuxKernel.packages.linux_5_15.drbd
  • linuxPackages_5_15_hardened.drbd (linuxKernel.packages.linux_5_15_hardened.drbd)
  • linuxKernel.packages.linux_5_4.drbd
  • linuxPackages_5_4_hardened.drbd (linuxKernel.packages.linux_5_4_hardened.drbd)
  • linuxKernel.packages.linux_6_1.drbd
  • linuxPackages_6_1_hardened.drbd (linuxKernel.packages.linux_6_1_hardened.drbd)
  • linuxPackages.drbd (linuxKernel.packages.linux_6_6.drbd)
  • linuxPackages_hardened.drbd (linuxPackages_6_6_hardened.drbd)
  • linuxPackages-libre.drbd (linuxKernel.packages.linux_libre.drbd)
  • linuxPackages_xanmod.drbd (linuxKernel.packages.linux_xanmod.drbd)
  • liquidsoap
  • msat
  • opam-publish
  • opam2json
  • orpie
  • prooftree
  • python311Packages.bap
  • python311Packages.bap.dist
  • python311Packages.cmdstanpy
  • python311Packages.cmdstanpy.dist
  • python311Packages.prophet
  • python311Packages.prophet.dist
  • python312Packages.bap
  • python312Packages.bap.dist
  • python312Packages.cmdstanpy
  • python312Packages.cmdstanpy.dist
  • python312Packages.prophet
  • python312Packages.prophet.dist
  • reason
  • sail-riscv-rv32
  • sail-riscv-rv64
  • soupault
  • stanc
  • stog
  • wayland-proxy-virtwl
  • why3
  • why3.dev

Copy link
Member

@ulrikstrid ulrikstrid left a comment

Choose a reason for hiding this comment

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

Looks like unproblematic changes and everythings builds fine.

87 packages built:
abella acgtk alt-ergo beluga cmdstan coccinelle comby coqPackages.coq-elpi coqPackages.coq-lsp coqPackages.hierarchy-builder coqPackages.mathcomp-algebra-tactics coqPackages.mathcomp-analysis coqPackages.mathcomp-classical coqPackages.mathcomp-infotheo coqPackages.serapi coqPackages.vscoq-language-server cvehound cvehound.dist docfd dune-release easycrypt eff framac fstar gnatprove gnat13Packages.gnatprove google-drive-ocamlfuse gradescope-submit haxe haxePackages.format haxePackages.heaps haxePackages.hlopenal haxePackages.hlsdl hxcpp haxePackages.hxcs haxePackages.hxjava haxePackages.hxnodejs_4 hol_light iprover jackline jasmin-compiler jasmin-compiler.bin jasmin-compiler.lib ledit libbap ligo linuxKernel.packages.linux_4_19.drbd linuxPackages_4_19_hardened.drbd linuxKernel.packages.linux_5_10.drbd linuxPackages_5_10_hardened.drbd linuxKernel.packages.linux_5_15.drbd linuxPackages_5_15_hardened.drbd linuxKernel.packages.linux_5_4.drbd linuxPackages_5_4_hardened.drbd linuxKernel.packages.linux_6_1.drbd linuxPackages_6_1_hardened.drbd linuxPackages.drbd linuxPackages_hardened.drbd linuxPackages-libre.drbd linuxPackages_xanmod.drbd liquidsoap msat opam-publish opam2json orpie prooftree python311Packages.bap python311Packages.bap.dist python311Packages.cmdstanpy python311Packages.cmdstanpy.dist python311Packages.prophet python311Packages.prophet.dist python312Packages.bap python312Packages.bap.dist python312Packages.cmdstanpy python312Packages.cmdstanpy.dist python312Packages.prophet python312Packages.prophet.dist reason sail-riscv-rv32 sail-riscv-rv64 soupault stanc stog wayland-proxy-virtwl why3 why3.dev

Result of nixpkgs-review pr 318126 run on x86_64-linux 1

17 packages marked as broken and skipped:
  • linuxKernel.packages.linux_6_8.drbd
  • linuxKernel.packages.linux_6_8_hardened.drbd
  • linuxKernel.packages.linux_6_9.drbd
  • linuxKernel.packages.linux_6_9_hardened.drbd
  • linuxKernel.packages.linux_latest_libre.drbd
  • linuxKernel.packages.linux_lqx.drbd
  • linuxKernel.packages.linux_xanmod_latest.drbd
  • linuxKernel.packages.linux_xanmod_stable.drbd
  • linuxKernel.packages.linux_zen.drbd
  • linuxPackages_6_8_hardened.drbd
  • linuxPackages_6_9_hardened.drbd
  • linuxPackages_latest-libre.drbd
  • linuxPackages_latest.drbd
  • linuxPackages_lqx.drbd
  • linuxPackages_xanmod_latest.drbd
  • linuxPackages_xanmod_stable.drbd
  • linuxPackages_zen.drbd
87 packages built:
  • abella
  • acgtk
  • alt-ergo
  • beluga
  • cmdstan
  • coccinelle
  • comby
  • coqPackages.coq-elpi
  • coqPackages.coq-lsp
  • coqPackages.hierarchy-builder
  • coqPackages.mathcomp-algebra-tactics
  • coqPackages.mathcomp-analysis
  • coqPackages.mathcomp-classical
  • coqPackages.mathcomp-infotheo
  • coqPackages.serapi
  • coqPackages.vscoq-language-server
  • cvehound
  • cvehound.dist
  • docfd
  • dune-release
  • easycrypt
  • eff
  • framac
  • fstar
  • gnatprove (gnatPackages.gnatprove)
  • gnat13Packages.gnatprove
  • google-drive-ocamlfuse
  • gradescope-submit
  • haxe (haxe_4_3)
  • haxePackages.format
  • haxePackages.heaps
  • haxePackages.hlopenal
  • haxePackages.hlsdl
  • hxcpp (haxePackages.hxcpp)
  • haxePackages.hxcs
  • haxePackages.hxjava
  • haxePackages.hxnodejs_4
  • hol_light
  • iprover
  • jackline
  • jasmin-compiler
  • jasmin-compiler.bin
  • jasmin-compiler.lib
  • ledit
  • libbap
  • ligo
  • linuxKernel.packages.linux_4_19.drbd
  • linuxPackages_4_19_hardened.drbd (linuxKernel.packages.linux_4_19_hardened.drbd)
  • linuxKernel.packages.linux_5_10.drbd
  • linuxPackages_5_10_hardened.drbd (linuxKernel.packages.linux_5_10_hardened.drbd)
  • linuxKernel.packages.linux_5_15.drbd
  • linuxPackages_5_15_hardened.drbd (linuxKernel.packages.linux_5_15_hardened.drbd)
  • linuxKernel.packages.linux_5_4.drbd
  • linuxPackages_5_4_hardened.drbd (linuxKernel.packages.linux_5_4_hardened.drbd)
  • linuxKernel.packages.linux_6_1.drbd
  • linuxPackages_6_1_hardened.drbd (linuxKernel.packages.linux_6_1_hardened.drbd)
  • linuxPackages.drbd (linuxKernel.packages.linux_6_6.drbd)
  • linuxPackages_hardened.drbd (linuxPackages_6_6_hardened.drbd)
  • linuxPackages-libre.drbd (linuxKernel.packages.linux_libre.drbd)
  • linuxPackages_xanmod.drbd (linuxKernel.packages.linux_xanmod.drbd)
  • liquidsoap
  • msat
  • opam-publish
  • opam2json
  • orpie
  • prooftree
  • python311Packages.bap
  • python311Packages.bap.dist
  • python311Packages.cmdstanpy
  • python311Packages.cmdstanpy.dist
  • python311Packages.prophet
  • python311Packages.prophet.dist
  • python312Packages.bap
  • python312Packages.bap.dist
  • python312Packages.cmdstanpy
  • python312Packages.cmdstanpy.dist
  • python312Packages.prophet
  • python312Packages.prophet.dist
  • reason
  • sail-riscv-rv32
  • sail-riscv-rv64
  • soupault
  • stanc
  • stog
  • wayland-proxy-virtwl
  • why3
  • why3.dev

@ulrikstrid ulrikstrid merged commit 6842e01 into NixOS:master Jun 25, 2024
22 checks passed
@r-ryantm r-ryantm deleted the auto-update/ocamlPackages.yojson branch June 26, 2024 00:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants