Sync data from GAP's GitHub release system (#372)

Co-authored-by: fingolfin <[email protected]>
gap-system · Dec 5, 2024 · adb50d9 · adb50d9
1 parent 5f407d1
commit adb50d9
Show file tree

Hide file tree

Showing 4 changed files with 2,182 additions and 1,079 deletions.
diff --git a/_data/assets.json b/_data/assets.json
@@ -1,56 +1,56 @@
 [
   {
-    "bytes": 38673913,
-    "name": "gap-4.13.1-core.tar.gz",
-    "sha256": "3bd0b5e52ea6984c22d6f6003b2a5805a843659ddbfd8da6ee50609338703451",
-    "url": "https://github.com/gap-system/gap/releases/download/v4.13.1/gap-4.13.1-core.tar.gz"
+    "bytes": 38684144,
+    "name": "gap-4.14.0-core.tar.gz",
+    "sha256": "81ecfc6f6df044739ba34ec306cc25e847967d94f1c645b093cc21749ccc1e49",
+    "url": "https://github.com/gap-system/gap/releases/download/v4.14.0/gap-4.14.0-core.tar.gz"
   },
   {
-    "bytes": 42238870,
-    "name": "gap-4.13.1-core.zip",
-    "sha256": "06cd8fc729d28b609665674e65725e132faa25b4c3e71e95c3c151518c8c9cf9",
-    "url": "https://github.com/gap-system/gap/releases/download/v4.13.1/gap-4.13.1-core.zip"
+    "bytes": 42247008,
+    "name": "gap-4.14.0-core.zip",
+    "sha256": "8f503dddf11b81a6609261a55972097fd4b9c7046c366b6fe20e2be2179ff0e3",
+    "url": "https://github.com/gap-system/gap/releases/download/v4.14.0/gap-4.14.0-core.zip"
   },
   {
-    "bytes": 680132237,
-    "name": "gap-4.13.1-x86_64.exe",
-    "sha256": "818de0167e109a6335efed8660e7d1b277c89eac4fa6f2d31839b8b3b300e021",
-    "url": "https://github.com/gap-system/gap/releases/download/v4.13.1/gap-4.13.1-x86_64.exe"
+    "bytes": 677654620,
+    "name": "gap-4.14.0-x86_64.exe",
+    "sha256": "505525ad88c65b5d41105abea1c75c3501265f54d8c73cdf6f6d894a3c0813c9",
+    "url": "https://github.com/gap-system/gap/releases/download/v4.14.0/gap-4.14.0-x86_64.exe"
   },
   {
-    "bytes": 540567685,
-    "name": "gap-4.13.1.tar.gz",
-    "sha256": "9794dbdba6fb998e0a2d0aa8ce21fc8848ad3d3f9cc9993b0b8e20be7e1dbeba",
-    "url": "https://github.com/gap-system/gap/releases/download/v4.13.1/gap-4.13.1.tar.gz"
+    "bytes": 551441656,
+    "name": "gap-4.14.0.tar.gz",
+    "sha256": "845f5272c26feb1b8eb9ef294bf0545f264c1fe5a19b0601bbc65d79d9506487",
+    "url": "https://github.com/gap-system/gap/releases/download/v4.14.0/gap-4.14.0.tar.gz"
   },
   {
-    "bytes": 559399809,
-    "name": "gap-4.13.1.zip",
-    "sha256": "8298f4a8c78197d8509f01a1f841a09eaac4880dab273fae2ba82bc30eb69aa8",
-    "url": "https://github.com/gap-system/gap/releases/download/v4.13.1/gap-4.13.1.zip"
+    "bytes": 570624944,
+    "name": "gap-4.14.0.zip",
+    "sha256": "6c35bc27ed5416632dec3227c8d8b891b15f9284615e73094daf8e09a1838494",
+    "url": "https://github.com/gap-system/gap/releases/download/v4.14.0/gap-4.14.0.zip"
   },
   {
-    "bytes": 95556956,
-    "name": "packages-required-v4.13.1.tar.gz",
-    "sha256": "0d412462cfc75c7f2894004439af4863901f1d18c9e98ad326419418fddc3139",
-    "url": "https://github.com/gap-system/gap/releases/download/v4.13.1/packages-required-v4.13.1.tar.gz"
+    "bytes": 95566994,
+    "name": "packages-required-v4.14.0.tar.gz",
+    "sha256": "02d257fd664c85b1da24f368f780c1ca8e0a5a84d3b519d6a479350c11fd6fab",
+    "url": "https://github.com/gap-system/gap/releases/download/v4.14.0/packages-required-v4.14.0.tar.gz"
   },
   {
-    "bytes": 96267019,
-    "name": "packages-required-v4.13.1.zip",
-    "sha256": "76ac121dda297a9fc9527fb0a023884ce40ec08a52e2bcac48fab3f4cb3c0da7",
-    "url": "https://github.com/gap-system/gap/releases/download/v4.13.1/packages-required-v4.13.1.zip"
+    "bytes": 96268220,
+    "name": "packages-required-v4.14.0.zip",
+    "sha256": "e65a6f36f20d6f089109cb4bf8101ef75f2f3d8ff4f928c5683d386dd9e2c03c",
+    "url": "https://github.com/gap-system/gap/releases/download/v4.14.0/packages-required-v4.14.0.zip"
   },
   {
-    "bytes": 505404872,
-    "name": "packages-v4.13.1.tar.gz",
-    "sha256": "77b1dfaf3ec6cc9e45aab2ed3f33187fc507e18f3c0bc13bbf6741748f0c6e7c",
-    "url": "https://github.com/gap-system/gap/releases/download/v4.13.1/packages-v4.13.1.tar.gz"
+    "bytes": 516487695,
+    "name": "packages-v4.14.0.tar.gz",
+    "sha256": "29102e885901a9f9ad32913be8d079e9e2c5495a749f58e8480fe94fbb373d89",
+    "url": "https://github.com/gap-system/gap/releases/download/v4.14.0/packages-v4.14.0.tar.gz"
   },
   {
-    "bytes": 516305821,
-    "name": "packages-v4.13.1.zip",
-    "sha256": "5808e0906a65215da5e6e71cf3de49b69375ca251362d50cd605365b0316b86c",
-    "url": "https://github.com/gap-system/gap/releases/download/v4.13.1/packages-v4.13.1.zip"
+    "bytes": 527511928,
+    "name": "packages-v4.14.0.zip",
+    "sha256": "8a2c54cb18e17133751029b4c378f03dc2f5e65026cde9ecd8171120f2956487",
+    "url": "https://github.com/gap-system/gap/releases/download/v4.14.0/packages-v4.14.0.zip"
   }
 ]