Home » org.overturetool.core » parser » 2.7.4 » Changes

The VDM Parser » 2.7.4

The VDM Parser
Version2.7.4compared with

Version Details

2.7.2 2.7.4
Release dateSep 30, 2019Mar 16, 2020
LicensesGPL 3.0GPL 3.0
VulnerabilitiesNoneNone

Compile Changes (2)

2.7.2 2.7.4
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core » ast2.7.22.7.4
~ Updated org.overturetool.core » testframework2.7.22.7.4