HomeThat World

Merge pull request #78253 from jpas/CoLoR-1.6.0

Authored by Vincent Laporte <vbgl@users.noreply.github.com> on Mon, Jan 27, 9:15 AM.

Description

Merge pull request #78253 from jpas/CoLoR-1.6.0

coqPackages.CoLoR: 1.4.0 -> 1.7.0

Event Timeline

GitHub <noreply@github.com> committed rNIXPKGSe59dcf8ccec4: Merge pull request #78253 from jpas/CoLoR-1.6.0 (authored by Vincent Laporte <vbgl@users.noreply.github.com>).Mon, Jan 27, 9:15 AM

Merged Changes

CommitAuthorDetailsCommitted
b25a192755a4Jarrod Pas
coqPackages.CoLoR support for Coq 8.10 
Jan 26
bebbc486d01fJarrod Pas
Keeps older CoLoR available for older Coq 
Jan 25
4339f5803d9eJarrod Pas
coqPackages.CoLoR 1.4.0 -> 1.6.0 
Jan 22
5a19bf03d9c7Jarrod Pas
add jpas to maintainers 
Jan 22