We're using git, thus the only really meaningfull thing is the hash .. But its hard to compare which is more or less up to date.
Thus maybe its worth thiking about adding the hash if it is not included. The hash also identifies the history. Marc Weber _______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
