Closed andreasabel closed 2 months ago
The release dates shown eg on https://flora.pm/packages/%40hackage/Agda/versions only display the date of the last revision.
Would be great if the original publication date was also shown.
The release dates shown eg on https://flora.pm/packages/%40hackage/Agda/versions only display the date of the last revision.
Would be great if the original publication date was also shown.