HomeSoftware Heritage

Allow stdlib 8.0.0

Description

Allow stdlib 8.0.0

Details

Provenance
Romain Tartière <romain@blogreen.org>Authored on Aug 26 2021, 1:45 AM
olasdPushed on Dec 28 2021, 10:47 AM
Parents
rSPSSHe9d675633cd7: Merge pull request #313 from saz/modulesync
Branches
Unknown
Tags
Unknown

Event Timeline

Romain Tartière <romain@blogreen.org> committed rSPSSHc356a5ad3b8a: Allow stdlib 8.0.0 (authored by Romain Tartière <romain@blogreen.org>).Aug 26 2021, 1:45 AM