Skip to content
This repository has been archived by the owner on Nov 10, 2022. It is now read-only.

Remove timestamps from package archives #105

Open
olexandr-konovalov opened this issue Feb 7, 2020 · 0 comments
Open

Remove timestamps from package archives #105

olexandr-konovalov opened this issue Feb 7, 2020 · 0 comments
Labels
gapdays2020-spring Issues and PRs that could be worked on during GAPDays2020 packages

Comments

@olexandr-konovalov
Copy link
Member

They are now redundant (we do not use timestamps in GAP distributions), and having a fixed name for merged package archives would simplify handling them in various contexts.
@olexandr-konovalov olexandr-konovalov added gapdays2020-spring Issues and PRs that could be worked on during GAPDays2020 packages labels Feb 7, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
gapdays2020-spring Issues and PRs that could be worked on during GAPDays2020 packages
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@olexandr-konovalov