HomeSource World

coqPackages.CoLoR support for Coq 8.10

Description

coqPackages.CoLoR support for Coq 8.10

Details

Provenance
Jarrod Pas <jarrod@jarrodpas.com>Authored on Jan 26 2020, 3:37 PM
sorpaasPushed on Jan 29 2020, 2:38 AM
Parents
rNIXPKGSbebbc486d01f: Keeps older CoLoR available for older Coq
Branches
Unknown
Tags
Unknown

Event Timeline

Jarrod Pas <jarrod@jarrodpas.com> committed rNIXPKGSb25a192755a4: coqPackages.CoLoR support for Coq 8.10 (authored by Jarrod Pas <jarrod@jarrodpas.com>).Jan 26 2020, 3:37 PM