> I think you can use (version "1.0") and ignore revision. There are no > functionnal differences between the initial 1.0 release and the commit > you point to.
??? What do you mean by "the initial 1.0 release"? I see no release tag in the repository which consists of just 3 commits anyway.