Set up for v3.0.0 pre-release 1 (#815)

dafny-lang · Aug 21, 2020 · 69301ca · 69301ca
1 parent 0415b03
commit 69301ca
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/Source/version.cs b/Source/version.cs
@@ -1,4 +1,4 @@
 using System.Reflection;
-// Version 3.0.0 pre-release 0, year 2018+2 month 08 day 17
-[assembly: AssemblyVersion("3.0.0.20817")]
-[assembly: AssemblyFileVersion("3.0.0.20817")]
+// Version 3.0.0 pre-release 1, year 2018+2 month 08 day 20
+[assembly: AssemblyVersion("3.0.0.20820")]
+[assembly: AssemblyFileVersion("3.0.0.20820")]
diff --git a/package.py b/package.py
@@ -57,7 +57,9 @@
         "Provers.SMTLib",
         "BoogieVCExpr",
         "BoogieVCGeneration",
-        "Mono.Cecil"]
+        "Mono.Cecil",
+        "System.Collections.Immutable",
+        "System.Runtime"]
 EXEs = ["Dafny", "DafnyServer"]
 ETCs = UNIX_EXECUTABLES + ["DafnyPrelude.bpl", "DafnyRuntime.cs", "DafnyRuntime.js", "DafnyRuntime.go"]