diff options
Diffstat (limited to 'versions')
| -rw-r--r-- | versions/baseline.json | 4 | ||||
| -rw-r--r-- | versions/d-/draco.json | 5 |
2 files changed, 7 insertions, 2 deletions
diff --git a/versions/baseline.json b/versions/baseline.json index a815078e4..38f12cf85 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -1861,8 +1861,8 @@ "port-version": 1 }, "draco": { - "baseline": "1.3.6", - "port-version": 2 + "baseline": "1.4.1", + "port-version": 0 }, "drlibs": { "baseline": "2019-08-12", diff --git a/versions/d-/draco.json b/versions/d-/draco.json index 2367a5473..2ac33f2df 100644 --- a/versions/d-/draco.json +++ b/versions/d-/draco.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "3289b6aa2981d3fb169f35ca384608b514210401", + "version": "1.4.1", + "port-version": 0 + }, + { "git-tree": "d306b49fab537cd9980ce5de0c994372a1300777", "version": "1.3.6", "port-version": 2 |