diff options
Diffstat (limited to 'versions/f-')
| -rw-r--r-- | versions/f-/fmt.json | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/versions/f-/fmt.json b/versions/f-/fmt.json index 69976a238..13c7be172 100644 --- a/versions/f-/fmt.json +++ b/versions/f-/fmt.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "52a5c56d85771a278330e955b703f4db86cfe86d", + "version": "7.1.3", + "port-version": 5 + }, + { "git-tree": "230e140a15afbb9089537e153d8b83f5b994adbe", "version": "7.1.3", "port-version": 4 |