From ac3b6f5a8ad074734838498419876b1289e3a96f Mon Sep 17 00:00:00 2001
From: David Doty <doty@ucdavis.edu>
Date: Tue, 3 Sep 2024 10:18:47 +0100
Subject: [PATCH] Update CONTRIBUTING.md

---
 CONTRIBUTING.md | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index c8f4522ad..deb4d5959 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -257,7 +257,7 @@ choco install dart-sdk --version 2.13.4
 To stop Chocolatey from automatically updating Dart to the latest version, pin it:
 
 <pre>
-choco pin --name="'dart-sdk'" --version="'2.13'"
+choco pin --name="'dart-sdk'" --version="'2.13.4'"
 </pre>
 
 </details>
@@ -265,16 +265,16 @@ choco pin --name="'dart-sdk'" --version="'2.13'"
 <details><summary><strong>macOS</strong></summary>
 First, install <a href="https://brew.sh/">Homebrew</a> if you haven't already. If <code>brew -v</code> shows some version numbers, then you've set it up correctly.
 
-Then, install Dart 2.13:
+Then, install Dart 2.13.4:
 
 <pre>
-brew install dart@2.13
+brew install dart@2.13.4
 </pre>
 
 To stop Homebrew from automatically updating Dart to the latest version, pin it:
 
 <pre>
-brew pin dart@2.13
+brew pin dart@2.13.4
 </pre>
 
 If running `dart` in a terminal now does not work, you may need to follow <a href="https://docs.brew.sh/FAQ#my-mac-apps-dont-find-homebrew-utilities">these instructions</a>.
@@ -290,17 +290,17 @@ wget -qO- https://dl-ssl.google.com/linux/linux_signing_key.pub | sudo gpg --dea
 echo 'deb [signed-by=/usr/share/keyrings/dart.gpg arch=amd64] https://storage.googleapis.com/download.dartlang.org/linux/debian stable main' | sudo tee /etc/apt/sources.list.d/dart_stable.list
 </pre>
 
-Then, install Dart 2.13:
+Then, install Dart 2.13.4:
 
 <pre>
 sudo apt-get update
-sudo apt-get install dart=2.13
+sudo apt-get install dart=2.13.4
 </pre>
 
 To stop apt from automatically updating Dart to the latest version, hold it:
 
 <pre>
-sudo apt-mark hold dart=2.13
+sudo apt-mark hold dart=2.13.4
 </pre>
 
 </details>