Module Name: pkgsrc Committed By: tonio Date: Wed Jan 25 07:16:03 UTC 2006 Modified Files: pkgsrc/doc: TODO Log Message: Note lang/coq-8.0pl3 To generate a diff of this commit: cvs rdiff -r1.4504 -r1.4505 pkgsrc/doc/TODO Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.