[Agda-dev] Problem with std-lib submodule

[Andreas Abel]

Hi Agda-dev (CC: Matthew)

On current stable-2.5

$ make up-to-date-std-lib
git submodule update --init std-lib
fatal: reference is not a tree: aaa04c9a6b7ab787eb30ccc0cd5e1604470a6eb6
Unable to checkout 'aaa04c9a6b7ab787eb30ccc0cd5e1604470a6eb6' in 
submodule path 'std-lib'
Makefile:243: recipe for target 'up-to-date-std-lib' failed

What am I doing wrong here?

Best,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/