HomeSource World

coqPackages.Verdi: 20190202 → 20200131

Description

coqPackages.Verdi: 20190202 → 20200131

Details

Provenance
Vincent Laporte <Vincent.Laporte@gmail.com>Authored on May 26 2020, 3:39 PM
Vincent Laporte <vbgl@users.noreply.github.com>Committed on Jun 2 2020, 7:18 AM
sorpaasPushed on Jun 4 2020, 10:16 PM
Parents
rNIXPKGS6f9d12460bcb: coqPackages.Cheerios: 20181102 → 20200201
Branches
Unknown
Tags
Unknown

Event Timeline

Vincent Laporte <vbgl@users.noreply.github.com> committed rNIXPKGSf0d985cf9ca2: coqPackages.Verdi: 20190202 → 20200131 (authored by Vincent Laporte <Vincent.Laporte@gmail.com>).Jun 2 2020, 7:18 AM