Version Mismatch when installing Herbie through Raco

[samayala22]

Tested on Windows 11

Command: raco pkg install --auto herbie (also tried with --force)

Resolving "herbie" via https://download.racket-lang.org/releases/8.9/catalog/
Resolving "herbie" via https://pkgs.racket-lang.org
Using cached17077818351707781835408 for https://github.com/uwplse/herbie.git?path=src#v2.0.2
00: Resolving "egg-herbie" via https://download.racket-lang.org/releases/8.9/catalog/
01: Resolving "rival" via https://download.racket-lang.org/releases/8.9/catalog/
01: Resolving "rival" via https://pkgs.racket-lang.org
00: Resolving "egg-herbie" via https://pkgs.racket-lang.org
Resolving "fpbench" via https://download.racket-lang.org/releases/8.9/catalog/
Resolving "fpbench" via https://pkgs.racket-lang.org
Using cached17077818371707781837331 for https://github.com/herbie-fp/egg-herbie.git
Using cached17077818371707781837721 for https://github.com/herbie-fp/rival.git
Using cached17077818391707781839315 for https://github.com/FPBench/FPBench.git#main
Resolving "egg-herbie-windows" via https://download.racket-lang.org/releases/8.9/catalog/
Resolving "egg-herbie-windows" via https://pkgs.racket-lang.org
Using cached17077818401707781840461 for https://github.com/uwplse/herbie/releases/download/v2.0.2/egg-herbie-windows.zip
Resolving "generic-flonum" via https://download.racket-lang.org/releases/8.9/catalog/
Resolving "generic-flonum" via https://pkgs.racket-lang.org
Using cached17077818441707781844789 for https://github.com/bksaiki/generic-flonum.git
raco pkg install: version mismatch for dependency
  for package: herbie
  mismatch packages:
   egg-herbie (have 1.6, need 2.0)

[inkydragon]

raco are trying to install egg-herbie from herbie-fp/egg-herbie which are still v1.6
https://github.com/herbie-fp/egg-herbie/blob/master/info.rkt#L4
https://pkgs.racket-lang.org/package/egg-herbie

But herbie need v2.0

herbie/egg-herbie/info.rkt

Line 4 in 400891f

(define version "2.0")

[johnblommers]

I'm getting the same installation error message about version 1.6.

Being unfamiliar with racket and raco et. al. I have to ask what is the workaround?

Pokes around a bit ... Aha.

Let me answer my own question. The workaround is to install Herbie from source. It's quick enough and I already had Rust installed.

[pavpanchekha]

Sorry y'all, I don't know how I missed this. Anyway, I think it should be fixed once the Racket Package Server syncs, which should be a few minutes.

[pavpanchekha]

Ok, we have some account problem, but it should be fixed in like an hour or so, whenever it gets about to actually rerunning.