HomeThat World

Keeps older CoLoR available for older Coq

Authored by Jarrod Pas <jarrod@jarrodpas.com> on Sat, Jan 25, 10:37 PM.

Description

Keeps older CoLoR available for older Coq

Details

Committed
Jarrod Pas <jarrod@jarrodpas.com>Sat, Jan 25, 10:38 PM
Pushed
sorpaasWed, Jan 29, 2:38 AM
Parents
rNIXPKGS4339f5803d9e: coqPackages.CoLoR 1.4.0 -> 1.6.0
Branches
Unknown
Tags
Unknown

Event Timeline

Jarrod Pas <jarrod@jarrodpas.com> committed rNIXPKGSbebbc486d01f: Keeps older CoLoR available for older Coq (authored by Jarrod Pas <jarrod@jarrodpas.com>).Sat, Jan 25, 10:38 PM