This repository was archived by the owner on Nov 10, 2022. It is now read-only.

This repository was archived by the owner on Nov 10, 2022. It is now read-only.

Remove timestamps from package archives #105

Open

Labels

gapdays2020-springpackages

olexandr-konovalov

opened

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.

Metadata

Assignees

No one assigned

Labels

gapdays2020-springpackages

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests