diff options
Diffstat (limited to 'extra.old.json')
| -rw-r--r-- | extra.old.json | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/extra.old.json b/extra.old.json index 4907040..81f0535 100644 --- a/extra.old.json +++ b/extra.old.json @@ -1152,7 +1152,9 @@ "version": "v0.1.6" }, "openfec": { - "version": "v1.4.2.9" + "version": "v1.4.2.10", + "gitref": "refs/tags/v1.4.2.10", + "revision": "ba6dca2fc4882cb2f97f58c8731fafe5b9e3cc99" }, "openmpi": { "version": "v5.0.2" |