Skip to content

ocamlPackages.pgsolver: 4.1 -> 4.4#459508

Merged
vbgl merged 1 commit intoNixOS:masterfrom
stepbrobd:pgsolver
Nov 18, 2025
Merged

ocamlPackages.pgsolver: 4.1 -> 4.4#459508
vbgl merged 1 commit intoNixOS:masterfrom
stepbrobd:pgsolver

Conversation

@stepbrobd
Copy link
Member

https://github.com/tcsprojects/pgsolver/releases/tag/v4.4

pgsolver bump, and... they dropped oasis

so oasis deprecation warning is added to address #446007 (comment)

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.

@stepbrobd
Copy link
Member Author

stepbrobd commented Nov 7, 2025

seems like bap is still referring ocaml_oasis, but they do have dune support

i'll migrate that one over to dune in a bit (dang its a lil complex)

@stepbrobd stepbrobd added the 6.topic: ocaml OCaml is a general-purpose, high-level, multi-paradigm programming language. label Nov 17, 2025
@vbgl
Copy link
Contributor

vbgl commented Nov 18, 2025

Would you like to drop the second commit (and leave that to a further PR) to as to unstuck this one?

@nixpkgs-ci nixpkgs-ci bot requested a review from ulrikstrid November 18, 2025 10:58
@nixpkgs-ci nixpkgs-ci bot added 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux. 10.rebuild-darwin: 1-10 This PR causes between 1 and 10 packages to rebuild on Darwin. 10.rebuild-darwin: 1 This PR causes 1 package to rebuild on Darwin. 10.rebuild-linux: 1 This PR causes 1 package to rebuild on Linux. labels Nov 18, 2025
@vbgl vbgl added this pull request to the merge queue Nov 18, 2025
Merged via the queue into NixOS:master with commit fce2ff0 Nov 18, 2025
29 of 33 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

6.topic: ocaml OCaml is a general-purpose, high-level, multi-paradigm programming language. 10.rebuild-darwin: 1-10 This PR causes between 1 and 10 packages to rebuild on Darwin. 10.rebuild-darwin: 1 This PR causes 1 package to rebuild on Darwin. 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux. 10.rebuild-linux: 1 This PR causes 1 package to rebuild on Linux.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants