HomeSource World

coqPackages.coqhammer: 1.2 → 1.3

Description

coqPackages.coqhammer: 1.2 → 1.3

Details

Provenance
Vincent Laporte <Vincent.Laporte@gmail.com>Authored on Aug 13 2020, 5:28 AM
Vincent Laporte <vbgl@users.noreply.github.com>Committed on Aug 20 2020, 6:37 AM
sorpaasPushed on Aug 23 2020, 3:26 PM
Parents
rNIXPKGS3b9cb4fcf4e9: Merge pull request #95832 from JohnTitor/cargo-update-v4.1.1
Branches
Unknown
Tags
Unknown

Event Timeline

Vincent Laporte <vbgl@users.noreply.github.com> committed rNIXPKGSf839441f0967: coqPackages.coqhammer: 1.2 → 1.3 (authored by Vincent Laporte <Vincent.Laporte@gmail.com>).Aug 20 2020, 6:37 AM