HomeThat World

coqPackages.CoLoR support for Coq 8.10

Authored by Jarrod Pas <jarrod@jarrodpas.com> on Sun, Jan 26, 3:37 PM.

Description

coqPackages.CoLoR support for Coq 8.10

Details

Committed
Jarrod Pas <jarrod@jarrodpas.com>Sun, Jan 26, 3:37 PM
Pushed
sorpaasWed, Jan 29, 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>).Sun, Jan 26, 3:37 PM