Index of /sites/ftp.netbsd.org/pub/pkgsrc/stable/pkgsrc/lang/coq/

Icon  Name                                                 Last modified      Size  
[PARENTDIR] Parent Directory                                                          -   
[   ] DESCR                                                2003-03-22 20:21  306   
[   ] Makefile                                             2024-05-29 17:33  2.8K  
[   ] PLIST                                                2022-06-21 03:21  305K  
[   ] distinfo                                             2022-06-21 03:21  654   
[   ] options.mk                                           2023-11-07 22:38  3.3K  
[DIR] patches/                                             2024-06-26 20:03    -