Skip to content
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

Get GAP package repsn 3.1.1 or newer into Oscar #3219

Closed
fingolfin opened this issue Jan 22, 2024 · 1 comment · Fixed by #3222
Closed

Get GAP package repsn 3.1.1 or newer into Oscar #3219

fingolfin opened this issue Jan 22, 2024 · 1 comment · Fixed by #3222
Assignees
@fingolfin @ThomasBreuer
Labels
package: GAP topic: groups
Milestone
1.0

Comments

@fingolfin
Copy link
Member

fingolfin commented Jan 22, 2024 •
edited
Loading

... as it fixes some issues relevant for the G-module code. Some options:

  1. get a new GAP package distro snapshot
  2. wait for GAP 4.13.0 (soonish)
  3. just GAP.Packages.install a newer version
  4. finally do GAP_pkg_repsn etc.
@fingolfin fingolfin added this to the 1.0 milestone Jan 22, 2024
@fingolfin
Copy link
Member Author

@ThomasBreuer maybe you can look into option 3 (or any alternative you can think of / handle)

@ThomasBreuer ThomasBreuer mentioned this issue Jan 23, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@fingolfin fingolfin

@ThomasBreuer ThomasBreuer

Labels
package: GAP topic: groups
Projects
None yet
Milestone
1.0
Development

Successfully merging a pull request may close this issue.

upgrade selected GAP packages at startup ThomasBreuer/Oscar.jl
2 participants
@fingolfin @ThomasBreuer