{"id":31601,"name":"deps/coqutil","ecosystem":"submodules","repository_url":null,"issues_count":11,"created_at":"2025-06-07T10:37:02.983Z","updated_at":"2025-06-07T10:37:02.983Z","purl":"pkg:submodules/deps/coqutil","unique_repositories_count":1,"unique_repositories_count_past_30_days":1,"recent_issues":[{"uuid":"2880446611","node_id":"PR_kwDOCBD1oM6rsCCT","number":495,"state":"open","title":"Bump deps/coqutil from `b8bb9bc` to `22c2e09`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-10-02T05:02:57.000Z","updated_at":"2025-10-02T05:02:58.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`b8bb9bc`","new_version":"`22c2e09`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `b8bb9bc` to `22c2e09`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/22c2e096a5898cd621eba39a576d82f5778c8d55\"\u003e\u003ccode\u003e22c2e09\u003c/code\u003e\u003c/a\u003e cancel: remove equal clauses for impl1 (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/145\"\u003e#145\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/b8bb9bcc6ff19b6bad060323d822bc8e2058bee0...22c2e096a5898cd621eba39a576d82f5778c8d55\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/495","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/495","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/495/packages"},{"uuid":"2797272139","node_id":"PR_kwDOCBD1oM6muvxL","number":489,"state":"closed","title":"Bump deps/coqutil from `c59c43d` to `7776b9c`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-03T21:57:21.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-03T21:16:12.000Z","updated_at":"2025-09-03T21:57:21.000Z","time_to_close":2469,"merged_at":"2025-09-03T21:57:21.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`c59c43d`","new_version":"`7776b9c`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `c59c43d` to `7776b9c`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/7776b9cd08ee3f2f24ebec262c60b0f4f02e5a6e\"\u003e\u003ccode\u003e7776b9c\u003c/code\u003e\u003c/a\u003e Use -j$(nproc) in coq-docker.yml (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/144\"\u003e#144\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/c59c43daf4881f0b8f8d5d47f4d4c2a575fb63bc...7776b9cd08ee3f2f24ebec262c60b0f4f02e5a6e\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/489","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/489","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/489/packages"},{"uuid":"2776604652","node_id":"PR_kwDOCBD1oM6lf5_s","number":483,"state":"closed","title":"Bump deps/coqutil from `1f7c323` to `fa86e6b`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-08-26T23:43:28.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-26T22:34:08.000Z","updated_at":"2025-08-26T23:43:28.000Z","time_to_close":4160,"merged_at":"2025-08-26T23:43:28.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`1f7c323`","new_version":"`fa86e6b`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `1f7c323` to `fa86e6b`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/fa86e6b8dff110b481c24b02063a9ef78850aa6b\"\u003e\u003ccode\u003efa86e6b\u003c/code\u003e\u003c/a\u003e Fix or silence warnings (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/139\"\u003e#139\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/210ca4327d8365581e7415318c5a010baf092f2d\"\u003e\u003ccode\u003e210ca43\u003c/code\u003e\u003c/a\u003e Delete CI job for coq 8.18 using jgross PPA (coq.yml)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/a1ebc48f1d39a69a439d513694d59ba95c1ecb5b\"\u003e\u003ccode\u003ea1ebc48\u003c/code\u003e\u003c/a\u003e Add CI test against latest Debian testing (currently 8.20)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/2b73c360ec348dd1ced78c5af2cb95fcc415f357\"\u003e\u003ccode\u003e2b73c36\u003c/code\u003e\u003c/a\u003e Add use_sep_assumption_impl (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/138\"\u003e#138\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/1f7c323c1dfe96498019e2d9a159337deb1b436e...fa86e6b8dff110b481c24b02063a9ef78850aa6b\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/483","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/483","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/483/packages"},{"uuid":"2572545115","node_id":"PR_kwDOCBD1oM6ZVexb","number":466,"state":"closed","title":"Bump deps/coqutil from `bebb5e6` to `fe6b205`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-06-17T07:23:53.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-06T05:50:42.000Z","updated_at":"2025-06-17T07:23:53.000Z","time_to_close":955991,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`bebb5e6`","new_version":"`fe6b205`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `bebb5e6` to `fe6b205`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/fe6b2050346495f72b5668b3db2e6fd94446fefc\"\u003e\u003ccode\u003efe6b205\u003c/code\u003e\u003c/a\u003e absolutize some imports (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/134\"\u003e#134\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/a23fdad5d57e9b1ce43cac0736b7982052f5ffd5\"\u003e\u003ccode\u003ea23fdad\u003c/code\u003e\u003c/a\u003e import Memory and some lemmas from bedrock2 (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/133\"\u003e#133\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/bebb5e68cbdb4bed579d6733612e90edab2b844f...fe6b2050346495f72b5668b3db2e6fd94446fefc\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/466","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/466","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/466/packages"},{"uuid":"3119851352","node_id":"PR_kwDOCBD1oM6ZIYVF","number":464,"state":"closed","title":"Bump deps/coqutil from `bebb5e6` to `a23fdad`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-06-06T05:50:44.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-05T05:03:51.000Z","updated_at":"2025-06-06T05:50:45.000Z","time_to_close":89213,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`bebb5e6`","new_version":"`a23fdad`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `bebb5e6` to `a23fdad`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/a23fdad5d57e9b1ce43cac0736b7982052f5ffd5\"\u003e\u003ccode\u003ea23fdad\u003c/code\u003e\u003c/a\u003e import Memory and some lemmas from bedrock2 (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/133\"\u003e#133\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/bebb5e68cbdb4bed579d6733612e90edab2b844f...a23fdad5d57e9b1ce43cac0736b7982052f5ffd5\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/464","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/464","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/464/packages"},{"uuid":"2566158644","node_id":"PR_kwDOCBD1oM6Y9Hk0","number":463,"state":"closed","title":"Bump deps/coqutil from `3bd1bb3` to `bebb5e6`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-06-04T06:44:23.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-04T05:34:00.000Z","updated_at":"2025-06-04T06:44:23.000Z","time_to_close":4223,"merged_at":"2025-06-04T06:44:23.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`3bd1bb3`","new_version":"`bebb5e6`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `3bd1bb3` to `bebb5e6`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/bebb5e68cbdb4bed579d6733612e90edab2b844f\"\u003e\u003ccode\u003ebebb5e6\u003c/code\u003e\u003c/a\u003e add alpine CI (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/132\"\u003e#132\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/cf11881ed06ba2376803060797f1f888e86a57f0\"\u003e\u003ccode\u003ecf11881\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/130\"\u003e#130\u003c/a\u003e from tchajed/fix-undo-warning\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/c316027eeec783fe46bbb24c07b5d4598df85886\"\u003e\u003ccode\u003ec316027\u003c/code\u003e\u003c/a\u003e Suppress Undo warning in batch mode\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/3bd1bb3e58c1a5885a179732e81765ce2ae5f074...bebb5e68cbdb4bed579d6733612e90edab2b844f\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/463","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/463","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/463/packages"},{"uuid":"2551211952","node_id":"PR_kwDOCBD1oM6YEGew","number":460,"state":"closed","title":"Bump deps/coqutil from `3bd1bb3` to `cf11881`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-06-04T05:34:02.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-29T05:41:47.000Z","updated_at":"2025-06-04T05:34:02.000Z","time_to_close":517935,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`3bd1bb3`","new_version":"`cf11881`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `3bd1bb3` to `cf11881`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/cf11881ed06ba2376803060797f1f888e86a57f0\"\u003e\u003ccode\u003ecf11881\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/130\"\u003e#130\u003c/a\u003e from tchajed/fix-undo-warning\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/c316027eeec783fe46bbb24c07b5d4598df85886\"\u003e\u003ccode\u003ec316027\u003c/code\u003e\u003c/a\u003e Suppress Undo warning in batch mode\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/3bd1bb3e58c1a5885a179732e81765ce2ae5f074...cf11881ed06ba2376803060797f1f888e86a57f0\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/460","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/460","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/460/packages"},{"uuid":"2508645497","node_id":"PR_kwDOCBD1oM6VhuR5","number":458,"state":"closed","title":"Bump deps/coqutil from `4597335` to `3bd1bb3`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-05-09T22:06:23.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-09T05:03:27.000Z","updated_at":"2025-05-09T22:06:23.000Z","time_to_close":61376,"merged_at":"2025-05-09T22:06:23.000Z","merged_by":"andres-erbsen","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`4597335`","new_version":"`3bd1bb3`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `4597335` to `3bd1bb3`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/3bd1bb3e58c1a5885a179732e81765ce2ae5f074\"\u003e\u003ccode\u003e3bd1bb3\u003c/code\u003e\u003c/a\u003e add word.broadcast and lemmas (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/129\"\u003e#129\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/45973359d1bf1189e36bb45ccef73c904eb1d1a0...3bd1bb3e58c1a5885a179732e81765ce2ae5f074\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/458","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/458","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/458/packages"},{"uuid":"2902026542","node_id":"PR_kwDOCBD1oM6NuYvb","number":450,"state":"closed","title":"Bump deps/coqutil from `2cbceef` to `4597335`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":3,"pull_request":true,"closed_at":"2025-05-09T05:03:29.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-03-07T05:11:58.000Z","updated_at":"2025-05-09T05:03:30.000Z","time_to_close":5442691,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`2cbceef`","new_version":"`4597335`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `2cbceef` to `4597335`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/45973359d1bf1189e36bb45ccef73c904eb1d1a0\"\u003e\u003ccode\u003e4597335\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/128\"\u003e#128\u003c/a\u003e from tchajed/from-require\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/27a3a84e2124d29a55c6121e026cd4d508addeaa\"\u003e\u003ccode\u003e27a3a84\u003c/code\u003e\u003c/a\u003e use -Q instead of -R\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/1fc732c62a7f98cc05145573d1bced09ba1c9a28\"\u003e\u003ccode\u003e1fc732c\u003c/code\u003e\u003c/a\u003e Add From coqutil to imports\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/1d35449ca6c46756f87132a8db5cd8cbdef87c96\"\u003e\u003ccode\u003e1d35449\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/127\"\u003e#127\u003c/a\u003e from mit-plv/pyrosome_utils\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/624ce7eb0cf4701dcecd00826a445494d2f84252\"\u003e\u003ccode\u003e624ce7e\u003c/code\u003e\u003c/a\u003e Move DecidableEq back to pyrosome since it's not advised for use\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/52096e4e9f338ce988bbbc39ee442b086ebc02bb\"\u003e\u003ccode\u003e52096e4\u003c/code\u003e\u003c/a\u003e Fix compatibility with coq 8.18\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/6411021c1e728088a14636f8d61bdbf54987a8d6\"\u003e\u003ccode\u003e6411021\u003c/code\u003e\u003c/a\u003e Add Eqb class, rewrite dbs, and some tactics from Pyrosome\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/ac8490b3648b8b5b66eea40b148b749d4d8ae2bc\"\u003e\u003ccode\u003eac8490b\u003c/code\u003e\u003c/a\u003e document SeparationLogic (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/125\"\u003e#125\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/2cbceef39d15c0a824c74f27c91889d0eae3d711...45973359d1bf1189e36bb45ccef73c904eb1d1a0\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/450","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/450","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/450/packages"}],"issue_packages":[{"old_version":"`b8bb9bc`","new_version":"`22c2e09`","update_type":null,"path":null,"pr_created_at":"2025-10-02T05:02:57.000Z","version_change":"`b8bb9bc` → `22c2e09`","issue":{"uuid":"2880446611","node_id":"PR_kwDOCBD1oM6rsCCT","number":495,"state":"open","title":"Bump deps/coqutil from `b8bb9bc` to `22c2e09`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-10-02T05:02:57.000Z","updated_at":"2025-10-02T05:02:58.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`b8bb9bc`","new_version":"`22c2e09`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `b8bb9bc` to `22c2e09`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/22c2e096a5898cd621eba39a576d82f5778c8d55\"\u003e\u003ccode\u003e22c2e09\u003c/code\u003e\u003c/a\u003e cancel: remove equal clauses for impl1 (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/145\"\u003e#145\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/b8bb9bcc6ff19b6bad060323d822bc8e2058bee0...22c2e096a5898cd621eba39a576d82f5778c8d55\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/495","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/495","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/495/packages"}},{"old_version":"`c59c43d`","new_version":"`7776b9c`","update_type":null,"path":null,"pr_created_at":"2025-09-03T21:16:12.000Z","version_change":"`c59c43d` → `7776b9c`","issue":{"uuid":"2797272139","node_id":"PR_kwDOCBD1oM6muvxL","number":489,"state":"closed","title":"Bump deps/coqutil from `c59c43d` to `7776b9c`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-03T21:57:21.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-03T21:16:12.000Z","updated_at":"2025-09-03T21:57:21.000Z","time_to_close":2469,"merged_at":"2025-09-03T21:57:21.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`c59c43d`","new_version":"`7776b9c`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `c59c43d` to `7776b9c`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/7776b9cd08ee3f2f24ebec262c60b0f4f02e5a6e\"\u003e\u003ccode\u003e7776b9c\u003c/code\u003e\u003c/a\u003e Use -j$(nproc) in coq-docker.yml (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/144\"\u003e#144\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/c59c43daf4881f0b8f8d5d47f4d4c2a575fb63bc...7776b9cd08ee3f2f24ebec262c60b0f4f02e5a6e\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/489","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/489","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/489/packages"}},{"old_version":"`1f7c323`","new_version":"`fa86e6b`","update_type":null,"path":null,"pr_created_at":"2025-08-26T22:34:08.000Z","version_change":"`1f7c323` → `fa86e6b`","issue":{"uuid":"2776604652","node_id":"PR_kwDOCBD1oM6lf5_s","number":483,"state":"closed","title":"Bump deps/coqutil from `1f7c323` to `fa86e6b`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-08-26T23:43:28.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-26T22:34:08.000Z","updated_at":"2025-08-26T23:43:28.000Z","time_to_close":4160,"merged_at":"2025-08-26T23:43:28.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`1f7c323`","new_version":"`fa86e6b`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `1f7c323` to `fa86e6b`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/fa86e6b8dff110b481c24b02063a9ef78850aa6b\"\u003e\u003ccode\u003efa86e6b\u003c/code\u003e\u003c/a\u003e Fix or silence warnings (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/139\"\u003e#139\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/210ca4327d8365581e7415318c5a010baf092f2d\"\u003e\u003ccode\u003e210ca43\u003c/code\u003e\u003c/a\u003e Delete CI job for coq 8.18 using jgross PPA (coq.yml)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/a1ebc48f1d39a69a439d513694d59ba95c1ecb5b\"\u003e\u003ccode\u003ea1ebc48\u003c/code\u003e\u003c/a\u003e Add CI test against latest Debian testing (currently 8.20)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/2b73c360ec348dd1ced78c5af2cb95fcc415f357\"\u003e\u003ccode\u003e2b73c36\u003c/code\u003e\u003c/a\u003e Add use_sep_assumption_impl (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/138\"\u003e#138\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/1f7c323c1dfe96498019e2d9a159337deb1b436e...fa86e6b8dff110b481c24b02063a9ef78850aa6b\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/483","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/483","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/483/packages"}},{"old_version":"`bebb5e6`","new_version":"`fe6b205`","update_type":null,"path":null,"pr_created_at":"2025-06-06T05:50:42.000Z","version_change":"`bebb5e6` → `fe6b205`","issue":{"uuid":"2572545115","node_id":"PR_kwDOCBD1oM6ZVexb","number":466,"state":"closed","title":"Bump deps/coqutil from `bebb5e6` to `fe6b205`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-06-17T07:23:53.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-06T05:50:42.000Z","updated_at":"2025-06-17T07:23:53.000Z","time_to_close":955991,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`bebb5e6`","new_version":"`fe6b205`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `bebb5e6` to `fe6b205`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/fe6b2050346495f72b5668b3db2e6fd94446fefc\"\u003e\u003ccode\u003efe6b205\u003c/code\u003e\u003c/a\u003e absolutize some imports (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/134\"\u003e#134\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/a23fdad5d57e9b1ce43cac0736b7982052f5ffd5\"\u003e\u003ccode\u003ea23fdad\u003c/code\u003e\u003c/a\u003e import Memory and some lemmas from bedrock2 (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/133\"\u003e#133\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/bebb5e68cbdb4bed579d6733612e90edab2b844f...fe6b2050346495f72b5668b3db2e6fd94446fefc\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/466","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/466","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/466/packages"}},{"old_version":"`bebb5e6`","new_version":"`a23fdad`","update_type":null,"path":null,"pr_created_at":"2025-06-05T05:03:51.000Z","version_change":"`bebb5e6` → `a23fdad`","issue":{"uuid":"3119851352","node_id":"PR_kwDOCBD1oM6ZIYVF","number":464,"state":"closed","title":"Bump deps/coqutil from `bebb5e6` to `a23fdad`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-06-06T05:50:44.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-05T05:03:51.000Z","updated_at":"2025-06-06T05:50:45.000Z","time_to_close":89213,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`bebb5e6`","new_version":"`a23fdad`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `bebb5e6` to `a23fdad`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/a23fdad5d57e9b1ce43cac0736b7982052f5ffd5\"\u003e\u003ccode\u003ea23fdad\u003c/code\u003e\u003c/a\u003e import Memory and some lemmas from bedrock2 (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/133\"\u003e#133\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/bebb5e68cbdb4bed579d6733612e90edab2b844f...a23fdad5d57e9b1ce43cac0736b7982052f5ffd5\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/464","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/464","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/464/packages"}},{"old_version":"`3bd1bb3`","new_version":"`bebb5e6`","update_type":null,"path":null,"pr_created_at":"2025-06-04T05:34:00.000Z","version_change":"`3bd1bb3` → `bebb5e6`","issue":{"uuid":"2566158644","node_id":"PR_kwDOCBD1oM6Y9Hk0","number":463,"state":"closed","title":"Bump deps/coqutil from `3bd1bb3` to `bebb5e6`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-06-04T06:44:23.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-04T05:34:00.000Z","updated_at":"2025-06-04T06:44:23.000Z","time_to_close":4223,"merged_at":"2025-06-04T06:44:23.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`3bd1bb3`","new_version":"`bebb5e6`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `3bd1bb3` to `bebb5e6`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/bebb5e68cbdb4bed579d6733612e90edab2b844f\"\u003e\u003ccode\u003ebebb5e6\u003c/code\u003e\u003c/a\u003e add alpine CI (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/132\"\u003e#132\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/cf11881ed06ba2376803060797f1f888e86a57f0\"\u003e\u003ccode\u003ecf11881\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/130\"\u003e#130\u003c/a\u003e from tchajed/fix-undo-warning\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/c316027eeec783fe46bbb24c07b5d4598df85886\"\u003e\u003ccode\u003ec316027\u003c/code\u003e\u003c/a\u003e Suppress Undo warning in batch mode\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/3bd1bb3e58c1a5885a179732e81765ce2ae5f074...bebb5e68cbdb4bed579d6733612e90edab2b844f\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/463","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/463","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/463/packages"}},{"old_version":"`3bd1bb3`","new_version":"`cf11881`","update_type":null,"path":null,"pr_created_at":"2025-05-29T05:41:47.000Z","version_change":"`3bd1bb3` → `cf11881`","issue":{"uuid":"2551211952","node_id":"PR_kwDOCBD1oM6YEGew","number":460,"state":"closed","title":"Bump deps/coqutil from `3bd1bb3` to `cf11881`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-06-04T05:34:02.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-29T05:41:47.000Z","updated_at":"2025-06-04T05:34:02.000Z","time_to_close":517935,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`3bd1bb3`","new_version":"`cf11881`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `3bd1bb3` to `cf11881`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/cf11881ed06ba2376803060797f1f888e86a57f0\"\u003e\u003ccode\u003ecf11881\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/130\"\u003e#130\u003c/a\u003e from tchajed/fix-undo-warning\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/c316027eeec783fe46bbb24c07b5d4598df85886\"\u003e\u003ccode\u003ec316027\u003c/code\u003e\u003c/a\u003e Suppress Undo warning in batch mode\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/3bd1bb3e58c1a5885a179732e81765ce2ae5f074...cf11881ed06ba2376803060797f1f888e86a57f0\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/460","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/460","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/460/packages"}},{"old_version":"`4597335`","new_version":"`3bd1bb3`","update_type":null,"path":null,"pr_created_at":"2025-05-09T05:03:27.000Z","version_change":"`4597335` → `3bd1bb3`","issue":{"uuid":"2508645497","node_id":"PR_kwDOCBD1oM6VhuR5","number":458,"state":"closed","title":"Bump deps/coqutil from `4597335` to `3bd1bb3`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-05-09T22:06:23.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-09T05:03:27.000Z","updated_at":"2025-05-09T22:06:23.000Z","time_to_close":61376,"merged_at":"2025-05-09T22:06:23.000Z","merged_by":"andres-erbsen","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`4597335`","new_version":"`3bd1bb3`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `4597335` to `3bd1bb3`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/3bd1bb3e58c1a5885a179732e81765ce2ae5f074\"\u003e\u003ccode\u003e3bd1bb3\u003c/code\u003e\u003c/a\u003e add word.broadcast and lemmas (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/129\"\u003e#129\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/45973359d1bf1189e36bb45ccef73c904eb1d1a0...3bd1bb3e58c1a5885a179732e81765ce2ae5f074\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/458","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/458","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/458/packages"}},{"old_version":"`2cbceef`","new_version":"`4597335`","update_type":null,"path":null,"pr_created_at":"2025-03-07T05:11:58.000Z","version_change":"`2cbceef` → `4597335`","issue":{"uuid":"2902026542","node_id":"PR_kwDOCBD1oM6NuYvb","number":450,"state":"closed","title":"Bump deps/coqutil from `2cbceef` to `4597335`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":3,"pull_request":true,"closed_at":"2025-05-09T05:03:29.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-03-07T05:11:58.000Z","updated_at":"2025-05-09T05:03:30.000Z","time_to_close":5442691,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"deps/coqutil","old_version":"`2cbceef`","new_version":"`4597335`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `2cbceef` to `4597335`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/45973359d1bf1189e36bb45ccef73c904eb1d1a0\"\u003e\u003ccode\u003e4597335\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/128\"\u003e#128\u003c/a\u003e from tchajed/from-require\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/27a3a84e2124d29a55c6121e026cd4d508addeaa\"\u003e\u003ccode\u003e27a3a84\u003c/code\u003e\u003c/a\u003e use -Q instead of -R\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/1fc732c62a7f98cc05145573d1bced09ba1c9a28\"\u003e\u003ccode\u003e1fc732c\u003c/code\u003e\u003c/a\u003e Add From coqutil to imports\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/1d35449ca6c46756f87132a8db5cd8cbdef87c96\"\u003e\u003ccode\u003e1d35449\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/127\"\u003e#127\u003c/a\u003e from mit-plv/pyrosome_utils\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/624ce7eb0cf4701dcecd00826a445494d2f84252\"\u003e\u003ccode\u003e624ce7e\u003c/code\u003e\u003c/a\u003e Move DecidableEq back to pyrosome since it's not advised for use\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/52096e4e9f338ce988bbbc39ee442b086ebc02bb\"\u003e\u003ccode\u003e52096e4\u003c/code\u003e\u003c/a\u003e Fix compatibility with coq 8.18\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/6411021c1e728088a14636f8d61bdbf54987a8d6\"\u003e\u003ccode\u003e6411021\u003c/code\u003e\u003c/a\u003e Add Eqb class, rewrite dbs, and some tactics from Pyrosome\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/ac8490b3648b8b5b66eea40b148b749d4d8ae2bc\"\u003e\u003ccode\u003eac8490b\u003c/code\u003e\u003c/a\u003e document SeparationLogic (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/125\"\u003e#125\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/2cbceef39d15c0a824c74f27c91889d0eae3d711...45973359d1bf1189e36bb45ccef73c904eb1d1a0\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/bedrock2/pull/450","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Fbedrock2/issues/450","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/450/packages"}}]}