Skip to content

ocamlPackages.camlp5: 8.05.00 → 8.05.01#522480

Merged
stepbrobd merged 1 commit into
NixOS:masterfrom
vbgl:ocaml-camlp5-8.05.01
May 27, 2026
Merged

ocamlPackages.camlp5: 8.05.00 → 8.05.01#522480
stepbrobd merged 1 commit into
NixOS:masterfrom
vbgl:ocaml-camlp5-8.05.01

Conversation

@vbgl

@vbgl vbgl commented May 21, 2026

Copy link
Copy Markdown
Contributor

Things done

@vbgl vbgl added the 8.has: package (update) This PR updates a package to a newer version label May 21, 2026
@nixpkgs-ci nixpkgs-ci Bot added 10.rebuild-linux: 11-100 This PR causes between 11 and 100 packages to rebuild on Linux. 10.rebuild-darwin: 11-100 This PR causes between 11 and 100 packages to rebuild on Darwin. 11.by: package-maintainer This PR was created by a maintainer of all the package it changes. 9.needs: reviewer This PR currently has no reviewers requested and needs attention. 6.topic: ocaml OCaml is a general-purpose, high-level, multi-paradigm programming language. labels May 21, 2026
@vbgl vbgl force-pushed the ocaml-camlp5-8.05.01 branch from e7b379c to b514383 Compare May 26, 2026 12:31
@vbgl vbgl added the backport release-26.05 Backport PR automatically label May 27, 2026
@stepbrobd

stepbrobd commented May 27, 2026

Copy link
Copy Markdown
Member

nixpkgs-review result

Generated using nixpkgs-review-gha

Command: nixpkgs-review pr 522480
Commit: b5143834f645ca1fac975bda754289cf349512ee (subsequent changes)
Merge: 8480cd2afd4a2c059c3245f558e7aa9466dee4f1

Logs: https://github.com/stepbrobd/nixpkgs-review-gha/actions/runs/26512480568

x86_64-linux

✅ 13 packages built:
  • haxe (haxe_4_3)
  • haxePackages.format
  • haxePackages.heaps
  • haxePackages.hlopenal
  • haxePackages.hlsdl
  • hxcpp (haxePackages.hxcpp)
  • haxePackages.hxcs
  • haxePackages.hxjava
  • haxePackages.hxnodejs_4
  • ledit
  • ocamlPackages.camlp5 (ocamlPackages.camlp5_strict, ocamlPackages_latest.camlp5, ocamlPackages_latest.camlp5_strict)
  • orpie
  • prooftree

aarch64-linux

✅ 13 packages built:
  • haxe (haxe_4_3)
  • haxePackages.format
  • haxePackages.heaps
  • haxePackages.hlopenal
  • haxePackages.hlsdl
  • hxcpp (haxePackages.hxcpp)
  • haxePackages.hxcs
  • haxePackages.hxjava
  • haxePackages.hxnodejs_4
  • ledit
  • ocamlPackages.camlp5 (ocamlPackages.camlp5_strict, ocamlPackages_latest.camlp5, ocamlPackages_latest.camlp5_strict)
  • orpie
  • prooftree

aarch64-darwin (sandbox = true)

❌ 1 package failed to build:
  • prooftree
✅ 12 packages built:
  • haxe (haxe_4_3)
  • haxePackages.format
  • haxePackages.heaps
  • haxePackages.hlopenal
  • haxePackages.hlsdl
  • hxcpp (haxePackages.hxcpp)
  • haxePackages.hxcs
  • haxePackages.hxjava
  • haxePackages.hxnodejs_4
  • ledit
  • ocamlPackages.camlp5 (ocamlPackages.camlp5_strict, ocamlPackages_latest.camlp5, ocamlPackages_latest.camlp5_strict)
  • orpie

@stepbrobd

stepbrobd commented May 27, 2026 •
edited
Loading

Copy link
Copy Markdown
Member

prooftree failure due to gtksourceview, i'll try fixing this in a separate pr

@stepbrobd stepbrobd added this pull request to the merge queue May 27, 2026
Merged via the queue into NixOS:master with commit b40d9f2 May 27, 2026
40 of 45 checks passed
@nixpkgs-ci nixpkgs-ci Bot mentioned this pull request May 27, 2026
Merged
@nixpkgs-ci

nixpkgs-ci Bot commented May 27, 2026

Copy link
Copy Markdown
Contributor

Successfully created backport PR for release-26.05:

@github-actions github-actions Bot added the 8.has: port to stable This PR already has a backport to the stable release. label May 27, 2026
@vbgl vbgl deleted the ocaml-camlp5-8.05.01 branch May 27, 2026 14:28
@stepbrobd

stepbrobd commented May 27, 2026

Copy link
Copy Markdown
Member

@vbgl should we drop prooftree or keep it until gtksourceview is dropped? #410814

also prooftree is pinned to ocaml 4.12 which is broken on darwin

i think i could get it to build but that would required touching gtksourceview (which idk how long it will last) and repin 4.12 to 4.14

@vbgl

vbgl commented May 27, 2026

Copy link
Copy Markdown
Contributor Author

Does prooftree really depends on gtksourceview? Is it maintained?

@vbgl

vbgl commented May 27, 2026

Copy link
Copy Markdown
Contributor Author

See #525037 for a first step.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@stepbrobd stepbrobd stepbrobd approved these changes

Assignees

No one assigned

Labels

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 8.has: port to stable This PR already has a backport to the stable release. 9.needs: reviewer This PR currently has no reviewers requested and needs attention. 10.rebuild-darwin: 11-100 This PR causes between 11 and 100 packages to rebuild on Darwin. 10.rebuild-linux: 11-100 This PR causes between 11 and 100 packages to rebuild on Linux. 11.by: package-maintainer This PR was created by a maintainer of all the package it changes. backport release-26.05 Backport PR automatically

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@vbgl @stepbrobd