Merge pull request coq#445 from MSoegtropIMC/opam-230-adjustments

Opam: add back 'extra-files' field for opam 2.3.0
jfehrle · Nov 16, 2024 · 909093b · 909093b
2 parents 55afa8b + f665c2c
commit 909093b
Show file tree

Hide file tree

Showing 35 changed files with 202 additions and 4 deletions.
diff --git a/opam/opam-coq-archive/extra-dev/packages/coq-compcert-32/coq-compcert-32.dev/opam b/opam/opam-coq-archive/extra-dev/packages/coq-compcert-32/coq-compcert-32.dev/opam
@@ -62,3 +62,13 @@ tags: [
 url {
   src: "git+https://github.com/AbsInt/CompCert.git"
 }
+extra-files: [
+  [
+    "0001-Allow-dev-version-of-Menhir.patch"
+    "sha512=76f4222174fe2ff396ccef236b249a5094f4258459c3d74a074e714ddab7da6ea22d66a264386202988e16e6e5713c7ef06c043751890369e0c35c5915e2c832"
+  ]
+  [
+    "0001-Rename-Flocq-to-Flocq3.patch"
+    "sha512=37d8d026e6762fad178b91c340bb5e26ba616ae26e077f2613776bdecf75b65fe43ba558f0d093a10cd9d45a016384450b966776abf5d154fee8b706135465a8"
+  ]
+]
diff --git a/opam/opam-coq-archive/extra-dev/packages/coq-compcert/coq-compcert.dev/opam b/opam/opam-coq-archive/extra-dev/packages/coq-compcert/coq-compcert.dev/opam
@@ -49,3 +49,13 @@ tags: [
 url {
   src: "git+https://github.com/AbsInt/CompCert.git"
 }
+extra-files: [
+  [
+    "0001-Allow-dev-version-of-Menhir.patch"
+    "sha512=76f4222174fe2ff396ccef236b249a5094f4258459c3d74a074e714ddab7da6ea22d66a264386202988e16e6e5713c7ef06c043751890369e0c35c5915e2c832"
+  ]
+  [
+    "0001-Rename-Flocq-to-Flocq3.patch"
+    "sha512=37d8d026e6762fad178b91c340bb5e26ba616ae26e077f2613776bdecf75b65fe43ba558f0d093a10cd9d45a016384450b966776abf5d154fee8b706135465a8"
+  ]
+]
diff --git a/opam/opam-coq-archive/extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam b/opam/opam-coq-archive/extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam
@@ -33,3 +33,7 @@ url {
   src: "https://flocq.gitlabpages.inria.fr/releases/flocq-3.4.3.tar.gz"
   checksum: "sha512=10f407e91e0d601b502b2c89104a8753dfcc3d9572f0fd9d007c7692d3d6c96fd5652fb103bcf2396a64236947734ee725c01f4ba2901565f9da38667f538d5a"
 }
+extra-files: [
+  "0001-Rename-Flocq-to-Flocq3.patch"
+  "sha512=88af544e36a4d4f1d0a19bf4d433ad9e0401441c7b4241e224b1630177cf7dd640e309b81b58b934b69cc90bc8107d7bd6ad6c2ca7d4c09678da393013a37e80"
+]
diff --git a/opam/opam-coq-archive/released/packages/coq-compcert-32/coq-compcert-32.3.10/opam b/opam/opam-coq-archive/released/packages/coq-compcert-32/coq-compcert-32.3.10/opam
@@ -66,3 +66,7 @@ url {
     "sha256=89d7889a41d9d295ee959ff9de7aed1a0a7c813f77fa9a668beedabeade91927"
   ]
 }
+extra-files: [
+  "0001-Rename-Flocq-to-Flocq3.patch"
+  "sha512=37d8d026e6762fad178b91c340bb5e26ba616ae26e077f2613776bdecf75b65fe43ba558f0d093a10cd9d45a016384450b966776abf5d154fee8b706135465a8"
+]
diff --git a/opam/opam-coq-archive/released/packages/coq-compcert/coq-compcert.3.10/opam b/opam/opam-coq-archive/released/packages/coq-compcert/coq-compcert.3.10/opam
@@ -53,3 +53,7 @@ url {
     "sha256=89d7889a41d9d295ee959ff9de7aed1a0a7c813f77fa9a668beedabeade91927"
   ]
 }
