Skip to content

New package: elan-4.1.2 #58388

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.

Sign up for GitHub

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

Jump to bottom
Open
mmdbalkhi wants to merge 1 commit into
base: master
Choose a base branch
from
Open

New package: elan-4.1.2 #58388

mmdbalkhi wants to merge 1 commit into from

Conversation

@mmdbalkhi
Copy link
Contributor

@mmdbalkhi mmdbalkhi commented Jan 4, 2026 •
edited
Loading

Testing the changes

  • I tested the changes in this PR: YES

Local build testing

  • I built this PR locally for my native architecture, x86_64(glibc)
  • New package: elan-4.1.2

@mmdbalkhi mmdbalkhi changed the title New package: elan-4.1.2 New package: lean4-4.26.0 Jan 4, 2026
@mmdbalkhi mmdbalkhi force-pushed the new/lean branch 5 times, most recently from e1ada5f to 21dfc5e Compare January 4, 2026 15:09
@mmdbalkhi mmdbalkhi changed the title New package: lean4-4.26.0 New package: elan-4.1.2 Jan 4, 2026
@classabbyamp classabbyamp added the new-package This PR adds a new package label Jan 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

new-package This PR adds a new package

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@mmdbalkhi @classabbyamp