Merge pull request #384 from uwplse/release-1.5

Tweak version strings

Author: pavpanchekha

egg-herbie/info.rkt

@@ -1,7 +1,7 @@
 #lang info
 
 (define collection "egg-herbie")
-(define version "1.4")
+(define version "1.5")
 
 (define pkg-desc "Racket bindings for simplifying math expressions using egg")
 

src/config.rkt

@@ -95,7 +95,7 @@
           (if (equal? out "") default out))
       default))
 
-(define *herbie-version* "1.4")
+(define *herbie-version* "1.5")
 
 (define *hostname* (run-command "hostname"))
 

src/info.rkt

@@ -29,7 +29,7 @@
     "profile-lib"
     "rackunit-lib"
     "web-server-lib"
-    ("egg-herbie" #:version "1.4")
+    ("egg-herbie" #:version "1.5")
     ("regraph" #:version "1.4")
     ("rival" #:version "1.4")
     ("fpbench" #:version "2.0.1")))