Add version

lrineau · lrineau · commit 584d5a161c54 · 2021-12-28T12:11:33.000+01:00
diff --git a/versions/c-/cgal.json b/versions/c-/cgal.json
@@ -1,5 +1,10 @@
 {
   "versions": [
+    {
+      "git-tree": "2a46b2dd9d084d2d31860c05b1d9fb891f30efb9",
+      "version": "5.3.1",
+      "port-version": 0
+    },
     {
       "git-tree": "9c46ed672d5f8a2791349c1af1b44ed7dfcb6dd6",
       "version": "5.3",

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,10 @@`
`1`	`1`	`{`
`2`	`2`	`"versions": [`
	`3`	`+ {`
	`4`	`+ "git-tree": "2a46b2dd9d084d2d31860c05b1d9fb891f30efb9",`
	`5`	`+ "version": "5.3.1",`
	`6`	`+ "port-version": 0`
	`7`	`+ },`
`3`	`8`	`{`
`4`	`9`	`"git-tree": "9c46ed672d5f8a2791349c1af1b44ed7dfcb6dd6",`
`5`	`10`	`"version": "5.3",`