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:914:0: lift-git-directory-content
   /home/pkgserver/racket/collects/pkg/private/stage.rkt:319:11
   /home/pkgserver/racket/collects/pkg/private/stage.rkt:115:0: stage-package/info
   /home/pkgserver/racket/collects/pkg/private/stage.rkt:721: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/pkg-index/official/update.rkt:141:0: update-from-content
   /home/pkgserver/pkg-index/official/update.rkt:31:2
   /home/pkgserver/racket/collects/racket/private/list.rkt:263:2: filter
   /home/pkgserver/pkg-index/official/update.rkt:174:0: do-update!
   /home/pkgserver/pkg-index/official/common.rkt:148:0: run!
   /home/pkgserver/pkg-index/official/update.rkt:185:0: run-update!