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 / idris2
| File | Rev. | Age | Author | Last log entry | |
|---|---|---|---|---|---|
![[BACK]](/icons/back.gif){kind=icon} Parent Directory |
|||||
![[DIR]](/icons/dir.gif){kind=icon} patches/ |
|||||
![[TXT]](/icons/text.gif){kind=icon} DESCR |
1.1 | 13 months | pho | lang/idris2: import idris2-0.6.0 Idris is a programming language designed to en... | |
| Makefile |
1.2 | 7 months | pho | lang/idris2: Update to 0.7.0 Release notes are too long to paste here: https://... | |
| PLIST |
1.2 | 7 months | pho | lang/idris2: Update to 0.7.0 Release notes are too long to paste here: https://... | |
| distinfo |
1.4 | 7 months | pho | lang/idris2: Forgot to regen distinfo | |