+extra-files: [
+  "0001-Rename-Flocq-to-Flocq3.patch"
+  "sha512=37d8d026e6762fad178b91c340bb5e26ba616ae26e077f2613776bdecf75b65fe43ba558f0d093a10cd9d45a016384450b966776abf5d154fee8b706135465a8"
+]
diff --git a/opam/opam-coq-archive/released/packages/coq-flocq3/coq-flocq3.3.4.3/opam b/opam/opam-coq-archive/released/packages/coq-flocq3/coq-flocq3.3.4.3/opam
@@ -35,3 +35,7 @@ url {
     "sha256=b59ccad1a4c2dd7b3d921d27131f4a48a5a10cff5acf63f48cf9f98f7521bac6"
   ]
 }
+extra-files: [
+  "0001-Rename-Flocq-to-Flocq3.patch"
+  "sha512=88af544e36a4d4f1d0a19bf4d433ad9e0401441c7b4241e224b1630177cf7dd640e309b81b58b934b69cc90bc8107d7bd6ad6c2ca7d4c09678da393013a37e80"
+]
diff --git a/opam/opam-coq-archive/released/packages/coq-gappa-flocq3/coq-gappa-flocq3.1.5.1/opam b/opam/opam-coq-archive/released/packages/coq-gappa-flocq3/coq-gappa-flocq3.1.5.1/opam
@@ -39,3 +39,7 @@ url {
     "sha256=6d54d6fc933929b38711d2fe04062a181ac40d29a2f5e482138308801d4e7663"
   ]
 }
+extra-files: [
+  "0001-Rename-Flocq-to-Flocq3.patch"
+  "sha512=1f05e697f0bea72810f4e8d4f71f958f5a22f608d79b7809bcdbc683eb2d206daf1d0a96493469e1aaf2cf372aba9804b5a3ae7a7b6ab7f2cafdab9b821035e2"
+]
diff --git a/opam/opam-coq-archive/released/packages/coq-interval-flocq3/coq-interval-flocq3.4.4.0/opam b/opam/opam-coq-archive/released/packages/coq-interval-flocq3/coq-interval-flocq3.4.4.0/opam
@@ -48,3 +48,7 @@ url {
     "sha256=6e9714bca36c5f7b97a3280bd2cb785805b45f9f5898751b533174d68f02be01"
   ]
 }
+extra-files: [
+  "0001-Rename-Flocq-to-Flocq3.patch"
+  "sha512=e63d4fa6ecd8267e3b0e40709fed52dd4f7ae38cfad0ed75bc230df000d53e7ae82bd1ec4da59e82ee599ce4d20365966dcc5f92694786c1afe5d60637954007"
+]
diff --git a/opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.18.0/opam b/opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.18.0/opam
@@ -48,3 +48,7 @@ url {
     "sha512=a6912de70f2bb0118f352b5190b171dc863f4d50733b1881b1382afd1b9dcbad85971feb0d2d3b64deceb13d5b91ce78d1d5b445c745ced03ea0cf0b7b15c177"
   ]
 }
+extra-files: [
+  "0001-Remove-root-on-dune-calls-does-not-work-on-Windows-M.patch"
+  "sha512=5f58a9f128d03ad035717d662ccbcd891437295086610a572914eb29b7c2cc944752ce6e28126b6f8ba2b94563e5258a72e7a8286331fe79f99d19baeb34b9bd"
+]
diff --git a/opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.19.0/opam b/opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.19.0/opam
@@ -48,3 +48,7 @@ url {
     "sha512=9a5f92dde1cadd7ef70022b5289462d0beadd451e92a42a390dd460e4851f0c85204c97209a3dc0b93cbdfea48131444f3673df34d2021787d807e51cad1d434"
   ]
 }
+extra-files: [
+  "0001-Remove-root-on-dune-calls-does-not-work-on-Windows-M.patch"
+  "sha512=5f58a9f128d03ad035717d662ccbcd891437295086610a572914eb29b7c2cc944752ce6e28126b6f8ba2b94563e5258a72e7a8286331fe79f99d19baeb34b9bd"
+]
diff --git a/...pam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.1+8.15/opam b/...pam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.1+8.15/opam
@@ -59,3 +59,7 @@ url {
     "sha256=0a305d179c3ffb7e01560c2e83d8d511dd90ca202b5c6409710ded92a86e0021"
   ]
 }
