esterel-redex

Checksum error An error occurred while updating the package checksum.

pkg: specified directory is not in Git respository
  path: esterel-redex
  context...:
   /home/pkgserver/racket/collects/pkg/private/stage.rkt:963:0: lift-git-directory-content
   /home/pkgserver/racket/collects/pkg/private/stage.rkt:335:11
   /home/pkgserver/racket/collects/pkg/private/stage.rkt:116:0: stage-package/info
   /home/pkgserver/racket/collects/pkg/private/stage.rkt:747:0: pkg-stage
   /home/pkgserver/racket/collects/pkg/private/content.rkt:39:0: get-pkg-content
   /home/pkgserver/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3
   /home/pkgserver/racket-pkg-website/src/pkg-index/update.rkt:159:0: update-from-content
   /home/pkgserver/racket-pkg-website/src/pkg-index/update.rkt:40:2
   /home/pkgserver/racket-pkg-website/src/pkg-index/update.rkt:23:0: update-checksums
   /home/pkgserver/racket-pkg-website/src/pkg-index/update.rkt:192:0: do-update!
   /home/pkgserver/racket-pkg-website/src/pkg-index/common.rkt:157:0: run!
   /home/pkgserver/racket-pkg-website/src/pkg-index/update.rkt:207:0: run-update!