Stream: coq-community devs & users

Topic: CoLoR on Github


view this post on Zulip Karl Palmskog (Jun 15 2020 at 16:24):

This is a big win for the community IMO: https://github.com/fblanqui/color/ -- big project no longer shackled by org-specific dev platform -- maybe we should even ask Frédéric about coq-community?

view this post on Zulip Karl Palmskog (Jun 16 2020 at 07:55):

we should probably update CoLoR link in awesome-coq

view this post on Zulip Paolo Giarrusso (Jun 16 2020 at 10:59):

(As an outsider) Cool, but maybe try to update the README before publicising more?
README: > Check http://color.inria.fr/ for more recent versions.
Website: > Last release: version 1.5 for Coq 8.8, 4 May 2018 (see CHANGES)
Maybe CHANGES is accurate (there's release 1.7), but is there really no 8.11 release: https://github.com/fblanqui/color/blob/master/CHANGES

view this post on Zulip Karl Palmskog (Jun 16 2020 at 11:01):

yes, their whole metadata collection is hopelessly out-of-date, that's why one might be able to sell using coq-community templates, etc. However, my "advocacy quota" is full and will stay that way for a while.


Last updated: Feb 04 2023 at 02:03 UTC