HomeSource World

Merge pull request #95825 from matthewbauer/undmg-1.1

Description

Merge pull request #95825 from matthewbauer/undmg-1.1

undmg: 1.0.5 -> 1.1.0

Details

Provenance
Daniël de Kok <me@danieldk.eu>Authored on Aug 20 2020, 6:45 AM
GitHub <noreply@github.com>Committed on Aug 20 2020, 6:45 AM
sorpaasPushed on Aug 23 2020, 3:26 PM
Parents
rNIXPKGSe57df5816dc2: undmg: use file name instead of pipe
rNIXPKGSf839441f0967: coqPackages.coqhammer: 1.2 → 1.3
Branches
Unknown
Tags
Unknown

Event Timeline

GitHub <noreply@github.com> committed rNIXPKGS345c44de53ca: Merge pull request #95825 from matthewbauer/undmg-1.1 (authored by Daniël de Kok <me@danieldk.eu>).Aug 20 2020, 6:45 AM