version bump

vmchale · Nov 18, 2019 · 4076455 · 4076455
1 parent 8c7e1e1
commit 4076455
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/DATS/cli.dats b/DATS/cli.dats
@@ -22,7 +22,7 @@ vtypedef command_line = @{ version = bool
 
 fn version() : void =
  {
- val () = println!("polygot version 0.5.24")
+ val () = println!("polygot version 0.5.25")
  val () = compiler_version()
  val () = libc_version()
  val () = println!("\nCopyright (c) 2018-2019 Vanessa McHale")

diff --git a/atspkg.dhall b/atspkg.dhall
@@ -78,7 +78,7 @@ pkg = λ(cfg : { gc : Bool, cross : Bool, parallel : Bool, static : Bool, icc :
  , version = [0,3,13]
  , debPkg = prelude.mkDeb
  (prelude.debian "polyglot" ⫽
- { version = [0,5,24]
+ { version = [0,5,25]
  , maintainer = "Vanessa McHale <vamchale@gmail.com>"
  , description = "Determine project contents"
  , manpage = Some "man/poly.1"