PLFA agda exercises

Bump sass from 1.94.0 to 1.94.2 (#1152)

Bumps sass from 1.94.0 to 1.94.2. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/sass/dart-sass/releases">sass's releases</a>.</em></p> <blockquote> <h2>Dart Sass 1.94.2</h2> <p>To install Sass 1.94.2, download one of the packages below and <a href="https://katiek2.github.io/path-doc/">add it to your PATH</a>, or see <a href="https://sass-lang.com/install">the Sass website</a> for full installation instructions.</p> <h1>Changes</h1> <h3>Command-Line Interface</h3> <ul> <li>Using <code>–fatal-deprecation &lt;version&gt;</code> no longer emits warnings about deprecations that are obsolete.</li> </ul> <h3>Dart API</h3> <ul> <li><code>Deprecation.forVersion</code> now excludes obsolete deprecations from the set it returns.</li> </ul> <h3>JS API</h3> <ul> <li>Excludes obsolete deprecations from <code>fatalDeprecations</code> when a <code>Version</code> is passed.</li> </ul> <h3>Node.js Embedded Host</h3> <ul> <li>Fix a bug where a variable could be used before it was initialized during async compilation.</li> </ul> <p>See the <a href="https://github.com/sass/dart-sass/blob/master/CHANGELOG.md#1942">full changelog</a> for changes in earlier releases.</p> <h2>Dart Sass 1.94.1</h2> <p>To install Sass 1.94.1, download one of the packages below and <a href="https://katiek2.github.io/path-doc/">add it to your PATH</a>, or see <a href="https://sass-lang.com/install">the Sass website</a> for full installation instructions.</p> <h1>Changes</h1> <ul> <li>No user-visible changes.</li> </ul> <p>See the <a href="https://github.com/sass/dart-sass/blob/master/CHANGELOG.md#1941">full changelog</a> for changes in earlier releases.</p> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/sass/dart-sass/blob/main/CHANGELOG.md">sass's changelog</a>.</em></p> <blockquote> <h2>1.94.2</h2> <h3>Command-Line Interface</h3> <ul> <li>Using <code>–fatal-deprecation &lt;version&gt;</code> no longer emits warnings about deprecations that are obsolete.</li> </ul> <h3>Dart API</h3> <ul> <li><code>Deprecation.forVersion</code> now excludes obsolete deprecations from the set it returns.</li> </ul> <h3>JS API</h3> <ul> <li>Excludes obsolete deprecations from <code>fatalDeprecations</code> when a <code>Version</code> is passed.</li> </ul> <h3>Node.js Embedded Host</h3> <ul> <li>Fix a bug where a variable could be used before it was initialized during async compilation.</li> </ul> <h2>1.94.1</h2> <ul> <li>No user-visible changes.</li> </ul> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/sass/dart-sass/commit/7af5122786598ea6866986979535022b8ff8839c"><code>7af5122</code></a> Mention obsolete deprecation fix in all API surfaces (<a href="https://redirect.github.com/sass/dart-sass/issues/2683">#2683</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/82b96b09b0d64702cdb59ae5a16a36faa0feff52"><code>82b96b0</code></a> Update pubspec/changelog for <a href="https://redirect.github.com/sass/embedded-host-node/issues/399">sass/embedded-host-node#399</a> (<a href="https://redirect.github.com/sass/dart-sass/issues/2682">#2682</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/18fddef852ef64ee5dbff9a415b4929ee9126832"><code>18fddef</code></a> –fatal-deprecation excludes obsolete Deprecations (<a href="https://redirect.github.com/sass/dart-sass/issues/2671">#2671</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/0356a2b8b785aae7fd9135d54cbd48e863ffba2a"><code>0356a2b</code></a> Pass –provenance to <code>npm publish</code> (<a href="https://redirect.github.com/sass/dart-sass/issues/2681">#2681</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/52fc718e0ccd6c7340f1419283fad7e261c31d4e"><code>52fc718</code></a> Update the repository URL for JS packages (<a href="https://redirect.github.com/sass/dart-sass/issues/2679">#2679</a>)</li> <li>See full diff in <a href="https://github.com/sass/dart-sass/compare/1.94.0…1.94.2">compare view</a></li> </ul> </details> <br />

<details> <summary>Most Recent Ignore Conditions Applied to This Pull Request</summary>

Dependency NameIgnore Conditions
sass[< 1.55, > 1.54.0]
</details>

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 24, 2025
4HYMLDIEKDSCJO45UXTKZPC35SFYVSX7E4OFNR26IX3R7H4TH6RAC
Change contents