PLFA agda exercises

Bump sass from 1.90.0 to 1.93.2 (#1133)

Bumps sass from 1.90.0 to 1.93.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.93.2</h2> <p>To install Sass 1.93.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> <ul> <li>No user-visible changes.</li> </ul> <h3>JavaScript API</h3> <ul> <li>Fix another error in the release process for <code>@sass/types</code>.</li> </ul> <p>See the <a href="https://github.com/sass/dart-sass/blob/master/CHANGELOG.md#1932">full changelog</a> for changes in earlier releases.</p> <h2>Dart Sass 1.93.1</h2> <p>To install Sass 1.93.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> <h3>JavaScript API</h3> <ul> <li>Fix an error in the release process for <code>@sass/types</code>.</li> </ul> <p>See the <a href="https://github.com/sass/dart-sass/blob/master/CHANGELOG.md#1931">full changelog</a> for changes in earlier releases.</p> <h2>Dart Sass 1.93.0</h2> <p>To install Sass 1.93.0, 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>Fix a crash when a style rule contains a nested <code>@import</code>, and the loaded file <code>@use</code>s a user-defined module as well as <code>@include</code>s a top-level mixin which emits top-level declarations.</li> </ul> <h3>JavaScript API</h3> <ul> <li>Release a <code>@sass/types</code> package which contains the type annotations used by both the <code>sass</code> and <code>sass-embedded</code> package without any additional code or dependencies.</li> </ul> <p>See the <a href="https://github.com/sass/dart-sass/blob/master/CHANGELOG.md#1930">full changelog</a> for changes in earlier releases.</p> <h2>Dart Sass 1.92.1</h2> <p>To install Sass 1.92.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> <!– raw HTML omitted –> </blockquote> <p>… (truncated)</p> </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.93.2</h2> <ul> <li>No user-visible changes.</li> </ul> <h3>JavaScript API</h3> <ul> <li>Fix another error in the release process for <code>@sass/types</code>.</li> </ul> <h2>1.93.1</h2> <ul> <li>No user-visible changes.</li> </ul> <h3>JavaScript API</h3> <ul> <li>Fix an error in the release process for <code>@sass/types</code>.</li> </ul> <h2>1.93.0</h2> <ul> <li>Fix a crash when a style rule contains a nested <code>@import</code>, and the loaded file <code>@use</code>s a user-defined module as well as <code>@include</code>s a top-level mixin which emits top-level declarations.</li> </ul> <h3>JavaScript API</h3> <ul> <li>Release a <code>@sass/types</code> package which contains the type annotations used by both the <code>sass</code> and <code>sass-embedded</code> package without any additional code or dependencies.</li> </ul> <h2>1.92.1</h2> <ul> <li>Fix a bug where variable definitions from one imported, forwarded module would not be passed as implicit configuration to a later imported, forwarded module.</li> </ul> <h2>1.92.0</h2> <ul> <li> <p><strong>Breaking change:</strong> Emit declarations, childless at-rules, and comments in the order they appear in the source even when they're interleaved with nested rules. This obsoletes the <code>mixed-decls</code> deprecation.</p> </li> <li> <p><strong>Breaking change:</strong> The function name <code>type()</code> is now fully reserved for the plain CSS function. This means that <code>@function</code> definitions with the name <code>type</code> will produce errors, while function calls will be parsed as special function strings.</p> </li> <li> <p>Configuring private variables using <code>@use … with</code>, <code>@forward … with</code>, and <code>meta.load-css(…, $with: …)</code> is now deprecated. Private variables were always intended to be fully encapsulated within the module that defines them, and this helps enforce that encapsulation.</p> </li> </ul> <!– raw HTML omitted –> </blockquote> <p>… (truncated)</p> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/sass/dart-sass/commit/b8b35e815747c2a1935e6c19b7075c70313437fc"><code>b8b35e8</code></a> Mark <code>@​sass/types</code> as public (<a href="https://redirect.github.com/sass/dart-sass/issues/2653">#2653</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/0b7d6d942e60181b9e20181d56736ff07471a3b2"><code>0b7d6d9</code></a> Empty commit</li> <li><a href="https://github.com/sass/dart-sass/commit/4e94339f6e1e7222d81b50d39dd3c6739145e4be"><code>4e94339</code></a> Fix the release script for <code>@sass/types</code> (<a href="https://redirect.github.com/sass/dart-sass/issues/2651">#2651</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/710ef8021a134b33a40f0eb48964dc457827723a"><code>710ef80</code></a> Switch to macos-15-intel runner (<a href="https://redirect.github.com/sass/dart-sass/issues/2650">#2650</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/307226a6023220433eee00fcfc2d3b68b9933e41"><code>307226a</code></a> Publish a <code>@sass/types</code> package with the types of the shared JS API (<a href="https://redirect.github.com/sass/dart-sass/issues/2639">#2639</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/edfe90d27fc53a648c99299210c3b02e57695cf0"><code>edfe90d</code></a> Fix crash when <a href="https://github.com/importing"><code>@​importing</code></a> a Sass file that <a href="https://github.com/uses"><code>@​uses</code></a> another file (<a href="https://redirect.github.com/sass/dart-sass/issues/2599">#2599</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/9360866f3303e58cda8a97fa32426d1cd864d017"><code>9360866</code></a> Bump actions/setup-node from 4 to 5 (<a href="https://redirect.github.com/sass/dart-sass/issues/2643">#2643</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/7737af5a0695091fc34ef4a570846f61506a03a0"><code>7737af5</code></a> Bump actions/setup-node from 4 to 5 in /.github/util/initialize (<a href="https://redirect.github.com/sass/dart-sass/issues/2644">#2644</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/f7f03421f994a476d056aef371489200dde8c20a"><code>f7f0342</code></a> Fix bug with implicit configuration (<a href="https://redirect.github.com/sass/dart-sass/issues/2642">#2642</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/ea9f7be9e44a998709b3f41ada98218926d74578"><code>ea9f7be</code></a> Bump postcss from 8.5.5 to 8.5.6 in /pkg/sass-parser (<a href="https://redirect.github.com/sass/dart-sass/issues/2607">#2607</a>)</li> <li>Additional commits viewable in <a href="https://github.com/sass/dart-sass/compare/1.90.0…1.93.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 October 3, 2025
WUISWYBKAQ3MGG6Y6SAKUNZUTD7CIXW5RD2NSP2IPWZYMJWSGIUAC
In channels
main
Change contents