Karl Palmskog (Jun 15 2020 at 16:24): 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?
Karl Palmskog (Jun 16 2020 at 07:55):we should probably update CoLoR link in awesome-coq
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
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: Jun 03 2023 at 17:29 UTC