HomeSource World

lean: 3.14.0 -> 3.15.0

Description

lean: 3.14.0 -> 3.15.0

Details

Provenance
R. RyanTM <ryantm-bot@ryantm.com>Authored on Jun 6 2020, 10:55 AM
sorpaasPushed on Jun 11 2020, 2:09 AM
Parents
rNIXPKGS5f0bd4d70f18: python3.pkgs.jupyter-sphinx: init at 0.2.4
Branches
Unknown
Tags
Unknown

Event Timeline

R. RyanTM <ryantm-bot@ryantm.com> committed rNIXPKGS25300419fd6c: lean: 3.14.0 -> 3.15.0 (authored by R. RyanTM <ryantm-bot@ryantm.com>).Jun 6 2020, 10:55 AM