HomeSoftware Heritage

Allow stdlib 8.0.0

Description

Allow stdlib 8.0.0

Details

Provenance
Romain Tartière <romain@blogreen.org>Authored on Aug 25 2021, 7:40 PM
olasdPushed on Dec 28 2021, 10:47 AM
Parents
R208:542df57c7f5d: Merge pull request #467 from voxpupuli/modulesync
Branches
Unknown
Tags
Unknown

Event Timeline

Romain Tartière <romain@blogreen.org> committed R208:9f42eb537273: Allow stdlib 8.0.0 (authored by Romain Tartière <romain@blogreen.org>).Aug 25 2021, 7:40 PM