{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":36358514,"defaultBranch":"master","name":"opam","ownerLogin":"coq","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-05-27T09:58:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/621198?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1721744058.0","currentOid":""},"activityList":{"items":[{"before":"d034d59f9494c228ec252550f4b751906de86a92","after":"88582141e34af3ce2b3fedd9be25bb52d87c5d08","ref":"refs/heads/master","pushedAt":"2024-09-06T14:41:11.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #3153 from proux01/820-release\n\nRelease Coq 8.20","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2505142327\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3153\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3153/hovercard\" href=\"https://github.com/coq/opam/pull/3153\">#3153</a> from proux01/820-release"}},{"before":"f6caf264b7701938fbff624b5336d19b96e73575","after":"d034d59f9494c228ec252550f4b751906de86a92","ref":"refs/heads/master","pushedAt":"2024-09-06T08:07:32.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #2984 from liyishuai/itree-extra.dev\n\nAdd coq-itree-extra.dev","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2187845030\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/2984\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/2984/hovercard\" href=\"https://github.com/coq/opam/pull/2984\">#2984</a> from liyishuai/itree-extra.dev"}},{"before":"7660c01bc4317efdb0d5d9fa4a23f2ddef697c32","after":"f6caf264b7701938fbff624b5336d19b96e73575","ref":"refs/heads/master","pushedAt":"2024-09-06T06:40:02.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3154 from liyishuai/opam-publish-coq-ext-lib.0.12.2\n\nPackage coq-ext-lib.0.12.2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2506714573\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3154\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3154/hovercard\" href=\"https://github.com/coq/opam/pull/3154\">#3154</a> from liyishuai/opam-publish-coq-ext-lib.0.12.2"}},{"before":"81493dc231f20652b6aa094915ae239383ed47b6","after":"7660c01bc4317efdb0d5d9fa4a23f2ddef697c32","ref":"refs/heads/master","pushedAt":"2024-09-04T09:33:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"Merge pull request #3152 from liyishuai/patch-2\n\nITree: requires Dune 3.14","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2503206074\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3152\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3152/hovercard\" href=\"https://github.com/coq/opam/pull/3152\">#3152</a> from liyishuai/patch-2"}},{"before":"bfe96810ffc626ff20238a037f5a0fea47454c2d","after":"81493dc231f20652b6aa094915ae239383ed47b6","ref":"refs/heads/master","pushedAt":"2024-08-30T09:50:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3151 from palmskog/add-serapi-8.20\n\nadd coq-serapi.8.20+rc1+0.20.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2496600419\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3151\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3151/hovercard\" href=\"https://github.com/coq/opam/pull/3151\">#3151</a> from palmskog/add-serapi-8.20"}},{"before":"9721f9edf1ba759f99ed390555b364d68bae3922","after":"bfe96810ffc626ff20238a037f5a0fea47454c2d","ref":"refs/heads/master","pushedAt":"2024-08-28T13:04:55.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3149 from 1DGW/master\n\na formalization of axiomatic reals based on Morse-Kelley set theory","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2487234096\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3149\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3149/hovercard\" href=\"https://github.com/coq/opam/pull/3149\">#3149</a> from 1DGW/master"}},{"before":"28b5281feae49e5ebb0c360027d4adde7647e598","after":"9721f9edf1ba759f99ed390555b364d68bae3922","ref":"refs/heads/master","pushedAt":"2024-08-28T13:01:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"silene","name":"Guillaume Melquiond","path":"/silene","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1674458?s=80&v=4"},"commit":{"message":"Kruskal Trees, Finite and Almostfull: split clean Makefile target (#3150)\n\n* updating theories/Makefile to split clean into clean/mrproper\r\n\r\n* update Kruskal-Almostfull and hence coq-kruskal-almostfull-1.1/opam to account for an issue with inferred types in Coq-8.15.2\r\n\r\n* update coq-kruskal-{fan,higman} for split clean -> clean/mrproper\r\n\r\n* updating coq-kruskal-{veldman,theorems} for clean -> clean/mrproper split","shortMessageHtmlLink":"Kruskal Trees, Finite and Almostfull: split clean Makefile target (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2489634260\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3150\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3150/hovercard\" href=\"https://github.com/coq/opam/pull/3150\">#3150</a>"}},{"before":"a2393791ffa1d9eedaa03a2aa47d2d97f1dae17c","after":"28b5281feae49e5ebb0c360027d4adde7647e598","ref":"refs/heads/master","pushedAt":"2024-08-26T15:08:39.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mattam82","name":"Matthieu Sozeau","path":"/mattam82","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/98373?s=80&v=4"},"commit":{"message":"Merge pull request #3148 from mattam82/metacoq-1.3.2-8.20\n\nMetaCoq 1.3.2 for Coq 8.20","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2486237711\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3148\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3148/hovercard\" href=\"https://github.com/coq/opam/pull/3148\">#3148</a> from mattam82/metacoq-1.3.2-8.20"}},{"before":"c7a9af9d22cb7270469e3951be6de093fd48e089","after":"a2393791ffa1d9eedaa03a2aa47d2d97f1dae17c","ref":"refs/heads/master","pushedAt":"2024-08-11T17:29:23.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3143 from palmskog/comp-dec-modal-metadata\n\nfix metadata for coq-comp-dec-modal.1.2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2459637719\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3143\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3143/hovercard\" href=\"https://github.com/coq/opam/pull/3143\">#3143</a> from palmskog/comp-dec-modal-metadata"}},{"before":"1b47e9477d93d3cb2933278f3c9b756df6594cd8","after":"c7a9af9d22cb7270469e3951be6de093fd48e089","ref":"refs/heads/master","pushedAt":"2024-08-11T13:35:45.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3142 from palmskog/gaia-2.2\n\nadd gaia 2.2 packages","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2459560382\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3142\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3142/hovercard\" href=\"https://github.com/coq/opam/pull/3142\">#3142</a> from palmskog/gaia-2.2"}},{"before":"654f540ce826827b5806ea93a7cef036c99810a8","after":"1b47e9477d93d3cb2933278f3c9b756df6594cd8","ref":"refs/heads/master","pushedAt":"2024-08-11T10:53:32.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3141 from palmskog/mmaps-1.1-8.20\n\nbackwards-compatible patch to make coq-mmaps.1.1 work with Coq 8.20","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2459521980\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3141\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3141/hovercard\" href=\"https://github.com/coq/opam/pull/3141\">#3141</a> from palmskog/mmaps-1.1-8.20"}},{"before":"3fe0928bcb330cde58c3c2aab51c6166b0f3e4e9","after":"654f540ce826827b5806ea93a7cef036c99810a8","ref":"refs/heads/master","pushedAt":"2024-08-10T09:25:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Add itauto for 8.20 (#3140)\n\nadd coq-itauto.8.20.0","shortMessageHtmlLink":"Add itauto for 8.20 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2458720235\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3140\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3140/hovercard\" href=\"https://github.com/coq/opam/pull/3140\">#3140</a>)"}},{"before":"9c21a9eb3eb1795ddbe37d9528a1c973236ec9a8","after":"3fe0928bcb330cde58c3c2aab51c6166b0f3e4e9","ref":"refs/heads/master","pushedAt":"2024-08-09T19:50:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3139 from palmskog/avoid-version-analysis-1.3.0\n\navoid-version flag for coq-mathcomp-analysis.1.3.0 due to risk of universe inconsistencies","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2458451369\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3139\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3139/hovercard\" href=\"https://github.com/coq/opam/pull/3139\">#3139</a> from palmskog/avoid-version-analysis-1.3.0"}},{"before":"fa88a3983b6ade6f5490cc1cd82cc12967931238","after":"9c21a9eb3eb1795ddbe37d9528a1c973236ec9a8","ref":"refs/heads/master","pushedAt":"2024-08-09T18:19:29.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3138 from affeldt-aist/mathcomp-analysis-1.3.1\n\nrelease MathComp-Analysis 1.3.1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2458163490\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3138\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3138/hovercard\" href=\"https://github.com/coq/opam/pull/3138\">#3138</a> from affeldt-aist/mathcomp-analysis-1.3.1"}},{"before":"9198bb42c02d98eb0eb1a88d12630512d61dbd4a","after":"fa88a3983b6ade6f5490cc1cd82cc12967931238","ref":"refs/heads/master","pushedAt":"2024-08-09T07:19:47.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3137 from affeldt-aist/analysis.1.3.0\n\nrelease MathComp-Analysis 1.3.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2451059964\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3137\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3137/hovercard\" href=\"https://github.com/coq/opam/pull/3137\">#3137</a> from affeldt-aist/analysis.1.3.0"}},{"before":"dc745c309cd4589acdb82e282bb3f22aacafab10","after":"9198bb42c02d98eb0eb1a88d12630512d61dbd4a","ref":"refs/heads/master","pushedAt":"2024-08-05T22:39:25.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3136 from pi8027/fix-real-closed-2.0.1\n\nFix the dependencies of coq-mathcomp-real-closed.2.0.1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2449548370\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3136\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3136/hovercard\" href=\"https://github.com/coq/opam/pull/3136\">#3136</a> from pi8027/fix-real-closed-2.0.1"}},{"before":"ddb206447f90ee66eb3dd08d6d2d567051105c07","after":"dc745c309cd4589acdb82e282bb3f22aacafab10","ref":"refs/heads/master","pushedAt":"2024-08-02T09:51:41.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3135 from palmskog/deriving-8.20\n\ncoq-deriving.0.2.0 works on Coq 8.20","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2444409448\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3135\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3135/hovercard\" href=\"https://github.com/coq/opam/pull/3135\">#3135</a> from palmskog/deriving-8.20"}},{"before":"92e8f23c35dd410e1eca7b824bcd8d240f22c96e","after":"ddb206447f90ee66eb3dd08d6d2d567051105c07","ref":"refs/heads/master","pushedAt":"2024-08-02T09:35:24.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3134 from palmskog/quickchick-2.0.3-8.20\n\ncoq-quickchick.2.0.3 doesn't work on Coq 8.20","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2444388727\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3134\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3134/hovercard\" href=\"https://github.com/coq/opam/pull/3134\">#3134</a> from palmskog/quickchick-2.0.3-8.20"}},{"before":"929874ff7b0c7639650bb8c16b226b46b787e356","after":"92e8f23c35dd410e1eca7b824bcd8d240f22c96e","ref":"refs/heads/master","pushedAt":"2024-08-02T08:50:14.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3133 from palmskog/relation-algebra-1.7.10-8.20\n\ncoq-relation-algebra.1.7.10 does not work on Coq 8.20","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2444374465\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3133\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3133/hovercard\" href=\"https://github.com/coq/opam/pull/3133\">#3133</a> from palmskog/relation-algebra-1.7.10-8.20"}},{"before":"c9adb937cac2fcd54d21403b80e71042f5367ea4","after":"929874ff7b0c7639650bb8c16b226b46b787e356","ref":"refs/heads/master","pushedAt":"2024-08-02T08:29:08.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3132 from palmskog/ott-0.33-8.20\n\ncoq-ott.0.33 works on Coq 8.20","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2444357821\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3132\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3132/hovercard\" href=\"https://github.com/coq/opam/pull/3132\">#3132</a> from palmskog/ott-0.33-8.20"}},{"before":"277bdb9981a14e9b33b6196fbd4ad8a56601f430","after":"c9adb937cac2fcd54d21403b80e71042f5367ea4","ref":"refs/heads/master","pushedAt":"2024-07-31T11:37:01.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3131 from palmskog/analysis-0.7.0-8.20\n\npatch coq-mathcomp-analysis.0.7.0 for Coq 8.20","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2439633529\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3131\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3131/hovercard\" href=\"https://github.com/coq/opam/pull/3131\">#3131</a> from palmskog/analysis-0.7.0-8.20"}},{"before":"0f6644aaa786a2105fd4dc98197d13ccaf92baa2","after":"277bdb9981a14e9b33b6196fbd4ad8a56601f430","ref":"refs/heads/master","pushedAt":"2024-07-31T07:13:32.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"Merge pull request #3128 from coqelpibot/opam-publish-coq-elpi.2.2.3\n\nPackage coq-elpi.2.2.3","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2437769857\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3128\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3128/hovercard\" href=\"https://github.com/coq/opam/pull/3128\">#3128</a> from coqelpibot/opam-publish-coq-elpi.2.2.3"}},{"before":"2a7933e350762019fc349fd5721d8592c91882b7","after":"0f6644aaa786a2105fd4dc98197d13ccaf92baa2","ref":"refs/heads/master","pushedAt":"2024-07-30T16:56:19.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3129 from palmskog/coqeal-8.20\n\ncoq-coqeal.2.0.2 works on Coq 8.20","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2438141143\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3129\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3129/hovercard\" href=\"https://github.com/coq/opam/pull/3129\">#3129</a> from palmskog/coqeal-8.20"}},{"before":"da31081d92be5daf09c75485022ec57ac9cf2a61","after":"2a7933e350762019fc349fd5721d8592c91882b7","ref":"refs/heads/master","pushedAt":"2024-07-30T16:35:13.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3130 from palmskog/coqprime-8.20\n\ncoq-coqprime.1.5.0 works on Coq 8.20","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2438149382\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3130\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3130/hovercard\" href=\"https://github.com/coq/opam/pull/3130\">#3130</a> from palmskog/coqprime-8.20"}},{"before":"d4f2ec5c8a9f1d6c5eeb555d810ae537e11726c2","after":"da31081d92be5daf09c75485022ec57ac9cf2a61","ref":"refs/heads/master","pushedAt":"2024-07-30T11:03:25.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3127 from palmskog/real-closed-2.0.1\n\nadd coq-mathcomp-real-closed.2.0.1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2437476032\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3127\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3127/hovercard\" href=\"https://github.com/coq/opam/pull/3127\">#3127</a> from palmskog/real-closed-2.0.1"}},{"before":"535c58086545193cb849588909120f560a6de2f7","after":"d4f2ec5c8a9f1d6c5eeb555d810ae537e11726c2","ref":"refs/heads/master","pushedAt":"2024-07-30T10:46:01.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3126 from palmskog/vst-lib-lt-3\n\ncoq-vst-lib.2.12 and coq-vst-lib.2.13 are not compatible with VST 3","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2437293941\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3126\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3126/hovercard\" href=\"https://github.com/coq/opam/pull/3126\">#3126</a> from palmskog/vst-lib-lt-3"}},{"before":"8fa4f8c57bbdb08ed6424105a6d4cce986629131","after":"535c58086545193cb849588909120f560a6de2f7","ref":"refs/heads/master","pushedAt":"2024-07-30T08:15:08.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3125 from palmskog/vst-2.14-8.20\n\ncoq-vst-zlist.2.13, coq-vst.2.14, coq-vst-lib.2.14, coq-vcfloat.2.2 work on Coq 8.20","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2436530556\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3125\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3125/hovercard\" href=\"https://github.com/coq/opam/pull/3125\">#3125</a> from palmskog/vst-2.14-8.20"}},{"before":"7f198c12df5228d5f202dbe0b5f8a516a213d950","after":"8fa4f8c57bbdb08ed6424105a6d4cce986629131","ref":"refs/heads/master","pushedAt":"2024-07-29T22:08:55.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3124 from palmskog/compcert-3.14-8.20\n\ncoq-compcert.3.14, 3.13.1 work on Coq 8.20","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2436356630\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3124\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3124/hovercard\" href=\"https://github.com/coq/opam/pull/3124\">#3124</a> from palmskog/compcert-3.14-8.20"}},{"before":"d83d9e7e7524eb8f8de5328d6f21dbada9bdfd4f","after":"7f198c12df5228d5f202dbe0b5f8a516a213d950","ref":"refs/heads/master","pushedAt":"2024-07-29T19:39:33.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3123 from inQWIRE/quantumlib-1.5.1\n\nAdd Quantumlib 1.5.1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2436166224\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3123\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3123/hovercard\" href=\"https://github.com/coq/opam/pull/3123\">#3123</a> from inQWIRE/quantumlib-1.5.1"}},{"before":"526a7343fe5f51f0bab2ab70bd2f2e2e3a1f8cd3","after":"d83d9e7e7524eb8f8de5328d6f21dbada9bdfd4f","ref":"refs/heads/master","pushedAt":"2024-07-28T16:55:17.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #3122 from palmskog/vcfloat-2.1.1-interval-fix\n\ncoq-vcfloat.2.1.1 doesn't work with coq-interval.4.10.0 and later","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2433591207\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/opam/issues/3122\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/opam/pull/3122/hovercard\" href=\"https://github.com/coq/opam/pull/3122\">#3122</a> from palmskog/vcfloat-2.1.1-interval-fix"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAErweO8QA","startCursor":null,"endCursor":null}},"title":"Activity · coq/opam"}