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

Fix PyPI installation #37

Closed
senier opened this issue Aug 27, 2021 · 0 comments · Fixed by #43
Closed

Fix PyPI installation #37

senier opened this issue Aug 27, 2021 · 0 comments · Fixed by #43

Comments

@senier
Copy link
Member

senier commented Aug 27, 2021

Ref. AdaCore/RecordFlux#745

@senier senier transferred this issue from Componolit/RecordFlux-specifications Aug 27, 2021
@senier senier added this to To do in RecordFlux Parser Sep 30, 2021
@senier senier moved this from To do to In progress in RecordFlux Parser Sep 30, 2021
@senier senier moved this from In progress to Under review in RecordFlux Parser Sep 30, 2021
senier pushed a commit that referenced this issue Oct 4, 2021
@senier senier closed this as completed in #43 Oct 5, 2021
RecordFlux Parser automation moved this from Under review to Merged Oct 5, 2021
senier pushed a commit that referenced this issue Oct 5, 2021
adacore-bot pushed a commit to AdaCore/RecordFlux that referenced this issue May 15, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
Development

Successfully merging a pull request may close this issue.

1 participant