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
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.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant