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 / idris
| 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] |
||||
| patches/ |
||||
![[TXT]](/icons/text.gif){kind=icon} DESCR |
1.1 | 3 years | pho | Import idris-1.3.2 Idris is a general purpose language with full dependent type... |
| Makefile |
1.16 | 7 months | pho | revbump all the Haskell packages after modifying the runtime system of lang/ghc9... |
| PLIST |
1.4 | 7 months | pho | lang/idris: Fix build with GHC 9.4 |
| distinfo |
1.9 | 7 months | pho | lang/idris: Fix build with GHC 9.4 |
| options.mk |
1.1 | 3 years | pho | Import idris-1.3.2 Idris is a general purpose language with full dependent type... |