{"id":31674,"name":"rewriter","ecosystem":"submodules","repository_url":null,"issues_count":10,"created_at":"2025-06-07T10:37:03.927Z","updated_at":"2025-06-07T10:37:03.927Z","purl":"pkg:submodules/rewriter","unique_repositories_count":1,"unique_repositories_count_past_30_days":1,"recent_issues":[{"uuid":"3784162811","node_id":"PR_kwDOAoT5bM67q6MP","number":2227,"state":"closed","title":"Bump rewriter from `857fb0c` to `dd37fb2`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2026-01-08T16:17:17.000Z","author_association":null,"state_reason":null,"created_at":"2026-01-06T08:04:29.000Z","updated_at":"2026-01-08T16:17:19.000Z","time_to_close":202368,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`857fb0c`","new_version":"`dd37fb2`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `857fb0c` to `dd37fb2`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/dd37fb28ed7f01a3b7edc0675a86b95dd3eb1545\"\u003e\u003ccode\u003edd37fb2\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21467\"\u003erocq-prover/rocq#21467\u003c/a\u003e. (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/189\"\u003e#189\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/857fb0c374c57e6ebee8e018402286b1271029f7...dd37fb28ed7f01a3b7edc0675a86b95dd3eb1545\"\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/fiat-crypto/pull/2227","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2227","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2227/packages"},{"uuid":"3705138095","node_id":"PR_kwDOAoT5bM63nP3v","number":2206,"state":"closed","title":"Bump rewriter from `c804d24` to `64a6980`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-12-11T08:03:09.000Z","author_association":null,"state_reason":null,"created_at":"2025-12-08T08:03:48.000Z","updated_at":"2025-12-11T08:03:12.000Z","time_to_close":259161,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`c804d24`","new_version":"`64a6980`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `c804d24` to `64a6980`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/64a6980dc366b676ba0ce734ac9107792b949c2b\"\u003e\u003ccode\u003e64a6980\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21394\"\u003erocq-prover/rocq#21394\u003c/a\u003e. (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/185\"\u003e#185\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/75f83e2601e883795934533aaa3a779370706f37\"\u003e\u003ccode\u003e75f83e2\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21391\"\u003erocq-prover/rocq#21391\u003c/a\u003e. (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/184\"\u003e#184\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/2e76ff083bcda08340cfa3bcf345278e165f0e71\"\u003e\u003ccode\u003e2e76ff0\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21195\"\u003erocq-prover/rocq#21195\u003c/a\u003e (add quality constraint kind) (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/182\"\u003e#182\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/c804d24f0fd8d9cd81f5c4a1a247aca214196542...64a6980dc366b676ba0ce734ac9107792b949c2b\"\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/fiat-crypto/pull/2206","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2206","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2206/packages"},{"uuid":"3697894248","node_id":"PR_kwDOAoT5bM63PUQy","number":2205,"state":"closed","title":"Bump rewriter from `c804d24` to `75f83e2`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-12-08T08:03:50.000Z","author_association":null,"state_reason":null,"created_at":"2025-12-05T08:02:53.000Z","updated_at":"2025-12-08T08:03:52.000Z","time_to_close":259257,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`c804d24`","new_version":"`75f83e2`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `c804d24` to `75f83e2`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/75f83e2601e883795934533aaa3a779370706f37\"\u003e\u003ccode\u003e75f83e2\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21391\"\u003erocq-prover/rocq#21391\u003c/a\u003e. (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/184\"\u003e#184\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/2e76ff083bcda08340cfa3bcf345278e165f0e71\"\u003e\u003ccode\u003e2e76ff0\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21195\"\u003erocq-prover/rocq#21195\u003c/a\u003e (add quality constraint kind) (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/182\"\u003e#182\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/c804d24f0fd8d9cd81f5c4a1a247aca214196542...75f83e2601e883795934533aaa3a779370706f37\"\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/fiat-crypto/pull/2205","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2205","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2205/packages"},{"uuid":"3693393057","node_id":"PR_kwDOAoT5bM63ABiW","number":2204,"state":"closed","title":"Bump rewriter from `c804d24` to `2e76ff0`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-12-05T08:02:56.000Z","author_association":null,"state_reason":null,"created_at":"2025-12-04T08:03:18.000Z","updated_at":"2025-12-05T08:02:58.000Z","time_to_close":86378,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`c804d24`","new_version":"`2e76ff0`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `c804d24` to `2e76ff0`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/2e76ff083bcda08340cfa3bcf345278e165f0e71\"\u003e\u003ccode\u003e2e76ff0\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21195\"\u003erocq-prover/rocq#21195\u003c/a\u003e (add quality constraint kind) (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/182\"\u003e#182\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/c804d24f0fd8d9cd81f5c4a1a247aca214196542...2e76ff083bcda08340cfa3bcf345278e165f0e71\"\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/fiat-crypto/pull/2204","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2204","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2204/packages"},{"uuid":"2873347299","node_id":"PR_kwDOAoT5bM6rQ8zj","number":2171,"state":"closed","title":"Bump rewriter from `3c8c20d` to `5db7ca1`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-30T13:45:46.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-30T08:03:54.000Z","updated_at":"2025-09-30T13:45:46.000Z","time_to_close":20512,"merged_at":"2025-09-30T13:45:45.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`3c8c20d`","new_version":"`5db7ca1`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `3c8c20d` to `5db7ca1`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/5db7ca1925beb385f7d46c847a51359ee9d1a2c3\"\u003e\u003ccode\u003e5db7ca1\u003c/code\u003e\u003c/a\u003e Fix Windows CI by replacing deprecated wmic commands with PowerShell alternat...\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/3c8c20d4a353103175660aea12c76a28ed3b4297...5db7ca1925beb385f7d46c847a51359ee9d1a2c3\"\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/fiat-crypto/pull/2171","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2171","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2171/packages"},{"uuid":"2869848017","node_id":"PR_kwDOAoT5bM6rDmfR","number":2167,"state":"closed","title":"Bump rewriter from `f15c124` to `3c8c20d`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-09-30T06:03:49.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-29T09:48:03.000Z","updated_at":"2025-09-30T06:03:50.000Z","time_to_close":72946,"merged_at":"2025-09-30T06:03:49.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`f15c124`","new_version":"`3c8c20d`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `f15c124` to `3c8c20d`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/3c8c20d4a353103175660aea12c76a28ed3b4297\"\u003e\u003ccode\u003e3c8c20d\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21110\"\u003erocq-prover/rocq#21110\u003c/a\u003e. (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/178\"\u003e#178\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/f15c124c0e6db7ead5ae3207ead6a159492a19d2...3c8c20d4a353103175660aea12c76a28ed3b4297\"\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/fiat-crypto/pull/2167","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2167","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2167/packages"},{"uuid":"2818081274","node_id":"PR_kwDOAoT5bM6n-IH6","number":2158,"state":"closed","title":"Bump rewriter from `34f3738` to `f15c124`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-17T04:40:09.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-11T08:03:09.000Z","updated_at":"2025-09-17T04:40:09.000Z","time_to_close":506220,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`34f3738`","new_version":"`f15c124`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `34f3738` to `f15c124`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/f15c124c0e6db7ead5ae3207ead6a159492a19d2\"\u003e\u003ccode\u003ef15c124\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/pull/20816\"\u003erocq-prover/rocq#20816\u003c/a\u003e\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/34f37389aa2a1c6cda63e508f4b3a915027561d3...f15c124c0e6db7ead5ae3207ead6a159492a19d2\"\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/fiat-crypto/pull/2158","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2158","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2158/packages"},{"uuid":"2741878703","node_id":"PR_kwDOAoT5bM6jbb-v","number":2139,"state":"open","title":"Bump rewriter from `27a5326` to `34f3738`","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-08-13T08:07:48.000Z","updated_at":"2025-08-13T08:07:48.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`27a5326`","new_version":"`34f3738`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `27a5326` to `34f3738`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/34f37389aa2a1c6cda63e508f4b3a915027561d3\"\u003e\u003ccode\u003e34f3738\u003c/code\u003e\u003c/a\u003e Bump actions/checkout from 4 to 5 (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/175\"\u003e#175\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/27a53261fda88f9d30e7520da23ded50764254f1...34f37389aa2a1c6cda63e508f4b3a915027561d3\"\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/fiat-crypto/pull/2139","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2139","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2139/packages"},{"uuid":"3191978060","node_id":"PR_kwDOAoT5bM6c4ViZ","number":2114,"state":"open","title":"Bump rewriter from `9496def` to `27a5326`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":4,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-01T11:02:20.000Z","updated_at":"2025-07-21T21:01:32.746Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`9496def`","new_version":"`27a5326`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `9496def` to `27a5326`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/27a53261fda88f9d30e7520da23ded50764254f1\"\u003e\u003ccode\u003e27a5326\u003c/code\u003e\u003c/a\u003e Update coq-opam-package.yml\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/9496defb8b236f442d11372f6e0b5e48aa38acfc...27a53261fda88f9d30e7520da23ded50764254f1\"\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/fiat-crypto/pull/2114","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2114","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2114/packages"},{"uuid":"2971711010","node_id":"PR_kwDOAoT5bM6RX11C","number":2073,"state":"open","title":"Bump rewriter from `4b028fc` to `9496def`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":4,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-04-04T08:55:48.000Z","updated_at":"2025-06-07T10:31:19.159Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`4b028fc`","new_version":"`9496def`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `4b028fc` to `9496def`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/9496defb8b236f442d11372f6e0b5e48aa38acfc\"\u003e\u003ccode\u003e9496def\u003c/code\u003e\u003c/a\u003e [CI] validate also needs coq\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/4b028fc74877aedf8c240c288be3e5db29961098...9496defb8b236f442d11372f6e0b5e48aa38acfc\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nYou can trigger a rebase of this PR 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\n\n\u003e **Note**\n\u003e Automatic rebases have been disabled on this pull request as it has been open for over 30 days.\n","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2073","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2073","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2073/packages"}],"issue_packages":[{"old_version":"`857fb0c`","new_version":"`dd37fb2`","update_type":null,"path":null,"pr_created_at":"2026-01-06T08:04:29.000Z","version_change":"`857fb0c` → `dd37fb2`","issue":{"uuid":"3784162811","node_id":"PR_kwDOAoT5bM67q6MP","number":2227,"state":"closed","title":"Bump rewriter from `857fb0c` to `dd37fb2`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2026-01-08T16:17:17.000Z","author_association":null,"state_reason":null,"created_at":"2026-01-06T08:04:29.000Z","updated_at":"2026-01-08T16:17:19.000Z","time_to_close":202368,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`857fb0c`","new_version":"`dd37fb2`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `857fb0c` to `dd37fb2`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/dd37fb28ed7f01a3b7edc0675a86b95dd3eb1545\"\u003e\u003ccode\u003edd37fb2\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21467\"\u003erocq-prover/rocq#21467\u003c/a\u003e. (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/189\"\u003e#189\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/857fb0c374c57e6ebee8e018402286b1271029f7...dd37fb28ed7f01a3b7edc0675a86b95dd3eb1545\"\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/fiat-crypto/pull/2227","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2227","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2227/packages"}},{"old_version":"`c804d24`","new_version":"`64a6980`","update_type":null,"path":null,"pr_created_at":"2025-12-08T08:03:48.000Z","version_change":"`c804d24` → `64a6980`","issue":{"uuid":"3705138095","node_id":"PR_kwDOAoT5bM63nP3v","number":2206,"state":"closed","title":"Bump rewriter from `c804d24` to `64a6980`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-12-11T08:03:09.000Z","author_association":null,"state_reason":null,"created_at":"2025-12-08T08:03:48.000Z","updated_at":"2025-12-11T08:03:12.000Z","time_to_close":259161,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`c804d24`","new_version":"`64a6980`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `c804d24` to `64a6980`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/64a6980dc366b676ba0ce734ac9107792b949c2b\"\u003e\u003ccode\u003e64a6980\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21394\"\u003erocq-prover/rocq#21394\u003c/a\u003e. (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/185\"\u003e#185\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/75f83e2601e883795934533aaa3a779370706f37\"\u003e\u003ccode\u003e75f83e2\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21391\"\u003erocq-prover/rocq#21391\u003c/a\u003e. (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/184\"\u003e#184\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/2e76ff083bcda08340cfa3bcf345278e165f0e71\"\u003e\u003ccode\u003e2e76ff0\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21195\"\u003erocq-prover/rocq#21195\u003c/a\u003e (add quality constraint kind) (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/182\"\u003e#182\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/c804d24f0fd8d9cd81f5c4a1a247aca214196542...64a6980dc366b676ba0ce734ac9107792b949c2b\"\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/fiat-crypto/pull/2206","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2206","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2206/packages"}},{"old_version":"`c804d24`","new_version":"`75f83e2`","update_type":null,"path":null,"pr_created_at":"2025-12-05T08:02:53.000Z","version_change":"`c804d24` → `75f83e2`","issue":{"uuid":"3697894248","node_id":"PR_kwDOAoT5bM63PUQy","number":2205,"state":"closed","title":"Bump rewriter from `c804d24` to `75f83e2`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-12-08T08:03:50.000Z","author_association":null,"state_reason":null,"created_at":"2025-12-05T08:02:53.000Z","updated_at":"2025-12-08T08:03:52.000Z","time_to_close":259257,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`c804d24`","new_version":"`75f83e2`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `c804d24` to `75f83e2`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/75f83e2601e883795934533aaa3a779370706f37\"\u003e\u003ccode\u003e75f83e2\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21391\"\u003erocq-prover/rocq#21391\u003c/a\u003e. (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/184\"\u003e#184\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/2e76ff083bcda08340cfa3bcf345278e165f0e71\"\u003e\u003ccode\u003e2e76ff0\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21195\"\u003erocq-prover/rocq#21195\u003c/a\u003e (add quality constraint kind) (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/182\"\u003e#182\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/c804d24f0fd8d9cd81f5c4a1a247aca214196542...75f83e2601e883795934533aaa3a779370706f37\"\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/fiat-crypto/pull/2205","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2205","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2205/packages"}},{"old_version":"`c804d24`","new_version":"`2e76ff0`","update_type":null,"path":null,"pr_created_at":"2025-12-04T08:03:18.000Z","version_change":"`c804d24` → `2e76ff0`","issue":{"uuid":"3693393057","node_id":"PR_kwDOAoT5bM63ABiW","number":2204,"state":"closed","title":"Bump rewriter from `c804d24` to `2e76ff0`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-12-05T08:02:56.000Z","author_association":null,"state_reason":null,"created_at":"2025-12-04T08:03:18.000Z","updated_at":"2025-12-05T08:02:58.000Z","time_to_close":86378,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`c804d24`","new_version":"`2e76ff0`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `c804d24` to `2e76ff0`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/2e76ff083bcda08340cfa3bcf345278e165f0e71\"\u003e\u003ccode\u003e2e76ff0\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21195\"\u003erocq-prover/rocq#21195\u003c/a\u003e (add quality constraint kind) (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/182\"\u003e#182\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/c804d24f0fd8d9cd81f5c4a1a247aca214196542...2e76ff083bcda08340cfa3bcf345278e165f0e71\"\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/fiat-crypto/pull/2204","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2204","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2204/packages"}},{"old_version":"`3c8c20d`","new_version":"`5db7ca1`","update_type":null,"path":null,"pr_created_at":"2025-09-30T08:03:54.000Z","version_change":"`3c8c20d` → `5db7ca1`","issue":{"uuid":"2873347299","node_id":"PR_kwDOAoT5bM6rQ8zj","number":2171,"state":"closed","title":"Bump rewriter from `3c8c20d` to `5db7ca1`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-30T13:45:46.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-30T08:03:54.000Z","updated_at":"2025-09-30T13:45:46.000Z","time_to_close":20512,"merged_at":"2025-09-30T13:45:45.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`3c8c20d`","new_version":"`5db7ca1`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `3c8c20d` to `5db7ca1`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/5db7ca1925beb385f7d46c847a51359ee9d1a2c3\"\u003e\u003ccode\u003e5db7ca1\u003c/code\u003e\u003c/a\u003e Fix Windows CI by replacing deprecated wmic commands with PowerShell alternat...\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/3c8c20d4a353103175660aea12c76a28ed3b4297...5db7ca1925beb385f7d46c847a51359ee9d1a2c3\"\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/fiat-crypto/pull/2171","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2171","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2171/packages"}},{"old_version":"`f15c124`","new_version":"`3c8c20d`","update_type":null,"path":null,"pr_created_at":"2025-09-29T09:48:03.000Z","version_change":"`f15c124` → `3c8c20d`","issue":{"uuid":"2869848017","node_id":"PR_kwDOAoT5bM6rDmfR","number":2167,"state":"closed","title":"Bump rewriter from `f15c124` to `3c8c20d`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-09-30T06:03:49.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-29T09:48:03.000Z","updated_at":"2025-09-30T06:03:50.000Z","time_to_close":72946,"merged_at":"2025-09-30T06:03:49.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`f15c124`","new_version":"`3c8c20d`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `f15c124` to `3c8c20d`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/3c8c20d4a353103175660aea12c76a28ed3b4297\"\u003e\u003ccode\u003e3c8c20d\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/issues/21110\"\u003erocq-prover/rocq#21110\u003c/a\u003e. (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/178\"\u003e#178\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/f15c124c0e6db7ead5ae3207ead6a159492a19d2...3c8c20d4a353103175660aea12c76a28ed3b4297\"\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/fiat-crypto/pull/2167","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2167","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2167/packages"}},{"old_version":"`34f3738`","new_version":"`f15c124`","update_type":null,"path":null,"pr_created_at":"2025-09-11T08:03:09.000Z","version_change":"`34f3738` → `f15c124`","issue":{"uuid":"2818081274","node_id":"PR_kwDOAoT5bM6n-IH6","number":2158,"state":"closed","title":"Bump rewriter from `34f3738` to `f15c124`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-17T04:40:09.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-11T08:03:09.000Z","updated_at":"2025-09-17T04:40:09.000Z","time_to_close":506220,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`34f3738`","new_version":"`f15c124`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `34f3738` to `f15c124`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/f15c124c0e6db7ead5ae3207ead6a159492a19d2\"\u003e\u003ccode\u003ef15c124\u003c/code\u003e\u003c/a\u003e Adapt to \u003ca href=\"https://redirect.github.com/rocq-prover/rocq/pull/20816\"\u003erocq-prover/rocq#20816\u003c/a\u003e\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/34f37389aa2a1c6cda63e508f4b3a915027561d3...f15c124c0e6db7ead5ae3207ead6a159492a19d2\"\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/fiat-crypto/pull/2158","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2158","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2158/packages"}},{"old_version":"`27a5326`","new_version":"`34f3738`","update_type":null,"path":null,"pr_created_at":"2025-08-13T08:07:48.000Z","version_change":"`27a5326` → `34f3738`","issue":{"uuid":"2741878703","node_id":"PR_kwDOAoT5bM6jbb-v","number":2139,"state":"open","title":"Bump rewriter from `27a5326` to `34f3738`","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-08-13T08:07:48.000Z","updated_at":"2025-08-13T08:07:48.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`27a5326`","new_version":"`34f3738`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `27a5326` to `34f3738`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/34f37389aa2a1c6cda63e508f4b3a915027561d3\"\u003e\u003ccode\u003e34f3738\u003c/code\u003e\u003c/a\u003e Bump actions/checkout from 4 to 5 (\u003ca href=\"https://redirect.github.com/mit-plv/rewriter/issues/175\"\u003e#175\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/27a53261fda88f9d30e7520da23ded50764254f1...34f37389aa2a1c6cda63e508f4b3a915027561d3\"\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/fiat-crypto/pull/2139","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2139","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2139/packages"}},{"old_version":"`9496def`","new_version":"`27a5326`","update_type":null,"path":null,"pr_created_at":"2025-07-01T11:02:20.000Z","version_change":"`9496def` → `27a5326`","issue":{"uuid":"3191978060","node_id":"PR_kwDOAoT5bM6c4ViZ","number":2114,"state":"open","title":"Bump rewriter from `9496def` to `27a5326`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":4,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-01T11:02:20.000Z","updated_at":"2025-07-21T21:01:32.746Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`9496def`","new_version":"`27a5326`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `9496def` to `27a5326`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/27a53261fda88f9d30e7520da23ded50764254f1\"\u003e\u003ccode\u003e27a5326\u003c/code\u003e\u003c/a\u003e Update coq-opam-package.yml\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/9496defb8b236f442d11372f6e0b5e48aa38acfc...27a53261fda88f9d30e7520da23ded50764254f1\"\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/fiat-crypto/pull/2114","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2114","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2114/packages"}},{"old_version":"`4b028fc`","new_version":"`9496def`","update_type":null,"path":null,"pr_created_at":"2025-04-04T08:55:48.000Z","version_change":"`4b028fc` → `9496def`","issue":{"uuid":"2971711010","node_id":"PR_kwDOAoT5bM6RX11C","number":2073,"state":"open","title":"Bump rewriter from `4b028fc` to `9496def`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":4,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-04-04T08:55:48.000Z","updated_at":"2025-06-07T10:31:19.159Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rewriter","old_version":"`4b028fc`","new_version":"`9496def`","repository_url":"https://github.com/mit-plv/rewriter"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rewriter](https://github.com/mit-plv/rewriter) from `4b028fc` to `9496def`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rewriter/commit/9496defb8b236f442d11372f6e0b5e48aa38acfc\"\u003e\u003ccode\u003e9496def\u003c/code\u003e\u003c/a\u003e [CI] validate also needs coq\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rewriter/compare/4b028fc74877aedf8c240c288be3e5db29961098...9496defb8b236f442d11372f6e0b5e48aa38acfc\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nYou can trigger a rebase of this PR 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\n\n\u003e **Note**\n\u003e Automatic rebases have been disabled on this pull request as it has been open for over 30 days.\n","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2073","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2073","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2073/packages"}}]}