From 4b0162b0524f782e46fa0352722396ae489de0d1 Mon Sep 17 00:00:00 2001
From: Robin Salkeld <salkeldr@amazon.com>
Date: Mon, 13 Nov 2023 16:02:49 -0800
Subject: [PATCH] Updates

---
 Source/DafnyPipeline/DafnyPipeline.csproj     |   8 ++++++++
 .../DafnyStandardLibraries-arithmetic.doo     | Bin 13690 -> 13690 bytes
 .../binaries/DafnyStandardLibraries.doo       | Bin 16613 -> 16613 bytes
 3 files changed, 8 insertions(+)

diff --git a/Source/DafnyPipeline/DafnyPipeline.csproj b/Source/DafnyPipeline/DafnyPipeline.csproj
index eee096d6ef1..9907137d273 100644
--- a/Source/DafnyPipeline/DafnyPipeline.csproj
+++ b/Source/DafnyPipeline/DafnyPipeline.csproj
@@ -48,6 +48,14 @@
       <LogicalName>DafnyStandardLibraries-js.doo</LogicalName>
       <CopyToOutputDirectory>Always</CopyToOutputDirectory>
     </EmbeddedResource>
+    <EmbeddedResource Include="..\DafnyStandardLibraries\binaries\DafnyStandardLibraries-go.doo">
+      <LogicalName>DafnyStandardLibraries-go.doo</LogicalName>
+      <CopyToOutputDirectory>Always</CopyToOutputDirectory>
+    </EmbeddedResource>
+    <EmbeddedResource Include="..\DafnyStandardLibraries\binaries\DafnyStandardLibraries-py.doo">
+      <LogicalName>DafnyStandardLibraries-py.doo</LogicalName>
+      <CopyToOutputDirectory>Always</CopyToOutputDirectory>
+    </EmbeddedResource>
     <EmbeddedResource Include="..\DafnyStandardLibraries\src\**\*.cs">
       <LinkBase>DafnyStandardLibraries_cs</LinkBase>
       <CopyToOutputDirectory>Always</CopyToOutputDirectory>
diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-arithmetic.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-arithmetic.doo
index 56b0d250b4eb7aff55bc8b862c915ac9f926afca..1f8c671584c51f70bebfe243007593f0569b3d49 100644
GIT binary patch
delta 41
tcmeyB^(%`fz?+#xgn@y9gTc0bBF{x8+xm_76-|KDWF}Kf5M^s>3jhZ43?Tpj

delta 41
tcmeyB^(%`fz?+#xgn@y9gW-1eM4pRGx3f3iS2O`qlbK8{L6ohjEdVM^4oLt2

diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries.doo
index ccd7d02381c01b0bb101e9ac1910317d2ef14c76..0750b37e251ba2fcc913db4942f0ee5faa522739 100644
GIT binary patch
delta 43
vcmaFb$oRC8kte{LnMH(wfq{d;vVJ1ZMJCJojrV)(fz;$&2TKsO!od~*7$6OK

delta 43
vcmaFb$oRC8kte{LnMH(wfq{eJeD*}1i%jRUH{S2D2U3%B9V|iA3I|&NIdTty