Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.
Current directory: [cvs.netbsd.org] / pkgsrc / lang / coq / patches
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
![[BACK]](/icons/back.gif){kind=icon} Parent Directory |
||||
![[DIR]](/icons/dir.gif){kind=icon} Attic/ [Don't hide] |
||||
![[TXT]](/icons/text.gif){kind=icon} patch-ac |
1.2 | 18 months | tonio | Update lang/coq to 8.3 Main changes: Includes a new tactic (nsatz, standing for... |