{"id":32371,"name":"external/coqutil","ecosystem":"submodules","repository_url":null,"issues_count":11,"created_at":"2025-06-07T10:37:17.515Z","updated_at":"2025-06-07T10:37:17.515Z","purl":"pkg:submodules/external/coqutil","unique_repositories_count":2,"unique_repositories_count_past_30_days":2,"recent_issues":[{"uuid":"2801872604","node_id":"PR_kwDOPSBZtc6nAS7c","number":25,"state":"open","title":"Bump external/coqutil from `7776b9c` to `b8bb9bc`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-05T08:28:09.000Z","updated_at":"2025-09-05T08:28:10.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`7776b9c`","new_version":"`b8bb9bc`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/coqutil](https://github.com/mit-plv/coqutil) from `7776b9c` to `b8bb9bc`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/b8bb9bcc6ff19b6bad060323d822bc8e2058bee0\"\u003e\u003ccode\u003eb8bb9bc\u003c/code\u003e\u003c/a\u003e merge composed build\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/7776b9cd08ee3f2f24ebec262c60b0f4f02e5a6e...b8bb9bcc6ff19b6bad060323d822bc8e2058bee0\"\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/tlsomers/perennial/pull/25","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlsomers%2Fperennial/issues/25","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/25/packages"},{"uuid":"2801839498","node_id":"PR_kwDOClcaEM6nAK2K","number":356,"state":"closed","title":"build(deps): bump external/coqutil from `7776b9c` to `b8bb9bc`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-05T09:51:23.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-05T08:13:46.000Z","updated_at":"2025-09-05T09:51:23.000Z","time_to_close":5857,"merged_at":"2025-09-05T09:51:23.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"external/coqutil","old_version":"`7776b9c`","new_version":"`b8bb9bc`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/coqutil](https://github.com/mit-plv/coqutil) from `7776b9c` to `b8bb9bc`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/b8bb9bcc6ff19b6bad060323d822bc8e2058bee0\"\u003e\u003ccode\u003eb8bb9bc\u003c/code\u003e\u003c/a\u003e merge composed build\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/7776b9cd08ee3f2f24ebec262c60b0f4f02e5a6e...b8bb9bcc6ff19b6bad060323d822bc8e2058bee0\"\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-pdos/perennial/pull/356","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/356","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/356/packages"},{"uuid":"2797676373","node_id":"PR_kwDOClcaEM6mwSdV","number":354,"state":"closed","title":"build(deps): bump external/coqutil from `fa86e6b` to `7776b9c`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-09-05T08:13:49.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-04T01:14:54.000Z","updated_at":"2025-09-05T08:13:49.000Z","time_to_close":111535,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"external/coqutil","old_version":"`fa86e6b`","new_version":"`7776b9c`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/coqutil](https://github.com/mit-plv/coqutil) from `fa86e6b` 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\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/c59c43daf4881f0b8f8d5d47f4d4c2a575fb63bc\"\u003e\u003ccode\u003ec59c43d\u003c/code\u003e\u003c/a\u003e backtrack less in ecancel (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/143\"\u003e#143\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/fa86e6b8dff110b481c24b02063a9ef78850aa6b...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-pdos/perennial/pull/354","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/354","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/354/packages"},{"uuid":"2797578282","node_id":"PR_kwDOPSBZtc6mv6gq","number":23,"state":"open","title":"Bump external/coqutil from `fa86e6b` to `7776b9c`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-04T00:12:17.000Z","updated_at":"2025-09-04T00:12:17.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`fa86e6b`","new_version":"`7776b9c`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/coqutil](https://github.com/mit-plv/coqutil) from `fa86e6b` 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\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/c59c43daf4881f0b8f8d5d47f4d4c2a575fb63bc\"\u003e\u003ccode\u003ec59c43d\u003c/code\u003e\u003c/a\u003e backtrack less in ecancel (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/143\"\u003e#143\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/fa86e6b8dff110b481c24b02063a9ef78850aa6b...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/tlsomers/perennial/pull/23","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlsomers%2Fperennial/issues/23","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/23/packages"},{"uuid":"2776865456","node_id":"PR_kwDOPSBZtc6lg5qw","number":15,"state":"open","title":"Bump external/coqutil from `1f7c323` to `fa86e6b`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-27T01:09:27.000Z","updated_at":"2025-08-27T01:09:27.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`1f7c323`","new_version":"`fa86e6b`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/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/tlsomers/perennial/pull/15","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlsomers%2Fperennial/issues/15","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/15/packages"},{"uuid":"2666691380","node_id":"PR_kwDOClcaEM6e8ns0","number":298,"state":"closed","title":"Bump external/coqutil from `762ed62` to `1f7c323`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-07-15T10:51:13.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-15T09:16:34.000Z","updated_at":"2025-07-15T10:51:14.000Z","time_to_close":5679,"merged_at":"2025-07-15T10:51:13.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`762ed62`","new_version":"`1f7c323`","repository_url":null}],"path":null,"ecosystem":"submodules"},"body":"\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-pdos/perennial/pull/298","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/298","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/298/packages"},{"uuid":"2598089559","node_id":"PR_kwDOClcaEM6a27NX","number":270,"state":"open","title":"Bump external/coqutil from `fe6b205` to `762ed62`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-17T08:59:13.000Z","updated_at":"2025-06-17T08:59:14.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`fe6b205`","new_version":"`762ed62`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/coqutil](https://github.com/mit-plv/coqutil) from `fe6b205` to `762ed62`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/762ed629814d7b10abea4bb6dbeafec4bb125d90\"\u003e\u003ccode\u003e762ed62\u003c/code\u003e\u003c/a\u003e absolutize an import\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/fe6b2050346495f72b5668b3db2e6fd94446fefc...762ed629814d7b10abea4bb6dbeafec4bb125d90\"\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-pdos/perennial/pull/270","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/270","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/270/packages"},{"uuid":"2569534837","node_id":"PR_kwDOClcaEM6ZJ_11","number":265,"state":"closed","title":"Bump external/coqutil from `bebb5e6` to `a23fdad`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-06-05T11:50:03.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-05T08:32:34.000Z","updated_at":"2025-06-05T11:50:03.000Z","time_to_close":11849,"merged_at":"2025-06-05T11:50:03.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`bebb5e6`","new_version":"`a23fdad`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/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-pdos/perennial/pull/265","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/265","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/265/packages"},{"uuid":"2566582267","node_id":"PR_kwDOClcaEM6Y-u_7","number":262,"state":"closed","title":"Bump external/coqutil from `cf11881` to `bebb5e6`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-06-04T10:20:55.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-04T08:42:14.000Z","updated_at":"2025-06-04T10:20:55.000Z","time_to_close":5921,"merged_at":"2025-06-04T10:20:55.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`cf11881`","new_version":"`bebb5e6`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/coqutil](https://github.com/mit-plv/coqutil) from `cf11881` 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\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/cf11881ed06ba2376803060797f1f888e86a57f0...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-pdos/perennial/pull/262","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/262","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/262/packages"},{"uuid":"2551491799","node_id":"PR_kwDOClcaEM6YFKzX","number":260,"state":"open","title":"Bump external/coqutil from `3bd1bb3` to `cf11881`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-29T08:11:40.000Z","updated_at":"2025-05-29T08:11:41.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`3bd1bb3`","new_version":"`cf11881`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/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-pdos/perennial/pull/260","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/260","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/260/packages"},{"uuid":"2508953711","node_id":"PR_kwDOClcaEM6Vi5hv","number":245,"state":"closed","title":"Bump external/coqutil from `4597335` to `3bd1bb3`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-05-09T09:53:26.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-09T08:16:03.000Z","updated_at":"2025-05-09T09:53:26.000Z","time_to_close":5843,"merged_at":"2025-05-09T09:53:26.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`4597335`","new_version":"`3bd1bb3`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/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-pdos/perennial/pull/245","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/245","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/245/packages"}],"issue_packages":[{"old_version":"`7776b9c`","new_version":"`b8bb9bc`","update_type":null,"path":null,"pr_created_at":"2025-09-05T08:28:09.000Z","version_change":"`7776b9c` → `b8bb9bc`","issue":{"uuid":"2801872604","node_id":"PR_kwDOPSBZtc6nAS7c","number":25,"state":"open","title":"Bump external/coqutil from `7776b9c` to `b8bb9bc`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-05T08:28:09.000Z","updated_at":"2025-09-05T08:28:10.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`7776b9c`","new_version":"`b8bb9bc`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/coqutil](https://github.com/mit-plv/coqutil) from `7776b9c` to `b8bb9bc`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/b8bb9bcc6ff19b6bad060323d822bc8e2058bee0\"\u003e\u003ccode\u003eb8bb9bc\u003c/code\u003e\u003c/a\u003e merge composed build\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/7776b9cd08ee3f2f24ebec262c60b0f4f02e5a6e...b8bb9bcc6ff19b6bad060323d822bc8e2058bee0\"\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/tlsomers/perennial/pull/25","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlsomers%2Fperennial/issues/25","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/25/packages"}},{"old_version":"`7776b9c`","new_version":"`b8bb9bc`","update_type":null,"path":null,"pr_created_at":"2025-09-05T08:13:46.000Z","version_change":"`7776b9c` → `b8bb9bc`","issue":{"uuid":"2801839498","node_id":"PR_kwDOClcaEM6nAK2K","number":356,"state":"closed","title":"build(deps): bump external/coqutil from `7776b9c` to `b8bb9bc`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-05T09:51:23.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-05T08:13:46.000Z","updated_at":"2025-09-05T09:51:23.000Z","time_to_close":5857,"merged_at":"2025-09-05T09:51:23.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"external/coqutil","old_version":"`7776b9c`","new_version":"`b8bb9bc`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/coqutil](https://github.com/mit-plv/coqutil) from `7776b9c` to `b8bb9bc`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/b8bb9bcc6ff19b6bad060323d822bc8e2058bee0\"\u003e\u003ccode\u003eb8bb9bc\u003c/code\u003e\u003c/a\u003e merge composed build\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/7776b9cd08ee3f2f24ebec262c60b0f4f02e5a6e...b8bb9bcc6ff19b6bad060323d822bc8e2058bee0\"\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-pdos/perennial/pull/356","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/356","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/356/packages"}},{"old_version":"`fa86e6b`","new_version":"`7776b9c`","update_type":null,"path":null,"pr_created_at":"2025-09-04T01:14:54.000Z","version_change":"`fa86e6b` → `7776b9c`","issue":{"uuid":"2797676373","node_id":"PR_kwDOClcaEM6mwSdV","number":354,"state":"closed","title":"build(deps): bump external/coqutil from `fa86e6b` to `7776b9c`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-09-05T08:13:49.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-04T01:14:54.000Z","updated_at":"2025-09-05T08:13:49.000Z","time_to_close":111535,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"external/coqutil","old_version":"`fa86e6b`","new_version":"`7776b9c`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/coqutil](https://github.com/mit-plv/coqutil) from `fa86e6b` 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\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/c59c43daf4881f0b8f8d5d47f4d4c2a575fb63bc\"\u003e\u003ccode\u003ec59c43d\u003c/code\u003e\u003c/a\u003e backtrack less in ecancel (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/143\"\u003e#143\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/fa86e6b8dff110b481c24b02063a9ef78850aa6b...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-pdos/perennial/pull/354","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/354","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/354/packages"}},{"old_version":"`fa86e6b`","new_version":"`7776b9c`","update_type":null,"path":null,"pr_created_at":"2025-09-04T00:12:17.000Z","version_change":"`fa86e6b` → `7776b9c`","issue":{"uuid":"2797578282","node_id":"PR_kwDOPSBZtc6mv6gq","number":23,"state":"open","title":"Bump external/coqutil from `fa86e6b` to `7776b9c`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-04T00:12:17.000Z","updated_at":"2025-09-04T00:12:17.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`fa86e6b`","new_version":"`7776b9c`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/coqutil](https://github.com/mit-plv/coqutil) from `fa86e6b` 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\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/c59c43daf4881f0b8f8d5d47f4d4c2a575fb63bc\"\u003e\u003ccode\u003ec59c43d\u003c/code\u003e\u003c/a\u003e backtrack less in ecancel (\u003ca href=\"https://redirect.github.com/mit-plv/coqutil/issues/143\"\u003e#143\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/fa86e6b8dff110b481c24b02063a9ef78850aa6b...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/tlsomers/perennial/pull/23","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlsomers%2Fperennial/issues/23","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/23/packages"}},{"old_version":"`1f7c323`","new_version":"`fa86e6b`","update_type":null,"path":null,"pr_created_at":"2025-08-27T01:09:27.000Z","version_change":"`1f7c323` → `fa86e6b`","issue":{"uuid":"2776865456","node_id":"PR_kwDOPSBZtc6lg5qw","number":15,"state":"open","title":"Bump external/coqutil from `1f7c323` to `fa86e6b`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-27T01:09:27.000Z","updated_at":"2025-08-27T01:09:27.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`1f7c323`","new_version":"`fa86e6b`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/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/tlsomers/perennial/pull/15","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlsomers%2Fperennial/issues/15","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/15/packages"}},{"old_version":"`762ed62`","new_version":"`1f7c323`","update_type":null,"path":null,"pr_created_at":"2025-07-15T09:16:34.000Z","version_change":"`762ed62` → `1f7c323`","issue":{"uuid":"2666691380","node_id":"PR_kwDOClcaEM6e8ns0","number":298,"state":"closed","title":"Bump external/coqutil from `762ed62` to `1f7c323`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-07-15T10:51:13.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-15T09:16:34.000Z","updated_at":"2025-07-15T10:51:14.000Z","time_to_close":5679,"merged_at":"2025-07-15T10:51:13.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`762ed62`","new_version":"`1f7c323`","repository_url":null}],"path":null,"ecosystem":"submodules"},"body":"\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-pdos/perennial/pull/298","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/298","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/298/packages"}},{"old_version":"`fe6b205`","new_version":"`762ed62`","update_type":null,"path":null,"pr_created_at":"2025-06-17T08:59:13.000Z","version_change":"`fe6b205` → `762ed62`","issue":{"uuid":"2598089559","node_id":"PR_kwDOClcaEM6a27NX","number":270,"state":"open","title":"Bump external/coqutil from `fe6b205` to `762ed62`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-17T08:59:13.000Z","updated_at":"2025-06-17T08:59:14.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`fe6b205`","new_version":"`762ed62`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/coqutil](https://github.com/mit-plv/coqutil) from `fe6b205` to `762ed62`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/coqutil/commit/762ed629814d7b10abea4bb6dbeafec4bb125d90\"\u003e\u003ccode\u003e762ed62\u003c/code\u003e\u003c/a\u003e absolutize an import\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/fe6b2050346495f72b5668b3db2e6fd94446fefc...762ed629814d7b10abea4bb6dbeafec4bb125d90\"\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-pdos/perennial/pull/270","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/270","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/270/packages"}},{"old_version":"`bebb5e6`","new_version":"`a23fdad`","update_type":null,"path":null,"pr_created_at":"2025-06-05T08:32:34.000Z","version_change":"`bebb5e6` → `a23fdad`","issue":{"uuid":"2569534837","node_id":"PR_kwDOClcaEM6ZJ_11","number":265,"state":"closed","title":"Bump external/coqutil from `bebb5e6` to `a23fdad`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-06-05T11:50:03.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-05T08:32:34.000Z","updated_at":"2025-06-05T11:50:03.000Z","time_to_close":11849,"merged_at":"2025-06-05T11:50:03.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`bebb5e6`","new_version":"`a23fdad`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/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-pdos/perennial/pull/265","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/265","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/265/packages"}},{"old_version":"`cf11881`","new_version":"`bebb5e6`","update_type":null,"path":null,"pr_created_at":"2025-06-04T08:42:14.000Z","version_change":"`cf11881` → `bebb5e6`","issue":{"uuid":"2566582267","node_id":"PR_kwDOClcaEM6Y-u_7","number":262,"state":"closed","title":"Bump external/coqutil from `cf11881` to `bebb5e6`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-06-04T10:20:55.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-04T08:42:14.000Z","updated_at":"2025-06-04T10:20:55.000Z","time_to_close":5921,"merged_at":"2025-06-04T10:20:55.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`cf11881`","new_version":"`bebb5e6`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/coqutil](https://github.com/mit-plv/coqutil) from `cf11881` 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\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/coqutil/compare/cf11881ed06ba2376803060797f1f888e86a57f0...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-pdos/perennial/pull/262","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/262","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/262/packages"}},{"old_version":"`3bd1bb3`","new_version":"`cf11881`","update_type":null,"path":null,"pr_created_at":"2025-05-29T08:11:40.000Z","version_change":"`3bd1bb3` → `cf11881`","issue":{"uuid":"2551491799","node_id":"PR_kwDOClcaEM6YFKzX","number":260,"state":"open","title":"Bump external/coqutil from `3bd1bb3` to `cf11881`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-29T08:11:40.000Z","updated_at":"2025-05-29T08:11:41.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`3bd1bb3`","new_version":"`cf11881`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/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-pdos/perennial/pull/260","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/260","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/260/packages"}},{"old_version":"`4597335`","new_version":"`3bd1bb3`","update_type":null,"path":null,"pr_created_at":"2025-05-09T08:16:03.000Z","version_change":"`4597335` → `3bd1bb3`","issue":{"uuid":"2508953711","node_id":"PR_kwDOClcaEM6Vi5hv","number":245,"state":"closed","title":"Bump external/coqutil from `4597335` to `3bd1bb3`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-05-09T09:53:26.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-09T08:16:03.000Z","updated_at":"2025-05-09T09:53:26.000Z","time_to_close":5843,"merged_at":"2025-05-09T09:53:26.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/coqutil","old_version":"`4597335`","new_version":"`3bd1bb3`","repository_url":"https://github.com/mit-plv/coqutil"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/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-pdos/perennial/pull/245","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/245","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/245/packages"}}]}