{"id":31967,"name":"external/record-update","ecosystem":"submodules","repository_url":null,"issues_count":7,"created_at":"2025-06-07T10:37:08.330Z","updated_at":"2025-06-07T10:37:08.330Z","purl":"pkg:submodules/external/record-update","unique_repositories_count":2,"unique_repositories_count_past_30_days":2,"recent_issues":[{"uuid":"2797578561","node_id":"PR_kwDOPSBZtc6mv6lB","number":24,"state":"closed","title":"Bump external/record-update from `f96b4b8` to `db86302`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-04T00:12:42.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-04T00:12:31.000Z","updated_at":"2025-09-04T00:12:42.000Z","time_to_close":11,"merged_at":"2025-09-04T00:12:42.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/record-update","old_version":"`f96b4b8`","new_version":"`db86302`","repository_url":"https://github.com/tchajed/coq-record-update"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/record-update](https://github.com/tchajed/coq-record-update) from `f96b4b8` to `db86302`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/coq-record-update/commit/db86302313a6d0146bee50ef92d83369c58ef3e8\"\u003e\u003ccode\u003edb86302\u003c/code\u003e\u003c/a\u003e Normalize Windows CRLF line endings\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/coq-record-update/compare/f96b4b8f0559197eaab2ac296db447f12f4baf89...db86302313a6d0146bee50ef92d83369c58ef3e8\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/tlsomers/perennial/pull/24","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlsomers%2Fperennial/issues/24","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/24/packages"},{"uuid":"2797564875","node_id":"PR_kwDOClcaEM6mv3PL","number":353,"state":"closed","title":"build(deps): bump external/record-update from `f96b4b8` to `db86302`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-09-05T09:52:31.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-04T00:00:28.000Z","updated_at":"2025-09-05T09:52:31.000Z","time_to_close":121923,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"external/record-update","old_version":"`f96b4b8`","new_version":"`db86302`","repository_url":"https://github.com/tchajed/coq-record-update"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/record-update](https://github.com/tchajed/coq-record-update) from `f96b4b8` to `db86302`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/coq-record-update/commit/db86302313a6d0146bee50ef92d83369c58ef3e8\"\u003e\u003ccode\u003edb86302\u003c/code\u003e\u003c/a\u003e Normalize Windows CRLF line endings\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/coq-record-update/compare/f96b4b8f0559197eaab2ac296db447f12f4baf89...db86302313a6d0146bee50ef92d83369c58ef3e8\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-pdos/perennial/pull/353","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/353","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/353/packages"},{"uuid":"2712455149","node_id":"PR_kwDOClcaEM6hrMft","number":316,"state":"closed","title":"Bump external/record-update from `ae80708` to `f96b4b8`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-08-01T10:13:10.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-01T08:37:30.000Z","updated_at":"2025-08-01T10:13:10.000Z","time_to_close":5740,"merged_at":"2025-08-01T10:13:10.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/record-update","old_version":"`ae80708`","new_version":"`f96b4b8`","repository_url":"https://github.com/tchajed/coq-record-update"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/record-update](https://github.com/tchajed/coq-record-update) from `ae80708` to `f96b4b8`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/coq-record-update/commit/f96b4b8f0559197eaab2ac296db447f12f4baf89\"\u003e\u003ccode\u003ef96b4b8\u003c/code\u003e\u003c/a\u003e Update dune setup\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/coq-record-update/compare/ae807081c6b6deaecbc277adf0233f63b2beba1e...f96b4b8f0559197eaab2ac296db447f12f4baf89\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-pdos/perennial/pull/316","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/316","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/316/packages"},{"uuid":"2655088839","node_id":"PR_kwDOClcaEM6eQXDH","number":296,"state":"closed","title":"Bump external/record-update from `362665b` to `ae80708`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-07-10T10:06:15.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-10T08:27:10.000Z","updated_at":"2025-07-10T10:06:15.000Z","time_to_close":5945,"merged_at":"2025-07-10T10:06:15.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/record-update","old_version":"`362665b`","new_version":"`ae80708`","repository_url":"https://github.com/tchajed/coq-record-update"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/record-update](https://github.com/tchajed/coq-record-update) from `362665b` to `ae80708`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/coq-record-update/commit/ae807081c6b6deaecbc277adf0233f63b2beba1e\"\u003e\u003ccode\u003eae80708\u003c/code\u003e\u003c/a\u003e Avoid \u003ccode\u003econgruence\u003c/code\u003e in \u003ccode\u003eSetterWf\u003c/code\u003e tactic to avoid exponential slowdown (\u003ca href=\"https://redirect.github.com/tchajed/coq-record-update/issues/58\"\u003e#58\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/coq-record-update/compare/362665b78f4647ad83bd141ed5c9462ba64294e8...ae807081c6b6deaecbc277adf0233f63b2beba1e\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-pdos/perennial/pull/296","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/296","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/296/packages"},{"uuid":"2530873940","node_id":"PR_kwDOClcaEM6W2hJU","number":255,"state":"closed","title":"Bump external/record-update from `8792589` to `bad8ce2`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-05-20T10:38:31.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-20T08:59:34.000Z","updated_at":"2025-05-20T10:38:31.000Z","time_to_close":5937,"merged_at":"2025-05-20T10:38:31.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/record-update","old_version":"`8792589`","new_version":"`bad8ce2`","repository_url":"https://github.com/tchajed/coq-record-update"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/record-update](https://github.com/tchajed/coq-record-update) from `8792589` to `bad8ce2`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/coq-record-update/commit/bad8ce2ea78fd095cc1d31c0413652b7f7f74c7d\"\u003e\u003ccode\u003ebad8ce2\u003c/code\u003e\u003c/a\u003e Generate Settable using Ltac2 (\u003ca href=\"https://redirect.github.com/tchajed/coq-record-update/issues/55\"\u003e#55\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/coq-record-update/compare/879258959a01d61d85a76181634311bc82bf0c18...bad8ce2ea78fd095cc1d31c0413652b7f7f74c7d\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-pdos/perennial/pull/255","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/255","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/255/packages"},{"uuid":"2521416202","node_id":"PR_kwDOClcaEM6WScIK","number":252,"state":"closed","title":"Bump external/record-update from `ba3abbc` to `8792589`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":2,"pull_request":true,"closed_at":"2025-05-15T17:48:43.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-15T08:53:39.000Z","updated_at":"2025-05-15T17:48:43.000Z","time_to_close":32104,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/record-update","old_version":"`ba3abbc`","new_version":"`8792589`","repository_url":"https://github.com/tchajed/coq-record-update"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/record-update](https://github.com/tchajed/coq-record-update) from `ba3abbc` to `8792589`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/coq-record-update/commit/879258959a01d61d85a76181634311bc82bf0c18\"\u003e\u003ccode\u003e8792589\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/tchajed/coq-record-update/issues/54\"\u003e#54\u003c/a\u003e from tchajed/argument-simpl\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/coq-record-update/commit/fc8e456a06115ae37a3b26f3d0a6ab1ac42f78a4\"\u003e\u003ccode\u003efc8e456\u003c/code\u003e\u003c/a\u003e Reduce set when applied to a constructor\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/coq-record-update/compare/ba3abbcd334cf6313a19342bcefb3eedfadd098f...879258959a01d61d85a76181634311bc82bf0c18\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-pdos/perennial/pull/252","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/252","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/252/packages"}],"issue_packages":[{"old_version":"`f96b4b8`","new_version":"`db86302`","update_type":null,"path":null,"pr_created_at":"2025-09-04T00:12:31.000Z","version_change":"`f96b4b8` → `db86302`","issue":{"uuid":"2797578561","node_id":"PR_kwDOPSBZtc6mv6lB","number":24,"state":"closed","title":"Bump external/record-update from `f96b4b8` to `db86302`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-04T00:12:42.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-04T00:12:31.000Z","updated_at":"2025-09-04T00:12:42.000Z","time_to_close":11,"merged_at":"2025-09-04T00:12:42.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/record-update","old_version":"`f96b4b8`","new_version":"`db86302`","repository_url":"https://github.com/tchajed/coq-record-update"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/record-update](https://github.com/tchajed/coq-record-update) from `f96b4b8` to `db86302`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/coq-record-update/commit/db86302313a6d0146bee50ef92d83369c58ef3e8\"\u003e\u003ccode\u003edb86302\u003c/code\u003e\u003c/a\u003e Normalize Windows CRLF line endings\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/coq-record-update/compare/f96b4b8f0559197eaab2ac296db447f12f4baf89...db86302313a6d0146bee50ef92d83369c58ef3e8\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/tlsomers/perennial/pull/24","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlsomers%2Fperennial/issues/24","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/24/packages"}},{"old_version":"`f96b4b8`","new_version":"`db86302`","update_type":null,"path":null,"pr_created_at":"2025-09-04T00:00:28.000Z","version_change":"`f96b4b8` → `db86302`","issue":{"uuid":"2797564875","node_id":"PR_kwDOClcaEM6mv3PL","number":353,"state":"closed","title":"build(deps): bump external/record-update from `f96b4b8` to `db86302`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-09-05T09:52:31.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-04T00:00:28.000Z","updated_at":"2025-09-05T09:52:31.000Z","time_to_close":121923,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"external/record-update","old_version":"`f96b4b8`","new_version":"`db86302`","repository_url":"https://github.com/tchajed/coq-record-update"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/record-update](https://github.com/tchajed/coq-record-update) from `f96b4b8` to `db86302`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/coq-record-update/commit/db86302313a6d0146bee50ef92d83369c58ef3e8\"\u003e\u003ccode\u003edb86302\u003c/code\u003e\u003c/a\u003e Normalize Windows CRLF line endings\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/coq-record-update/compare/f96b4b8f0559197eaab2ac296db447f12f4baf89...db86302313a6d0146bee50ef92d83369c58ef3e8\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-pdos/perennial/pull/353","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/353","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/353/packages"}},{"old_version":"`ae80708`","new_version":"`f96b4b8`","update_type":null,"path":null,"pr_created_at":"2025-08-01T08:37:30.000Z","version_change":"`ae80708` → `f96b4b8`","issue":{"uuid":"2712455149","node_id":"PR_kwDOClcaEM6hrMft","number":316,"state":"closed","title":"Bump external/record-update from `ae80708` to `f96b4b8`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-08-01T10:13:10.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-01T08:37:30.000Z","updated_at":"2025-08-01T10:13:10.000Z","time_to_close":5740,"merged_at":"2025-08-01T10:13:10.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/record-update","old_version":"`ae80708`","new_version":"`f96b4b8`","repository_url":"https://github.com/tchajed/coq-record-update"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/record-update](https://github.com/tchajed/coq-record-update) from `ae80708` to `f96b4b8`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/coq-record-update/commit/f96b4b8f0559197eaab2ac296db447f12f4baf89\"\u003e\u003ccode\u003ef96b4b8\u003c/code\u003e\u003c/a\u003e Update dune setup\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/coq-record-update/compare/ae807081c6b6deaecbc277adf0233f63b2beba1e...f96b4b8f0559197eaab2ac296db447f12f4baf89\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-pdos/perennial/pull/316","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/316","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/316/packages"}},{"old_version":"`362665b`","new_version":"`ae80708`","update_type":null,"path":null,"pr_created_at":"2025-07-10T08:27:10.000Z","version_change":"`362665b` → `ae80708`","issue":{"uuid":"2655088839","node_id":"PR_kwDOClcaEM6eQXDH","number":296,"state":"closed","title":"Bump external/record-update from `362665b` to `ae80708`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-07-10T10:06:15.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-10T08:27:10.000Z","updated_at":"2025-07-10T10:06:15.000Z","time_to_close":5945,"merged_at":"2025-07-10T10:06:15.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/record-update","old_version":"`362665b`","new_version":"`ae80708`","repository_url":"https://github.com/tchajed/coq-record-update"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/record-update](https://github.com/tchajed/coq-record-update) from `362665b` to `ae80708`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/coq-record-update/commit/ae807081c6b6deaecbc277adf0233f63b2beba1e\"\u003e\u003ccode\u003eae80708\u003c/code\u003e\u003c/a\u003e Avoid \u003ccode\u003econgruence\u003c/code\u003e in \u003ccode\u003eSetterWf\u003c/code\u003e tactic to avoid exponential slowdown (\u003ca href=\"https://redirect.github.com/tchajed/coq-record-update/issues/58\"\u003e#58\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/coq-record-update/compare/362665b78f4647ad83bd141ed5c9462ba64294e8...ae807081c6b6deaecbc277adf0233f63b2beba1e\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-pdos/perennial/pull/296","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/296","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/296/packages"}},{"old_version":"`8792589`","new_version":"`bad8ce2`","update_type":null,"path":null,"pr_created_at":"2025-05-20T08:59:34.000Z","version_change":"`8792589` → `bad8ce2`","issue":{"uuid":"2530873940","node_id":"PR_kwDOClcaEM6W2hJU","number":255,"state":"closed","title":"Bump external/record-update from `8792589` to `bad8ce2`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-05-20T10:38:31.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-20T08:59:34.000Z","updated_at":"2025-05-20T10:38:31.000Z","time_to_close":5937,"merged_at":"2025-05-20T10:38:31.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/record-update","old_version":"`8792589`","new_version":"`bad8ce2`","repository_url":"https://github.com/tchajed/coq-record-update"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/record-update](https://github.com/tchajed/coq-record-update) from `8792589` to `bad8ce2`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/coq-record-update/commit/bad8ce2ea78fd095cc1d31c0413652b7f7f74c7d\"\u003e\u003ccode\u003ebad8ce2\u003c/code\u003e\u003c/a\u003e Generate Settable using Ltac2 (\u003ca href=\"https://redirect.github.com/tchajed/coq-record-update/issues/55\"\u003e#55\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/coq-record-update/compare/879258959a01d61d85a76181634311bc82bf0c18...bad8ce2ea78fd095cc1d31c0413652b7f7f74c7d\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-pdos/perennial/pull/255","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/255","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/255/packages"}},{"old_version":"`ba3abbc`","new_version":"`8792589`","update_type":null,"path":null,"pr_created_at":"2025-05-15T08:53:39.000Z","version_change":"`ba3abbc` → `8792589`","issue":{"uuid":"2521416202","node_id":"PR_kwDOClcaEM6WScIK","number":252,"state":"closed","title":"Bump external/record-update from `ba3abbc` to `8792589`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":2,"pull_request":true,"closed_at":"2025-05-15T17:48:43.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-15T08:53:39.000Z","updated_at":"2025-05-15T17:48:43.000Z","time_to_close":32104,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/record-update","old_version":"`ba3abbc`","new_version":"`8792589`","repository_url":"https://github.com/tchajed/coq-record-update"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/record-update](https://github.com/tchajed/coq-record-update) from `ba3abbc` to `8792589`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/coq-record-update/commit/879258959a01d61d85a76181634311bc82bf0c18\"\u003e\u003ccode\u003e8792589\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/tchajed/coq-record-update/issues/54\"\u003e#54\u003c/a\u003e from tchajed/argument-simpl\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/coq-record-update/commit/fc8e456a06115ae37a3b26f3d0a6ab1ac42f78a4\"\u003e\u003ccode\u003efc8e456\u003c/code\u003e\u003c/a\u003e Reduce set when applied to a constructor\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/coq-record-update/compare/ba3abbcd334cf6313a19342bcefb3eedfadd098f...879258959a01d61d85a76181634311bc82bf0c18\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-pdos/perennial/pull/252","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/252","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/252/packages"}}]}