remove explicit tarballs and checksums for past releases

coq-community / coqeal

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

Other

66 stars 17 forks source link

remove explicit tarballs and checksums for past releases #48

Closed palmskog closed 3 years ago

palmskog commented 3 years ago

Based on when the previous tarballs were added, here are the tags I would like to introduce if this PR is approved:

0.9.1 for 3cc38ec077 (the parent of d97a97364f9)
0.9.2 for c034889e565e (the parent of 3ea7384e8d5)

Then I'll add the corresponding tarballs/md5 files to the releases on GitHub.

proux01 commented 3 years ago

Thansk! feel free to proceed with the tagging / github releases. Note that we should also probably remove the doc directory which seems completely outdated.