diff --git a/DATS/cli.dats b/DATS/cli.dats
index 34bd59e..11873e9 100644
--- 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
index fd961bf..82037cd 100644
--- 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"