Skip to content
New issue

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

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

Already on GitHub? # to your account

Remove Debian 10 ppc63le and s390 #209

Merged
merged 1 commit into from
Jun 20, 2024

Conversation

mtelvers
Copy link
Member

Ahead of the EOL of Debian 10 it seems that Debian have already removed the mirrors for POWER9 and S390X.

Copy link
Contributor

@MisterDA MisterDA left a comment

Choose a reason for hiding this comment

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

Maybe the interface isn't flexible enough to express that pairs of distro and arches can be (or not) deprecated?
Curiously, why aren't we supporting ppc64le and s390x on Debian 11 and 12?

@mtelvers
Copy link
Member Author

We do for OCaml > 4.03.

| `Debian (`V11 | `V12), ov when OV.(compare Releases.v4_03_0 ov) = -1 ->
[ `I386; `X86_64; `Aarch64; `Aarch32; `Ppc64le; `S390x ]

@mtelvers mtelvers merged commit cb5e19d into ocurrent:master Jun 20, 2024
1 check passed
@mtelvers mtelvers deleted the fewer-debian-10-builds branch June 20, 2024 13:17
@MisterDA
Copy link
Contributor

Thanks, I was only looking at the diff and not the whole picture...

@shonfeder shonfeder assigned shonfeder and mtelvers and unassigned shonfeder Jun 20, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants