PLFA agda exercises

Bump html-validate from 10.3.1 to 10.4.0 (#1148)

Bumps html-validate from 10.3.1 to 10.4.0. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://gitlab.com/html-validate/html-validate/tags">html-validate's releases</a>.</em></p> <blockquote> <h2>v10.4.0</h2> <h2>10.4.0 (2025-11-17)</h2> <h3>Features</h3> <ul> <li><strong>meta:</strong> new metadata helper <code>hasKeyword</code> to test if a space-separated list contains a given keyword (<a href="https://gitlab.com/html-validate/html-validate/commit/e1f0099b7a67c61fdc520f2b63a5fe289a69ce67">e1f0099</a>)</li> <li><strong>meta:</strong> support <code>attribute.required</code> as callback (<a href="https://gitlab.com/html-validate/html-validate/commit/f0292a71106913cc8cea7bb2f66a3c7c76d0fbb1">f0292a7</a>)</li> </ul> <h3>Bug Fixes</h3> <ul> <li><strong>html5:</strong> <code>&lt;link&gt;</code> <code>imagesrcset</code> and <code>imagesizes</code> attributes are only allowed if <code>rel=&quot;preload&quot;</code> and <code>as=&quot;image&quot;</code> (<a href="https://gitlab.com/html-validate/html-validate/commit/7b5ade4cd85b10c915585d8229a4a0f82bf10d28">7b5ade4</a>)</li> <li><strong>html5:</strong> <code>&lt;link&gt;</code> only requires <code>href</code> if <code>imagesrcset</code> is absent (<a href="https://gitlab.com/html-validate/html-validate/commit/f0d2f6abdc82fbcd074a61e2bf5b17efc537e71c">f0d2f6a</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/330">#330</a></li> <li><strong>html5:</strong> <code>&lt;link&gt;</code> requires <code>imagesizes</code> if <code>imagesrcset</code> is present (<a href="https://gitlab.com/html-validate/html-validate/commit/6fdc002340362d6c8f921ee01c120649bbd8cc00">6fdc002</a>)</li> </ul> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://gitlab.com/html-validate/html-validate/blob/master/CHANGELOG.md">html-validate's changelog</a>.</em></p> <blockquote> <h2>10.4.0 (2025-11-17)</h2> <h3>Features</h3> <ul> <li><strong>meta:</strong> new metadata helper <code>hasKeyword</code> to test if a space-separated list contains a given keyword (<a href="https://gitlab.com/html-validate/html-validate/commit/e1f0099b7a67c61fdc520f2b63a5fe289a69ce67">e1f0099</a>)</li> <li><strong>meta:</strong> support <code>attribute.required</code> as callback (<a href="https://gitlab.com/html-validate/html-validate/commit/f0292a71106913cc8cea7bb2f66a3c7c76d0fbb1">f0292a7</a>)</li> </ul> <h3>Bug Fixes</h3> <ul> <li><strong>html5:</strong> <code>&lt;link&gt;</code> <code>imagesrcset</code> and <code>imagesizes</code> attributes are only allowed if <code>rel=&quot;preload&quot;</code> and <code>as=&quot;image&quot;</code> (<a href="https://gitlab.com/html-validate/html-validate/commit/7b5ade4cd85b10c915585d8229a4a0f82bf10d28">7b5ade4</a>)</li> <li><strong>html5:</strong> <code>&lt;link&gt;</code> only requires <code>href</code> if <code>imagesrcset</code> is absent (<a href="https://gitlab.com/html-validate/html-validate/commit/f0d2f6abdc82fbcd074a61e2bf5b17efc537e71c">f0d2f6a</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/330">#330</a></li> <li><strong>html5:</strong> <code>&lt;link&gt;</code> requires <code>imagesizes</code> if <code>imagesrcset</code> is present (<a href="https://gitlab.com/html-validate/html-validate/commit/6fdc002340362d6c8f921ee01c120649bbd8cc00">6fdc002</a>)</li> </ul> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://gitlab.com/html-validate/html-validate/commit/925885bf0e49acdaf0a679177b1c837e01b7cec1"><code>925885b</code></a> chore(release): 10.4.0</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/7ee7ba570661b89ea026c267b9a9895bc0a5b28a"><code>7ee7ba5</code></a> Merge branch 'bugfix/link-imagesrcset' into 'master'</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/7b5ade4cd85b10c915585d8229a4a0f82bf10d28"><code>7b5ade4</code></a> fix(html5): <code>&amp;lt;link&gt;</code> <code>imagesrcset</code> and <code>imagesizes</code> attributes are only allow…</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/6fdc002340362d6c8f921ee01c120649bbd8cc00"><code>6fdc002</code></a> fix(html5): <code>&amp;lt;link&gt;</code> requires <code>imagesizes</code> if <code>imagesrcset</code> is present</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/f0d2f6abdc82fbcd074a61e2bf5b17efc537e71c"><code>f0d2f6a</code></a> fix(html5): <code>&amp;lt;link&gt;</code> only requires <code>href</code> if <code>imagesrcset</code> is absent</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/f0292a71106913cc8cea7bb2f66a3c7c76d0fbb1"><code>f0292a7</code></a> feat(meta): support <code>attribute.required</code> as callback</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/e1f0099b7a67c61fdc520f2b63a5fe289a69ce67"><code>e1f0099</code></a> feat(meta): new metadata helper <code>hasKeyword</code> to test if a space-separated lis…</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/aa24cc67ecae106f2e8117518a7cbe66e38af6af"><code>aa24cc6</code></a> chore(deps): lock file maintenance</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/ca67490a9f55e6d1e46f61c96481e6ad90e71e66"><code>ca67490</code></a> Merge branch 'renovate/vite-7.x' into 'master'</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/3acb4dec41c0a031039de59b5868de934af6a014"><code>3acb4de</code></a> chore(deps): update dependency vite to v7.2.2</li> <li>Additional commits viewable in <a href="https://gitlab.com/html-validate/html-validate/compare/v10.3.1…v10.4.0">compare view</a></li> </ul> </details> <br />

Dependabot compatibility score

Dependabot 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.


<details> <summary>Dependabot commands and options</summary> <br />

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show &lt;dependency name&gt; ignore conditions will show all of the ignore conditions of the specified dependency
  • @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)
  • @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)
  • @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)

</details>

Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Created by  dependabot[bot]  on November 19, 2025
JKPHFMDDBW62W2HGYOGLHTPGFM3FRI5T4AG2NTVVSG7WXSDSWD4QC
Change contents