{"id":31811,"name":"bedrock2","ecosystem":"submodules","repository_url":null,"issues_count":17,"created_at":"2025-06-07T10:37:05.777Z","updated_at":"2025-06-07T10:37:05.777Z","purl":"pkg:submodules/bedrock2","unique_repositories_count":1,"unique_repositories_count_past_30_days":1,"recent_issues":[{"uuid":"4210336409","node_id":"PR_kwDODg7fsM7QJKBR","number":201,"state":"open","title":"build(deps): bump bedrock2 from `d201bb5` to `c55d6ae`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2026-04-06T07:42:34.000Z","updated_at":"2026-04-07T10:40:12.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`d201bb5`","new_version":"`c55d6ae`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `d201bb5` to `c55d6ae`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/c55d6aeef07d06a86ef3ace1f8709f6ad509887c\"\u003e\u003ccode\u003ec55d6ae\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/523\"\u003e#523\u003c/a\u003e from SkySkimmer/warn-missing-proof\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/e7fa95906a3f746ca47b0e55a42fd2751195697e\"\u003e\u003ccode\u003ee7fa959\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/522\"\u003e#522\u003c/a\u003e from proux01/rocq21849\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/aab5e507196567347730e45c80e7d1c610636cbf\"\u003e\u003ccode\u003eaab5e50\u003c/code\u003e\u003c/a\u003e Fix incorrect Proof command\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/a1fd056be5b8df47c34aa77126af265cc8ce6fd5\"\u003e\u003ccode\u003ea1fd056\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/pull/21849\"\u003erocq-prover/rocq#21849\u003c/a\u003e\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/d201bb53a847e04699e1af0607891e707e4bd929...c55d6aeef07d06a86ef3ace1f8709f6ad509887c\"\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 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/rupicola/pull/201","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/201","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/201/packages"},{"uuid":"3594411872","node_id":"PR_kwDODg7fsM6x02Gc","number":183,"state":"closed","title":"build(deps): bump bedrock2 from `04122ff` to `461aa20`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":3,"pull_request":true,"closed_at":"2025-11-08T23:52:22.000Z","author_association":null,"state_reason":null,"created_at":"2025-11-06T07:04:59.000Z","updated_at":"2025-11-09T12:00:50.794Z","time_to_close":233243,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`04122ff`","new_version":"`461aa20`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `04122ff` to `461aa20`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/461aa204369374d49e37d0f9507b13d2a63f12d6\"\u003e\u003ccode\u003e461aa20\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21241\"\u003erocq-prover/rocq#21241\u003c/a\u003e (eq_rec not defined using eq_rect) (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/498\"\u003e#498\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/04122ff2848f2f19de98dafe00caa1be4c370f89...461aa204369374d49e37d0f9507b13d2a63f12d6\"\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/rupicola/pull/183","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/183","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/183/packages"},{"uuid":"2880715559","node_id":"PR_kwDODg7fsM6rtDsn","number":182,"state":"closed","title":"build(deps): bump bedrock2 from `84cfff9` to `04122ff`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-10-02T07:07:31.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-10-02T07:03:46.000Z","updated_at":"2025-10-02T07:07:32.000Z","time_to_close":225,"merged_at":"2025-10-02T07:07:31.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`84cfff9`","new_version":"`04122ff`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `84cfff9` to `04122ff`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/04122ff2848f2f19de98dafe00caa1be4c370f89\"\u003e\u003ccode\u003e04122ff\u003c/code\u003e\u003c/a\u003e straightline: do not match below binders (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/493\"\u003e#493\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/84cfff9b9d1ab923f0570833476047b3a040768b...04122ff2848f2f19de98dafe00caa1be4c370f89\"\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/rupicola/pull/182","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/182","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/182/packages"},{"uuid":"2828173542","node_id":"PR_kwDODg7fsM6okoDm","number":181,"state":"open","title":"build(deps): bump bedrock2 from `fbfe133` to `84cfff9`","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-09-15T07:47:07.000Z","updated_at":"2025-09-15T07:47:07.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`fbfe133`","new_version":"`84cfff9`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `fbfe133` to `84cfff9`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/84cfff9b9d1ab923f0570833476047b3a040768b\"\u003e\u003ccode\u003e84cfff9\u003c/code\u003e\u003c/a\u003e import memcpy from fiat-crypto (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/491\"\u003e#491\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/fbfe1339d27075c29113ec23c6913b7c5e150a4f...84cfff9b9d1ab923f0570833476047b3a040768b\"\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/rupicola/pull/181","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/181","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/181/packages"},{"uuid":"2799340836","node_id":"PR_kwDODg7fsM6m2o0k","number":178,"state":"closed","title":"build(deps): bump bedrock2 from `218e428` to `1b51e4c`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-04T12:58:06.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-04T12:54:14.000Z","updated_at":"2025-09-04T12:58:06.000Z","time_to_close":232,"merged_at":"2025-09-04T12:58:06.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`218e428`","new_version":"`1b51e4c`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `218e428` to `1b51e4c`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/1b51e4c82e1ca866fdf6814067fc726da19dd041\"\u003e\u003ccode\u003e1b51e4c\u003c/code\u003e\u003c/a\u003e Bump deps/coqutil from \u003ccode\u003ec59c43d\u003c/code\u003e to \u003ccode\u003e7776b9c\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/489\"\u003e#489\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/218e4288fbb7366386ada1c683bbf4362770aca4...1b51e4c82e1ca866fdf6814067fc726da19dd041\"\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/rupicola/pull/178","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/178","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/178/packages"},{"uuid":"2797517740","node_id":"PR_kwDODg7fsM6mvrus","number":177,"state":"closed","title":"build(deps): bump bedrock2 from `49da9a5` to `218e428`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-03T23:23:45.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-03T23:19:54.000Z","updated_at":"2025-09-03T23:23:45.000Z","time_to_close":231,"merged_at":"2025-09-03T23:23:45.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`49da9a5`","new_version":"`218e428`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `49da9a5` to `218e428`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/218e4288fbb7366386ada1c683bbf4362770aca4\"\u003e\u003ccode\u003e218e428\u003c/code\u003e\u003c/a\u003e Use parallel make in coq-docker (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/488\"\u003e#488\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/49da9a5ab3c7370e04b07532f285908c0bc8b831...218e4288fbb7366386ada1c683bbf4362770aca4\"\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/rupicola/pull/177","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/177","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/177/packages"},{"uuid":"2781211535","node_id":"PR_kwDODg7fsM6lxeuP","number":173,"state":"closed","title":"build(deps): bump bedrock2 from `cf119f1` to `b4533a8`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-09-02T21:58:03.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-28T10:03:11.000Z","updated_at":"2025-09-02T21:58:03.000Z","time_to_close":474892,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`cf119f1`","new_version":"`b4533a8`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `cf119f1` to `b4533a8`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/b4533a8caca9e462f9802251d91ced6634a04748\"\u003e\u003ccode\u003eb4533a8\u003c/code\u003e\u003c/a\u003e Bump actions/checkout from 4 to 5 (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/484\"\u003e#484\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/8ddd6b72655d7ea2018272d43d33aa95bba7ba64\"\u003e\u003ccode\u003e8ddd6b7\u003c/code\u003e\u003c/a\u003e Bump deps/coqutil from \u003ccode\u003e1f7c323\u003c/code\u003e to \u003ccode\u003efa86e6b\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/483\"\u003e#483\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/030d05425f4de374539e33e4b258a1d86bcfcc30\"\u003e\u003ccode\u003e030d054\u003c/code\u003e\u003c/a\u003e Add CI test against latest Debian testing (currently 8.20) (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/482\"\u003e#482\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/cf119f1ece91f5402a5cb1e02c28f6d1ef22ed19...b4533a8caca9e462f9802251d91ced6634a04748\"\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/rupicola/pull/173","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/173","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/173/packages"},{"uuid":"2765392192","node_id":"PR_kwDODg7fsM6k1IlA","number":168,"state":"closed","title":"build(deps): bump bedrock2 from `c2c7511` to `cf119f1`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-08-27T13:10:06.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-22T07:13:12.000Z","updated_at":"2025-08-27T13:10:06.000Z","time_to_close":453414,"merged_at":"2025-08-27T13:10:06.000Z","merged_by":"andres-erbsen","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`c2c7511`","new_version":"`cf119f1`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `c2c7511` to `cf119f1`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/cf119f1ece91f5402a5cb1e02c28f6d1ef22ed19\"\u003e\u003ccode\u003ecf119f1\u003c/code\u003e\u003c/a\u003e Use Ltac2 for program logic goals (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/480\"\u003e#480\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/c2c7511f942a88f7ded38976bf988a1e40804c5a...cf119f1ece91f5402a5cb1e02c28f6d1ef22ed19\"\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/rupicola/pull/168","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/168","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/168/packages"},{"uuid":"2741730043","node_id":"PR_kwDODg7fsM6ja3r7","number":167,"state":"closed","title":"build(deps): bump bedrock2 from `5ec3fc9` to `c2c7511`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-08-13T07:23:48.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-13T07:15:02.000Z","updated_at":"2025-08-13T07:23:48.000Z","time_to_close":526,"merged_at":"2025-08-13T07:23:48.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`5ec3fc9`","new_version":"`c2c7511`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `5ec3fc9` to `c2c7511`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/c2c7511f942a88f7ded38976bf988a1e40804c5a\"\u003e\u003ccode\u003ec2c7511\u003c/code\u003e\u003c/a\u003e Bump actions/checkout from 4 to 5 (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/479\"\u003e#479\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/5ec3fc97bb4ee29a1d6b7013e7f417ec7cb3311b...c2c7511f942a88f7ded38976bf988a1e40804c5a\"\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/rupicola/pull/167","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/167","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/167/packages"},{"uuid":"2666609263","node_id":"PR_kwDODg7fsM6e8Tpv","number":163,"state":"closed","title":"build(deps): bump bedrock2 from `8abe303` to `3f2a6e5`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-07-15T08:56:53.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-15T08:47:24.000Z","updated_at":"2025-07-15T08:56:53.000Z","time_to_close":569,"merged_at":"2025-07-15T08:56:53.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`8abe303`","new_version":"`3f2a6e5`","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-plv/rupicola/pull/163","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/163","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/163/packages"},{"uuid":"2634612362","node_id":"PR_kwDODg7fsM6dCP6K","number":161,"state":"closed","title":"build(deps): bump bedrock2 from `16693a2` to `a7c9cb5`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-07-02T08:00:05.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-02T07:51:31.000Z","updated_at":"2025-07-02T08:00:05.000Z","time_to_close":514,"merged_at":"2025-07-02T08:00:05.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`16693a2`","new_version":"`a7c9cb5`","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-plv/rupicola/pull/161","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/161","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/161/packages"},{"uuid":"2631762550","node_id":"PR_kwDODg7fsM6c3YJ2","number":160,"state":"closed","title":"build(deps): bump bedrock2 from `257f544` to `16693a2`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-07-01T09:59:33.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-01T09:50:47.000Z","updated_at":"2025-07-01T09:59:33.000Z","time_to_close":526,"merged_at":"2025-07-01T09:59:33.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`257f544`","new_version":"`16693a2`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `257f544` to `16693a2`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/16693a2da678409a78925749d4ee4b3ff30ab638\"\u003e\u003ccode\u003e16693a2\u003c/code\u003e\u003c/a\u003e Bump deps/kami from \u003ccode\u003e3e565a1\u003c/code\u003e to \u003ccode\u003e9e1e934\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/471\"\u003e#471\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/257f5446b25440a27e2be37866a7f00398cf6df2...16693a2da678409a78925749d4ee4b3ff30ab638\"\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/rupicola/pull/160","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/160","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/160/packages"},{"uuid":"2610906605","node_id":"PR_kwDODg7fsM6bn0Xt","number":158,"state":"open","title":"build(deps): bump bedrock2 from `7a92310` to `d9c30f1`","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-06-23T08:50:07.000Z","updated_at":"2025-06-23T08:50:07.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`7a92310`","new_version":"`d9c30f1`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `7a92310` to `d9c30f1`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/d9c30f1edebc1bc8a6e43d93d3227dbcf5c3a635\"\u003e\u003ccode\u003ed9c30f1\u003c/code\u003e\u003c/a\u003e Bump deps/kami from \u003ccode\u003e3ab0943\u003c/code\u003e to \u003ccode\u003e3e565a1\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/470\"\u003e#470\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/7a9231067c4bee29c2a6cd0b868281a28d669019...d9c30f1edebc1bc8a6e43d93d3227dbcf5c3a635\"\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/rupicola/pull/158","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/158","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/158/packages"},{"uuid":"2566454652","node_id":"PR_kwDODg7fsM6Y-P18","number":151,"state":"open","title":"build(deps): bump bedrock2 from `d00605c` to `0fc2662`","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-06-04T07:51:03.000Z","updated_at":"2025-06-04T07:51:04.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`d00605c`","new_version":"`0fc2662`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `d00605c` to `0fc2662`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/0fc2662b0b8bd54092fdb4b50998b4ed3e43f5b2\"\u003e\u003ccode\u003e0fc2662\u003c/code\u003e\u003c/a\u003e Bump deps/coqutil from \u003ccode\u003e3bd1bb3\u003c/code\u003e to \u003ccode\u003ebebb5e6\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/463\"\u003e#463\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/79bfe56d8926ca5bee59267555949636b2edd7a0\"\u003e\u003ccode\u003e79bfe56\u003c/code\u003e\u003c/a\u003e released-Rocq CI using Alpine Linux (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/462\"\u003e#462\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/d00605cfb0da698a4c373272dd2edca74b994d28...0fc2662b0b8bd54092fdb4b50998b4ed3e43f5b2\"\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/rupicola/pull/151","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/151","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/151/packages"},{"uuid":"2559739052","node_id":"PR_kwDODg7fsM6YkoSs","number":150,"state":"open","title":"build(deps): bump bedrock2 from `28b23cb` to `d00605c`","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-06-02T08:24:13.000Z","updated_at":"2025-06-02T08:24:13.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`28b23cb`","new_version":"`d00605c`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `28b23cb` to `d00605c`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/d00605cfb0da698a4c373272dd2edca74b994d28\"\u003e\u003ccode\u003ed00605c\u003c/code\u003e\u003c/a\u003e adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/stdlib/issues/150\"\u003erocq-prover/stdlib#150\u003c/a\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/461\"\u003e#461\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/28b23cb35a33ffaaa48ffb31a09ab8607003e793...d00605cfb0da698a4c373272dd2edca74b994d28\"\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/rupicola/pull/150","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/150","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/150/packages"},{"uuid":"2515675865","node_id":"PR_kwDODg7fsM6V8irZ","number":149,"state":"closed","title":"build(deps): bump bedrock2 from `c1d50ea` to `28b23cb`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-06-02T08:24:15.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-13T07:14:54.000Z","updated_at":"2025-06-02T08:24:17.000Z","time_to_close":1732161,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`c1d50ea`","new_version":"`28b23cb`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `c1d50ea` to `28b23cb`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/28b23cb35a33ffaaa48ffb31a09ab8607003e793\"\u003e\u003ccode\u003e28b23cb\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/456\"\u003e#456\u003c/a\u003e from mit-plv/unary-operators\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/97515557d5e99500be593007428e489e4686e788\"\u003e\u003ccode\u003e9751555\u003c/code\u003e\u003c/a\u003e add unary operators (closes \u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/440\"\u003e#440\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/82b546bbf07bb23738dde3194df8d3a9bd442349\"\u003e\u003ccode\u003e82b546b\u003c/code\u003e\u003c/a\u003e use wsize in full_mul\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/c1d50ea36bd8210b965bb282fc92708037447eaa...28b23cb35a33ffaaa48ffb31a09ab8607003e793\"\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/rupicola/pull/149","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/149","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/149/packages"},{"uuid":"2512955790","node_id":"PR_kwDODg7fsM6VyKmO","number":148,"state":"closed","title":"build(deps): bump bedrock2 from `622fcf6` to `c1d50ea`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-05-12T07:46:28.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-12T07:38:54.000Z","updated_at":"2025-05-12T07:46:28.000Z","time_to_close":454,"merged_at":"2025-05-12T07:46:28.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`622fcf6`","new_version":"`c1d50ea`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `622fcf6` to `c1d50ea`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/c1d50ea36bd8210b965bb282fc92708037447eaa\"\u003e\u003ccode\u003ec1d50ea\u003c/code\u003e\u003c/a\u003e Bump deps/coqutil from \u003ccode\u003e4597335\u003c/code\u003e to \u003ccode\u003e3bd1bb3\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/458\"\u003e#458\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/622fcf6871dcdd7e06f369ecb8f5da2dd3c668c7...c1d50ea36bd8210b965bb282fc92708037447eaa\"\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/rupicola/pull/148","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/148","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/148/packages"}],"issue_packages":[{"old_version":"`d201bb5`","new_version":"`c55d6ae`","update_type":null,"path":null,"pr_created_at":"2026-04-06T07:42:34.000Z","version_change":"`d201bb5` → `c55d6ae`","issue":{"uuid":"4210336409","node_id":"PR_kwDODg7fsM7QJKBR","number":201,"state":"open","title":"build(deps): bump bedrock2 from `d201bb5` to `c55d6ae`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2026-04-06T07:42:34.000Z","updated_at":"2026-04-07T10:40:12.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`d201bb5`","new_version":"`c55d6ae`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `d201bb5` to `c55d6ae`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/c55d6aeef07d06a86ef3ace1f8709f6ad509887c\"\u003e\u003ccode\u003ec55d6ae\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/523\"\u003e#523\u003c/a\u003e from SkySkimmer/warn-missing-proof\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/e7fa95906a3f746ca47b0e55a42fd2751195697e\"\u003e\u003ccode\u003ee7fa959\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/522\"\u003e#522\u003c/a\u003e from proux01/rocq21849\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/aab5e507196567347730e45c80e7d1c610636cbf\"\u003e\u003ccode\u003eaab5e50\u003c/code\u003e\u003c/a\u003e Fix incorrect Proof command\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/a1fd056be5b8df47c34aa77126af265cc8ce6fd5\"\u003e\u003ccode\u003ea1fd056\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/pull/21849\"\u003erocq-prover/rocq#21849\u003c/a\u003e\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/d201bb53a847e04699e1af0607891e707e4bd929...c55d6aeef07d06a86ef3ace1f8709f6ad509887c\"\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 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/rupicola/pull/201","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/201","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/201/packages"}},{"old_version":"`04122ff`","new_version":"`461aa20`","update_type":null,"path":null,"pr_created_at":"2025-11-06T07:04:59.000Z","version_change":"`04122ff` → `461aa20`","issue":{"uuid":"3594411872","node_id":"PR_kwDODg7fsM6x02Gc","number":183,"state":"closed","title":"build(deps): bump bedrock2 from `04122ff` to `461aa20`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":3,"pull_request":true,"closed_at":"2025-11-08T23:52:22.000Z","author_association":null,"state_reason":null,"created_at":"2025-11-06T07:04:59.000Z","updated_at":"2025-11-09T12:00:50.794Z","time_to_close":233243,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`04122ff`","new_version":"`461aa20`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `04122ff` to `461aa20`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/461aa204369374d49e37d0f9507b13d2a63f12d6\"\u003e\u003ccode\u003e461aa20\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21241\"\u003erocq-prover/rocq#21241\u003c/a\u003e (eq_rec not defined using eq_rect) (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/498\"\u003e#498\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/04122ff2848f2f19de98dafe00caa1be4c370f89...461aa204369374d49e37d0f9507b13d2a63f12d6\"\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/rupicola/pull/183","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/183","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/183/packages"}},{"old_version":"`84cfff9`","new_version":"`04122ff`","update_type":null,"path":null,"pr_created_at":"2025-10-02T07:03:46.000Z","version_change":"`84cfff9` → `04122ff`","issue":{"uuid":"2880715559","node_id":"PR_kwDODg7fsM6rtDsn","number":182,"state":"closed","title":"build(deps): bump bedrock2 from `84cfff9` to `04122ff`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-10-02T07:07:31.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-10-02T07:03:46.000Z","updated_at":"2025-10-02T07:07:32.000Z","time_to_close":225,"merged_at":"2025-10-02T07:07:31.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`84cfff9`","new_version":"`04122ff`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `84cfff9` to `04122ff`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/04122ff2848f2f19de98dafe00caa1be4c370f89\"\u003e\u003ccode\u003e04122ff\u003c/code\u003e\u003c/a\u003e straightline: do not match below binders (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/493\"\u003e#493\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/84cfff9b9d1ab923f0570833476047b3a040768b...04122ff2848f2f19de98dafe00caa1be4c370f89\"\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/rupicola/pull/182","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/182","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/182/packages"}},{"old_version":"`fbfe133`","new_version":"`84cfff9`","update_type":null,"path":null,"pr_created_at":"2025-09-15T07:47:07.000Z","version_change":"`fbfe133` → `84cfff9`","issue":{"uuid":"2828173542","node_id":"PR_kwDODg7fsM6okoDm","number":181,"state":"open","title":"build(deps): bump bedrock2 from `fbfe133` to `84cfff9`","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-09-15T07:47:07.000Z","updated_at":"2025-09-15T07:47:07.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`fbfe133`","new_version":"`84cfff9`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `fbfe133` to `84cfff9`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/84cfff9b9d1ab923f0570833476047b3a040768b\"\u003e\u003ccode\u003e84cfff9\u003c/code\u003e\u003c/a\u003e import memcpy from fiat-crypto (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/491\"\u003e#491\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/fbfe1339d27075c29113ec23c6913b7c5e150a4f...84cfff9b9d1ab923f0570833476047b3a040768b\"\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/rupicola/pull/181","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/181","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/181/packages"}},{"old_version":"`218e428`","new_version":"`1b51e4c`","update_type":null,"path":null,"pr_created_at":"2025-09-04T12:54:14.000Z","version_change":"`218e428` → `1b51e4c`","issue":{"uuid":"2799340836","node_id":"PR_kwDODg7fsM6m2o0k","number":178,"state":"closed","title":"build(deps): bump bedrock2 from `218e428` to `1b51e4c`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-04T12:58:06.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-04T12:54:14.000Z","updated_at":"2025-09-04T12:58:06.000Z","time_to_close":232,"merged_at":"2025-09-04T12:58:06.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`218e428`","new_version":"`1b51e4c`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `218e428` to `1b51e4c`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/1b51e4c82e1ca866fdf6814067fc726da19dd041\"\u003e\u003ccode\u003e1b51e4c\u003c/code\u003e\u003c/a\u003e Bump deps/coqutil from \u003ccode\u003ec59c43d\u003c/code\u003e to \u003ccode\u003e7776b9c\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/489\"\u003e#489\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/218e4288fbb7366386ada1c683bbf4362770aca4...1b51e4c82e1ca866fdf6814067fc726da19dd041\"\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/rupicola/pull/178","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/178","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/178/packages"}},{"old_version":"`49da9a5`","new_version":"`218e428`","update_type":null,"path":null,"pr_created_at":"2025-09-03T23:19:54.000Z","version_change":"`49da9a5` → `218e428`","issue":{"uuid":"2797517740","node_id":"PR_kwDODg7fsM6mvrus","number":177,"state":"closed","title":"build(deps): bump bedrock2 from `49da9a5` to `218e428`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-03T23:23:45.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-03T23:19:54.000Z","updated_at":"2025-09-03T23:23:45.000Z","time_to_close":231,"merged_at":"2025-09-03T23:23:45.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`49da9a5`","new_version":"`218e428`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `49da9a5` to `218e428`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/218e4288fbb7366386ada1c683bbf4362770aca4\"\u003e\u003ccode\u003e218e428\u003c/code\u003e\u003c/a\u003e Use parallel make in coq-docker (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/488\"\u003e#488\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/49da9a5ab3c7370e04b07532f285908c0bc8b831...218e4288fbb7366386ada1c683bbf4362770aca4\"\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/rupicola/pull/177","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/177","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/177/packages"}},{"old_version":"`cf119f1`","new_version":"`b4533a8`","update_type":null,"path":null,"pr_created_at":"2025-08-28T10:03:11.000Z","version_change":"`cf119f1` → `b4533a8`","issue":{"uuid":"2781211535","node_id":"PR_kwDODg7fsM6lxeuP","number":173,"state":"closed","title":"build(deps): bump bedrock2 from `cf119f1` to `b4533a8`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-09-02T21:58:03.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-28T10:03:11.000Z","updated_at":"2025-09-02T21:58:03.000Z","time_to_close":474892,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`cf119f1`","new_version":"`b4533a8`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `cf119f1` to `b4533a8`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/b4533a8caca9e462f9802251d91ced6634a04748\"\u003e\u003ccode\u003eb4533a8\u003c/code\u003e\u003c/a\u003e Bump actions/checkout from 4 to 5 (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/484\"\u003e#484\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/8ddd6b72655d7ea2018272d43d33aa95bba7ba64\"\u003e\u003ccode\u003e8ddd6b7\u003c/code\u003e\u003c/a\u003e Bump deps/coqutil from \u003ccode\u003e1f7c323\u003c/code\u003e to \u003ccode\u003efa86e6b\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/483\"\u003e#483\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/030d05425f4de374539e33e4b258a1d86bcfcc30\"\u003e\u003ccode\u003e030d054\u003c/code\u003e\u003c/a\u003e Add CI test against latest Debian testing (currently 8.20) (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/482\"\u003e#482\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/cf119f1ece91f5402a5cb1e02c28f6d1ef22ed19...b4533a8caca9e462f9802251d91ced6634a04748\"\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/rupicola/pull/173","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/173","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/173/packages"}},{"old_version":"`c2c7511`","new_version":"`cf119f1`","update_type":null,"path":null,"pr_created_at":"2025-08-22T07:13:12.000Z","version_change":"`c2c7511` → `cf119f1`","issue":{"uuid":"2765392192","node_id":"PR_kwDODg7fsM6k1IlA","number":168,"state":"closed","title":"build(deps): bump bedrock2 from `c2c7511` to `cf119f1`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-08-27T13:10:06.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-22T07:13:12.000Z","updated_at":"2025-08-27T13:10:06.000Z","time_to_close":453414,"merged_at":"2025-08-27T13:10:06.000Z","merged_by":"andres-erbsen","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`c2c7511`","new_version":"`cf119f1`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `c2c7511` to `cf119f1`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/cf119f1ece91f5402a5cb1e02c28f6d1ef22ed19\"\u003e\u003ccode\u003ecf119f1\u003c/code\u003e\u003c/a\u003e Use Ltac2 for program logic goals (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/480\"\u003e#480\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/c2c7511f942a88f7ded38976bf988a1e40804c5a...cf119f1ece91f5402a5cb1e02c28f6d1ef22ed19\"\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/rupicola/pull/168","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/168","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/168/packages"}},{"old_version":"`5ec3fc9`","new_version":"`c2c7511`","update_type":null,"path":null,"pr_created_at":"2025-08-13T07:15:02.000Z","version_change":"`5ec3fc9` → `c2c7511`","issue":{"uuid":"2741730043","node_id":"PR_kwDODg7fsM6ja3r7","number":167,"state":"closed","title":"build(deps): bump bedrock2 from `5ec3fc9` to `c2c7511`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-08-13T07:23:48.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-13T07:15:02.000Z","updated_at":"2025-08-13T07:23:48.000Z","time_to_close":526,"merged_at":"2025-08-13T07:23:48.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`5ec3fc9`","new_version":"`c2c7511`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `5ec3fc9` to `c2c7511`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/c2c7511f942a88f7ded38976bf988a1e40804c5a\"\u003e\u003ccode\u003ec2c7511\u003c/code\u003e\u003c/a\u003e Bump actions/checkout from 4 to 5 (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/479\"\u003e#479\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/5ec3fc97bb4ee29a1d6b7013e7f417ec7cb3311b...c2c7511f942a88f7ded38976bf988a1e40804c5a\"\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/rupicola/pull/167","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/167","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/167/packages"}},{"old_version":"`8abe303`","new_version":"`3f2a6e5`","update_type":null,"path":null,"pr_created_at":"2025-07-15T08:47:24.000Z","version_change":"`8abe303` → `3f2a6e5`","issue":{"uuid":"2666609263","node_id":"PR_kwDODg7fsM6e8Tpv","number":163,"state":"closed","title":"build(deps): bump bedrock2 from `8abe303` to `3f2a6e5`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-07-15T08:56:53.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-15T08:47:24.000Z","updated_at":"2025-07-15T08:56:53.000Z","time_to_close":569,"merged_at":"2025-07-15T08:56:53.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`8abe303`","new_version":"`3f2a6e5`","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-plv/rupicola/pull/163","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/163","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/163/packages"}},{"old_version":"`16693a2`","new_version":"`a7c9cb5`","update_type":null,"path":null,"pr_created_at":"2025-07-02T07:51:31.000Z","version_change":"`16693a2` → `a7c9cb5`","issue":{"uuid":"2634612362","node_id":"PR_kwDODg7fsM6dCP6K","number":161,"state":"closed","title":"build(deps): bump bedrock2 from `16693a2` to `a7c9cb5`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-07-02T08:00:05.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-02T07:51:31.000Z","updated_at":"2025-07-02T08:00:05.000Z","time_to_close":514,"merged_at":"2025-07-02T08:00:05.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`16693a2`","new_version":"`a7c9cb5`","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-plv/rupicola/pull/161","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/161","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/161/packages"}},{"old_version":"`257f544`","new_version":"`16693a2`","update_type":null,"path":null,"pr_created_at":"2025-07-01T09:50:47.000Z","version_change":"`257f544` → `16693a2`","issue":{"uuid":"2631762550","node_id":"PR_kwDODg7fsM6c3YJ2","number":160,"state":"closed","title":"build(deps): bump bedrock2 from `257f544` to `16693a2`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-07-01T09:59:33.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-01T09:50:47.000Z","updated_at":"2025-07-01T09:59:33.000Z","time_to_close":526,"merged_at":"2025-07-01T09:59:33.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`257f544`","new_version":"`16693a2`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `257f544` to `16693a2`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/16693a2da678409a78925749d4ee4b3ff30ab638\"\u003e\u003ccode\u003e16693a2\u003c/code\u003e\u003c/a\u003e Bump deps/kami from \u003ccode\u003e3e565a1\u003c/code\u003e to \u003ccode\u003e9e1e934\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/471\"\u003e#471\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/257f5446b25440a27e2be37866a7f00398cf6df2...16693a2da678409a78925749d4ee4b3ff30ab638\"\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/rupicola/pull/160","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/160","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/160/packages"}},{"old_version":"`7a92310`","new_version":"`d9c30f1`","update_type":null,"path":null,"pr_created_at":"2025-06-23T08:50:07.000Z","version_change":"`7a92310` → `d9c30f1`","issue":{"uuid":"2610906605","node_id":"PR_kwDODg7fsM6bn0Xt","number":158,"state":"open","title":"build(deps): bump bedrock2 from `7a92310` to `d9c30f1`","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-06-23T08:50:07.000Z","updated_at":"2025-06-23T08:50:07.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`7a92310`","new_version":"`d9c30f1`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `7a92310` to `d9c30f1`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/d9c30f1edebc1bc8a6e43d93d3227dbcf5c3a635\"\u003e\u003ccode\u003ed9c30f1\u003c/code\u003e\u003c/a\u003e Bump deps/kami from \u003ccode\u003e3ab0943\u003c/code\u003e to \u003ccode\u003e3e565a1\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/470\"\u003e#470\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/7a9231067c4bee29c2a6cd0b868281a28d669019...d9c30f1edebc1bc8a6e43d93d3227dbcf5c3a635\"\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/rupicola/pull/158","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/158","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/158/packages"}},{"old_version":"`d00605c`","new_version":"`0fc2662`","update_type":null,"path":null,"pr_created_at":"2025-06-04T07:51:03.000Z","version_change":"`d00605c` → `0fc2662`","issue":{"uuid":"2566454652","node_id":"PR_kwDODg7fsM6Y-P18","number":151,"state":"open","title":"build(deps): bump bedrock2 from `d00605c` to `0fc2662`","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-06-04T07:51:03.000Z","updated_at":"2025-06-04T07:51:04.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`d00605c`","new_version":"`0fc2662`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `d00605c` to `0fc2662`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/0fc2662b0b8bd54092fdb4b50998b4ed3e43f5b2\"\u003e\u003ccode\u003e0fc2662\u003c/code\u003e\u003c/a\u003e Bump deps/coqutil from \u003ccode\u003e3bd1bb3\u003c/code\u003e to \u003ccode\u003ebebb5e6\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/463\"\u003e#463\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/79bfe56d8926ca5bee59267555949636b2edd7a0\"\u003e\u003ccode\u003e79bfe56\u003c/code\u003e\u003c/a\u003e released-Rocq CI using Alpine Linux (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/462\"\u003e#462\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/d00605cfb0da698a4c373272dd2edca74b994d28...0fc2662b0b8bd54092fdb4b50998b4ed3e43f5b2\"\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/rupicola/pull/151","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/151","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/151/packages"}},{"old_version":"`28b23cb`","new_version":"`d00605c`","update_type":null,"path":null,"pr_created_at":"2025-06-02T08:24:13.000Z","version_change":"`28b23cb` → `d00605c`","issue":{"uuid":"2559739052","node_id":"PR_kwDODg7fsM6YkoSs","number":150,"state":"open","title":"build(deps): bump bedrock2 from `28b23cb` to `d00605c`","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-06-02T08:24:13.000Z","updated_at":"2025-06-02T08:24:13.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`28b23cb`","new_version":"`d00605c`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `28b23cb` to `d00605c`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/d00605cfb0da698a4c373272dd2edca74b994d28\"\u003e\u003ccode\u003ed00605c\u003c/code\u003e\u003c/a\u003e adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/stdlib/issues/150\"\u003erocq-prover/stdlib#150\u003c/a\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/461\"\u003e#461\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/28b23cb35a33ffaaa48ffb31a09ab8607003e793...d00605cfb0da698a4c373272dd2edca74b994d28\"\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/rupicola/pull/150","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/150","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/150/packages"}},{"old_version":"`c1d50ea`","new_version":"`28b23cb`","update_type":null,"path":null,"pr_created_at":"2025-05-13T07:14:54.000Z","version_change":"`c1d50ea` → `28b23cb`","issue":{"uuid":"2515675865","node_id":"PR_kwDODg7fsM6V8irZ","number":149,"state":"closed","title":"build(deps): bump bedrock2 from `c1d50ea` to `28b23cb`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-06-02T08:24:15.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-13T07:14:54.000Z","updated_at":"2025-06-02T08:24:17.000Z","time_to_close":1732161,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`c1d50ea`","new_version":"`28b23cb`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `c1d50ea` to `28b23cb`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/28b23cb35a33ffaaa48ffb31a09ab8607003e793\"\u003e\u003ccode\u003e28b23cb\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/456\"\u003e#456\u003c/a\u003e from mit-plv/unary-operators\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/97515557d5e99500be593007428e489e4686e788\"\u003e\u003ccode\u003e9751555\u003c/code\u003e\u003c/a\u003e add unary operators (closes \u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/440\"\u003e#440\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/82b546bbf07bb23738dde3194df8d3a9bd442349\"\u003e\u003ccode\u003e82b546b\u003c/code\u003e\u003c/a\u003e use wsize in full_mul\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/c1d50ea36bd8210b965bb282fc92708037447eaa...28b23cb35a33ffaaa48ffb31a09ab8607003e793\"\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/rupicola/pull/149","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/149","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/149/packages"}},{"old_version":"`622fcf6`","new_version":"`c1d50ea`","update_type":null,"path":null,"pr_created_at":"2025-05-12T07:38:54.000Z","version_change":"`622fcf6` → `c1d50ea`","issue":{"uuid":"2512955790","node_id":"PR_kwDODg7fsM6VyKmO","number":148,"state":"closed","title":"build(deps): bump bedrock2 from `622fcf6` to `c1d50ea`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-05-12T07:46:28.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-12T07:38:54.000Z","updated_at":"2025-05-12T07:46:28.000Z","time_to_close":454,"merged_at":"2025-05-12T07:46:28.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"bedrock2","old_version":"`622fcf6`","new_version":"`c1d50ea`","repository_url":"https://github.com/mit-plv/bedrock2"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `622fcf6` to `c1d50ea`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/bedrock2/commit/c1d50ea36bd8210b965bb282fc92708037447eaa\"\u003e\u003ccode\u003ec1d50ea\u003c/code\u003e\u003c/a\u003e Bump deps/coqutil from \u003ccode\u003e4597335\u003c/code\u003e to \u003ccode\u003e3bd1bb3\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/bedrock2/issues/458\"\u003e#458\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/bedrock2/compare/622fcf6871dcdd7e06f369ecb8f5da2dd3c668c7...c1d50ea36bd8210b965bb282fc92708037447eaa\"\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/rupicola/pull/148","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Frupicola/issues/148","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/148/packages"}}]}