+extra-files: [
+  "0001-Fix-line-ending-issues-with-generated-code-on-Window.patch"
+  "sha512=6b626b68ea3376ee3e532c8cbd024bd083be4b37e7fc933c4445c8fe7bc22022bc06a63b4f49e610381ee8a0218b0b42950ca417ca9404e84cbd16068191294e"
+]
diff --git a/...pam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.1+8.16/opam b/...pam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.1+8.16/opam
@@ -54,3 +54,7 @@ url {
   src: "https://github.com/MetaCoq/metacoq/archive/refs/tags/v1.1-8.16.tar.gz"
   checksum: "sha512=abd34042fc2804954abc8b1fba4c2b3d1d1c0c780874ad0cbe698a19756e26985c77bb231b2e9b40ea01261f3fbbb36fbdd2b7095931e947bf933359cb0154f7"
 }
+extra-files: [
+  "0001-Fix-line-ending-issues-with-generated-code-on-Window.patch"
+  "sha512=6b626b68ea3376ee3e532c8cbd024bd083be4b37e7fc933c4445c8fe7bc22022bc06a63b4f49e610381ee8a0218b0b42950ca417ca9404e84cbd16068191294e"
+]
diff --git a/...pam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.16/opam b/...pam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.16/opam
@@ -52,3 +52,7 @@ url {
   src: "https://github.com/MetaCoq/metacoq/archive/refs/tags/v1.2-8.16.tar.gz"
   checksum: "sha512=1fc976740f2ff5a6c4137cf4722e09cae5765d0d71f55e6a020883218396856558a6534aa7d2bd192b60778427edbbc2f096a0e738e95551808702613edbbb31"
 }
+extra-files: [
+  "Fix make issues Coq Platform CI.patch"
+  "sha512=bc1f366683aad137a72474bf43e01ce8e9b7cc2d789fd56fd7898666780b93cad9c34dca87adfbf87760bb2c91c8319d6c7b64101dabe477999acb51fc8b0498"
+]
diff --git a/...pam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.17/opam b/...pam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.17/opam
@@ -52,3 +52,7 @@ url {
   src: "https://github.com/MetaCoq/metacoq/archive/refs/tags/v1.2-8.17.tar.gz"
   checksum: "sha512=a5ce2f5d94120a00703331a3cfdb7d51653fb44adeba89fa84b5f76e711ee9f582a22551f81fd144dc974e3f05e58d85cd716f8fcf69ec89923bc64774d82668"
 }
+extra-files: [
+  "Fix make issues Coq Platform CI.patch"
+  "sha512=bc1f366683aad137a72474bf43e01ce8e9b7cc2d789fd56fd7898666780b93cad9c34dca87adfbf87760bb2c91c8319d6c7b64101dabe477999acb51fc8b0498"
+]
diff --git a/...m-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2.1+8.18/opam b/...m-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2.1+8.18/opam
@@ -52,3 +52,7 @@ url {
   src: "https://github.com/MetaCoq/metacoq/archive/v1.2.1-8.18.tar.gz"
   checksum: "sha256=dd129826edd22e611f84cdc82f6486fc57343e13c8223ce041a3d0574b6f5262"
 }
+extra-files: [
+  "Fix make issues Coq Platform CI.patch"
+  "sha512=bc1f366683aad137a72474bf43e01ce8e9b7cc2d789fd56fd7898666780b93cad9c34dca87adfbf87760bb2c91c8319d6c7b64101dabe477999acb51fc8b0498"
+]
diff --git a/...m-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.3.1+8.19/opam b/...m-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.3.1+8.19/opam
@@ -52,3 +52,7 @@ url {
   src: "https://github.com/MetaCoq/metacoq/releases/download/v1.3.1-8.19/v1.3.1-8.19.tar.gz"
   checksum: "sha512=ff4c46e4a86aebfda0673f1dbea0d27751007b103dfe686657fb29237ff24abb119daa41ee4e921be6772686350be81a07a558fb9ff44e619f93d6b6ffde4c26"
 }
+extra-files: [
+  "Fix make issues Coq Platform CI.patch"
+  "sha512=bc1f366683aad137a72474bf43e01ce8e9b7cc2d789fd56fd7898666780b93cad9c34dca87adfbf87760bb2c91c8319d6c7b64101dabe477999acb51fc8b0498"
+]
diff --git a/opam/opam-coq-archive/released/packages/coq-mtac2/coq-mtac2.1.4+8.19/opam b/opam/opam-coq-archive/released/packages/coq-mtac2/coq-mtac2.1.4+8.19/opam
@@ -31,3 +31,7 @@ url {
     "sha512=4c5f17576bdfa6e127d5901666da640352ad472211bf21cf5ae67944e84ba9bf6306215cfcad83ca2117e29ec40429db8daf7421249e857537a08e827b3c4132"
   ]
 }
+extra-files: [
+  "0001-use-new-way-of-loading-ML-module-makes-Unicoq-module.patch"
+  "sha512=4c20b93910ad3a645d0feaebde8e214344be8ea689fac51dc2e53ff5cad0faffaca1b9e22573704795ffbe583d0693bd40ff0ca04ad1de0781df10e4dd270224"
+]
diff --git a/opam/opam-coq-archive/released/packages/coq-quickchick/coq-quickchick.2.0.3/opam b/opam/opam-coq-archive/released/packages/coq-quickchick/coq-quickchick.2.0.3/opam
@@ -43,3 +43,7 @@ url {
   src: "https://github.com/QuickChick/QuickChick/archive/refs/tags/v2.0.3.tar.gz"
   checksum: "sha512=0857dc53fb3c98d596d6464df07d9a6426dbf587f639ea5e87200d161b03aad6d9ce429ecffe3e93b010ac22d616f95922154571553ba238e23d7eb08ee75472"
 }
+extra-files: [
+  "0001-Fix-mycppo-script-for-Windows.patch"
+  "sha512=929a3d5aede993e114dc73b49b1cb245a354de603f18b87237c65a800958ab95f609b0833b1e37c55041b7b1a7ab9c8f60e63b24a9f79210b7481b03b5853e5d"
+]
diff --git a/opam/opam-coq-archive/released/packages/coq-rewriter/coq-rewriter.0.0.6/opam b/opam/opam-coq-archive/released/packages/coq-rewriter/coq-rewriter.0.0.6/opam
@@ -30,3 +30,13 @@ url {
     "sha256=7f4818fa8d375a589baf8b6a58103de98565e23f60e55ef360d6e70fb539e7e4"
   ]
 }
