Matthew Flatt 62f7731c36 paco pkg: allow a commit id to be used in a GitHub reference ... Allow a commit id in place of a branch or tag.		2013-09-02 10:10:31 -06:00
..
collects	paco pkg: allow a commit id to be used in a GitHub reference	2013-09-02 10:10:31 -06:00
src	raco pkg {install,update}: add --checksum argument	2013-09-02 10:10:31 -06:00
.gitignore	configure installation of man pages	2013-07-22 13:21:09 -06:00