bump version for zordoz and lnm changes

utahplt · Nov 19, 2019 · 6b2bc0d · 6b2bc0d
1 parent 10db07a
commit 6b2bc0d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/info.rkt b/info.rkt
@@ -3,7 +3,7 @@
 (define deps '("base" "typed-racket-lib" "typed-racket-more" "require-typed-check"))
 (define build-deps '("scribble-lib" "racket-doc" "rackunit-lib" "typed-racket-doc" "at-exp-lib" "gtp-util" "pict-lib" "scribble-abbrevs" "syntax-sloc" "with-cache"))
 (define pkg-desc "Gradual typing benchmark programs")
-(define version "4.0")
+(define version "5.0")
 (define pkg-authors '(ben))
 (define scribblings '(("scribblings/gtp-benchmarks.scrbl" () ("Benchmarks"))))
 (define compile-omit-paths '("benchmarks"))