HomeSource World

coqPackages.CoLoR 1.4.0 -> 1.6.0

Description

coqPackages.CoLoR 1.4.0 -> 1.6.0

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

Details

Provenance
Jarrod Pas <jarrod@jarrodpas.com>Authored on Jan 22 2020, 7:40 AM
sorpaasPushed on Jan 29 2020, 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>).Jan 22 2020, 8:05 AM