HomeThat World

coqPackages.CoLoR 1.4.0 -> 1.6.0

Authored by Jarrod Pas <jarrod@jarrodpas.com> on Wed, Jan 22, 7:40 AM.

Description

coqPackages.CoLoR 1.4.0 -> 1.6.0

The package is now developed on GitHub, so fetchurl was replace with
fetchFromGithub.

Details

Committed
Jarrod Pas <jarrod@jarrodpas.com>Wed, Jan 22, 8:05 AM
Pushed
sorpaasWed, Jan 29, 2:38 AM
Parents
rNIXPKGS5a19bf03d9c7: add jpas to maintainers
Branches
Unknown
Tags
Unknown

Event Timeline

Jarrod Pas <jarrod@jarrodpas.com> committed rNIXPKGS4339f5803d9e: coqPackages.CoLoR 1.4.0 -> 1.6.0 (authored by Jarrod Pas <jarrod@jarrodpas.com>).Wed, Jan 22, 8:05 AM