+extra-files: [
+  [
+    "0001-Comment-out-Search-command-cause-of-stack-overflow.patch"
+    "sha512=9cebfab37f5009f7d9e059385bb4cd4e7aefe0f7b7c6b95cf684656feb9a19bee92269c37b7af08976f6d236b8c2096a8f153e5d68699c088508c36eb0fe60bb"
+  ]
+  [
+    "0001-Fix-for-realpath-not-in-zsh-91.patch"
+    "sha512=ef17f08b711292040a2599341e09b0a987a18817a5b26d97fd5e6d195264c22c23ce66e6524d286a8654a4388d4212137bddcc2f03e870ad4d0193e4bf690ac3"
+  ]
+]
diff --git a/opam/opam-repository/packages/conf-python-3/conf-python-3.9.0.0/opam b/opam/opam-repository/packages/conf-python-3/conf-python-3.9.0.0/opam
@@ -29,5 +29,5 @@ on the system.
 If a minor version needs to be specified for your operating system, then
 python-3.9 will be used.
 """
-extra-files: ["test.py" "md5=db8829ab1f4aa1fc15f380afba9d01f5"]
+extra-files: ["test.py" "sha512=c392de4af374fb41705d8ff8510c1f770666a1386021f89f309848e6bfbb29fabc19f34091206c32691522698a973d447da7a82a937a9d707a79e4caae6ec30c"]
 flags: conf
diff --git a/opam/opam-repository/packages/coq-core/coq-core.8.17.0/opam b/opam/opam-repository/packages/coq-core/coq-core.8.17.0/opam
@@ -64,3 +64,7 @@ url {
   src: "https://github.com/coq/coq/archive/refs/tags/V8.17.0.tar.gz"
   checksum: "sha512=2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250"
 }
+extra-files: [
+  "0001-coq_makefile-put-file-to-install-list-in-file-instea.patch"
+  "sha512=63ccc5ca1456be4ed11d1192aeabfef4aaffebd6bf7808db74fda34e6c090f2a7747fe8f43fe1e25d6ae0d39cdcac35aaad0a14df749153a749e118df7e45b82"
+]
diff --git a/opam/opam-repository/packages/coq-core/coq-core.8.17.1/opam b/opam/opam-repository/packages/coq-core/coq-core.8.17.1/opam
@@ -65,3 +65,17 @@ url {
   src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"
   checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"
 }
+extra-files: [
+  [
+    "0001-coq_makefile-put-file-to-install-list-in-file-instea.patch"
+    "sha512=63ccc5ca1456be4ed11d1192aeabfef4aaffebd6bf7808db74fda34e6c090f2a7747fe8f43fe1e25d6ae0d39cdcac35aaad0a14df749153a749e118df7e45b82"
+  ]
+  [
+    "0001-coqdep-Windows-fix-normalisation-of-paths-containing.patch"
+    "sha512=6e6ff5c6e7a3c3073e27da117480f95536aad8ff020e75265efcc81b93e6daa73eaf16fc5e54b428d5d4ce19dbe5d5b8bab07ff032e34853d3362f5c7093b1ff"
+  ]
+  [
+    "PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch"
+    "sha512=44c753fcdb72437deb950d8de4366fc3bdf1e7d0b789a105a2910e306cf1b5b939702bfa0be8c21b6a8854d25b22f8988722e89173ea4ae80a6677e18e7b5df6"
+  ]
+]
diff --git a/opam/opam-repository/packages/coq-core/coq-core.8.18.0/opam b/opam/opam-repository/packages/coq-core/coq-core.8.18.0/opam
@@ -70,3 +70,13 @@ url {
     "sha512=46922d5f2eb6802a148a52fd3e7f0be8370c93e7bc33cee05cf4a2044290845b10ccddbaa306f29c808e7c5019700763e37e45ff6deb507b874a4348010fed50"
   ]
 }
+extra-files: [
+  [
+    "0001-ocamldep-fix-to_relative_path-on-Windows.patch"
+    "sha512=a17b106c0253516cdca608da99af8bfc816a1bf8903e52361c91d4fa8731dbc75a1a72a94c0b2148bcd5659f05e42d40fac9de1c033c369732f2f7469419b030"
+  ]
+  [
+    "PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch"
+    "sha512=c243b1ee6fd4586f1d00c3fb1941f655c9e7334f7751a8aad5783d2693dc001ffe0d3638d4c2f5ad6295114a74048ee7cb1370459d929553dca1a7a01f2600c7"
+  ]
+]
diff --git a/opam/opam-repository/packages/coq-core/coq-core.8.19.2/opam b/opam/opam-repository/packages/coq-core/coq-core.8.19.2/opam
@@ -71,3 +71,13 @@ url {
     "sha512=91bc81530fa4f6498961583ad51eac5001f139881788b88e360a866ad8e2a6e2c5bce86d1a580ab4cd4782bf49d48318767df82471ce33ba3ac143e5569ad33c"
   ]
 }
+extra-files: [
+  [
+    "0001-Windows-fix-path-normalization-in-coqdep.patch"
+    "sha512=ed520c9e7d17f5bd9067e22d19983571cd88fbae7ae4c62cbc0daac9b607a357224b6e093c962858dd586ccd282d127bac565ed942d7025836e37b6635cbb609"
+  ]
+  [
+    "PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch"
+    "sha512=e55c87a7aed663b6c11874e90c2cdc44b4b3d60b525dc3b6b03d40155dadd159414d21fe40a7c4fac8d3adbde67ef787a485c2e54ba417f9ce60439223f58e0d"
+  ]
+]
diff --git a/opam/opam-repository/packages/coq/coq.8.13.2/opam b/opam/opam-repository/packages/coq/coq.8.13.2/opam
@@ -51,9 +51,15 @@ patches: [
   "unlistable_dirs_in_path.patch" {snap}
 ]
 extra-files: [
+   [
+  "aux_file.patch"
+  "sha512=d7b9138bc09a3abfb77d7fd335cb448728e58fdcd44c41965fe2cd1d93ddd70428054aff80814772bb78f31fbc4f8818872e02b3b08962cf73f29874c2828de7"
+]
    ["coq.install" "sha512=b501737b4dbd22adc1c0377d744448056fb1dc493caf72c05f57c8463cf23f758373605ab3a50b9f505e4c856c41039d0bd7f81f96ed62adc6a674179523e7d2"]
-   ["aux_file.patch" "sha256=44baf8d636282a909965f7bbff921b4c743d099ea4412d16d0c6182f065346df"]
-   ["unlistable_dirs_in_path.patch" "sha256=07024d08b9147ae1c036ad6694bd9691da21517d63f98df1c3852d83f8ec52de"]
+   [
+  "unlistable_dirs_in_path.patch"
+  "sha512=06a94d1f245d3ad835d7c2aa4071f03408a777e27eeaaffd53ffdebce6623c6e20c9dc97e40a71614a6c9f862bb2be6777b67bf712677514adb670054e227c4f"
+]
 ]
 
 url {

diff --git a/opam/opam-repository/packages/coqide/coqide.8.17.1/opam b/opam/opam-repository/packages/coqide/coqide.8.17.1/opam
@@ -43,3 +43,7 @@ url {
   src: "https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz"
   checksum: "sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b"
 }
+extra-files: [
+  "PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch"
+  "sha512=44c753fcdb72437deb950d8de4366fc3bdf1e7d0b789a105a2910e306cf1b5b939702bfa0be8c21b6a8854d25b22f8988722e89173ea4ae80a6677e18e7b5df6"
+]
diff --git a/opam/opam-repository/packages/coqide/coqide.8.18.0/opam b/opam/opam-repository/packages/coqide/coqide.8.18.0/opam
@@ -49,3 +49,7 @@ url {
     "sha512=46922d5f2eb6802a148a52fd3e7f0be8370c93e7bc33cee05cf4a2044290845b10ccddbaa306f29c808e7c5019700763e37e45ff6deb507b874a4348010fed50"
   ]
 }
+extra-files: [
+  "PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch"
+  "sha512=c243b1ee6fd4586f1d00c3fb1941f655c9e7334f7751a8aad5783d2693dc001ffe0d3638d4c2f5ad6295114a74048ee7cb1370459d929553dca1a7a01f2600c7"
+]
diff --git a/opam/opam-repository/packages/coqide/coqide.8.19.2/opam b/opam/opam-repository/packages/coqide/coqide.8.19.2/opam
@@ -50,3 +50,7 @@ url {
     "sha512=91bc81530fa4f6498961583ad51eac5001f139881788b88e360a866ad8e2a6e2c5bce86d1a580ab4cd4782bf49d48318767df82471ce33ba3ac143e5569ad33c"
   ]
 }
+extra-files: [
+  "PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch"
+  "sha512=e55c87a7aed663b6c11874e90c2cdc44b4b3d60b525dc3b6b03d40155dadd159414d21fe40a7c4fac8d3adbde67ef787a485c2e54ba417f9ce60439223f58e0d"
+]
diff --git a/opam/opam-repository/packages/dune/dune.3.11.1/opam b/opam/opam-repository/packages/dune/dune.3.11.1/opam
@@ -57,4 +57,8 @@ url {
     "sha512=c888153b204a16bcfed2636de776bbd5f9ca84484e716cc1e9ef3ba3c904e9dd15a2609ae943cddb6097912623ec54618c58386d6730ff742d746850400fb3cc"
   ]
 }
-x-commit-hash: "7cbb0e7277c6cacd1ccf7941cac5a03c25fc63cf"
+x-commit-hash: "7cbb0e7277c6cacd1ccf7941cac5a03c25fc63cf"
+extra-files: [
+  "5fbaa7048e50556c3b9d996712bf22f14da6726e.patch"
+  "sha512=387afdad06d18fe297dec24b3dfb5213dba08deb182959f61228ac0628992921a2f50150766154cc10234a4d7c4cd701bf4918fc5e0aa134e526f4d91193ae2b"
+]
diff --git a/opam/opam-repository/packages/lablgtk3/lablgtk3.3.0.beta5/opam b/opam/opam-repository/packages/lablgtk3/lablgtk3.3.0.beta5/opam
@@ -33,3 +33,7 @@ url {
   checksum: "md5=e8745cbff677b330e06a304c6d1b9bce"
 }
 patches: "lablgtk3-3.0.beta5.patch" {os = "win32"}
+extra-files: [
+  "lablgtk3-3.0.beta5.patch"
+  "sha512=e11ba7e43b5ddf770f1677a115665a1c29aa258368b64c17e5d93d86600d4512b54b84248bb3f566fd3447e33563cd45fc50e621aaae5437bf2b418526dcded4"
+]
diff --git a/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.1/opam b/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.1/opam
@@ -39,3 +39,7 @@ url {
     "sha512=193c340d9941680869eb90bc89f5b27cc5bdf294f4635081a9ba56a99fa2982266c4ee2eb5fd04d3a3f6150082800de5df786def8c72a276a779d843d914e9e3"
   ]
 }
+extra-files: [
+  "0001-Add-function-channel_of_descr_socket-windows-has-dif.patch"
+  "sha512=92368167c1574ca51c5239f518d07cb1ee4110635988289ab9cc982f9eedc93e1dfe67f17c0258e993607f5a09d650a2ffb77eae947b965f09ef1cf1c0fd3f75"
+]
diff --git a/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.2/opam b/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.2/opam
@@ -42,3 +42,13 @@ url {
     "md5=e991d9419a722fc513f4b4878e8c2cbe"
   ]
 }
+extra-files: [
+  [
+    "0001-Add-function-channel_of_descr_socket-windows-has-dif.patch"
+    "sha512=92368167c1574ca51c5239f518d07cb1ee4110635988289ab9cc982f9eedc93e1dfe67f17c0258e993607f5a09d650a2ffb77eae947b965f09ef1cf1c0fd3f75"
+  ]
+  [
+    "dune-project.patch"
+    "sha512=7c71e8ef47168d1606b392889fc160042cf416efc00a222341534519c248cc852d5403e0cdd3a28f2c68342653018b3c2da0323cde18ef611167d9853cee7e57"
+  ]
+]
diff --git a/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.3/opam b/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.3/opam
@@ -43,3 +43,7 @@ url {
   ]
 }
 x-commit-hash: "8a803575ded8107a063a8779c47ca79310de90bc"
+extra-files: [
+  "0001-Add-function-channel_of_descr_socket-windows-has-dif.patch"
+  "sha512=92368167c1574ca51c5239f518d07cb1ee4110635988289ab9cc982f9eedc93e1dfe67f17c0258e993607f5a09d650a2ffb77eae947b965f09ef1cf1c0fd3f75"
+]
diff --git a/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.4/opam b/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.4/opam
@@ -44,3 +44,7 @@ url {
   ]
 }
 x-commit-hash: "7601748ad7949a1ac2b20851ccc0a7e38d5d73b1"
+extra-files: [
+  "0001-Add-function-channel_of_descr_socket-windows-has-dif.patch"
+  "sha512=92368167c1574ca51c5239f518d07cb1ee4110635988289ab9cc982f9eedc93e1dfe67f17c0258e993607f5a09d650a2ffb77eae947b965f09ef1cf1c0fd3f75"
+]
diff --git a/opam/opam-repository/packages/ocamlfind/ocamlfind.1.9.5~relocatable/opam b/opam/opam-repository/packages/ocamlfind/ocamlfind.1.9.5~relocatable/opam
@@ -52,4 +52,22 @@ url {
     "sha512=03514c618a16b02889db997c6c4789b3436b3ad7d974348d2c6dea53eb78898ab285ce5f10297c074bab4fd2c82931a8b7c5c113b994447a44abb30fca74c715"
   ]
 }
+extra-files: [
+  [
+    "0001-Allow-executable-relative-paths-staring-with.patch"
+    "sha512=70df52144b2444954d02b6036831a36badfdf21c752510fdf30fd06c09da4db4a3659cb05c65ef67251554f070e4c6b4c4a25793f4d736b18f69e130e2d10c9d"
+  ]
+  [
+    "0001-Fix-bug-when-installing-with-a-system-compiler.patch"
+    "sha512=fcbcd1d3b239d3c5974f8c05205cfdb5e3296a86f81e5c8e8ec2fb09928bdf13649eefd23ac671353e9d827a6a3c2515ce7b0b4c07aac24299c1ab1f3079c778"
+  ]
+  [
+    "0001-Windows-allow-and-as-path-separator.patch"
+    "sha512=66362042f141c0ebba96280d01effe4da3b0921900217188b8c4de1cb7d85f347f90f6128817f574b8cc08d8d57fe552aecccf36c67a1419b0795cb32cfd0a4b"
+  ]
+  [
+    "findlib-1.9.5.patch"
+    "sha512=ef85072123de333347d0a4113fd9faf98b14326d8ecf1640f0d89baa87ad07e69140a414fcee7d67353644fc06c124838f4f074296cb8590072216a1e73ed4ac"
+  ]
+]