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:41 PM
olasdPushed on Dec 28 2021, 10:47 AM
Parents
R192:6b551907600d: Merge pull request #247 from lschierer/ubuntu20
Branches
Unknown
Tags
Unknown

Event Timeline

Romain Tartière <romain@blogreen.org> committed R192:960fd582ac0a: Allow stdlib 8.0.0 (authored by Romain Tartière <romain@blogreen.org>).Aug 25 2021, 7:41 PM