The NetBSD Project

pkgsrc/lang/coq/

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


File Rev. Age Author Last log entry
[BACK] Parent Directory        
[DIR] Attic/  [Don't hide]        
[DIR] patches/        
[TXT] DESCR  1.1.1.1   15 years  kristerw   By popular demand, move coq-7.4 from math to lang in order to be consistent with...
[TXT] MESSAGE  1.1.1.1   15 years  kristerw   By popular demand, move coq-7.4 from math to lang in order to be consistent with...
[TXT] Makefile  1.112   11 days  jaapb   Updated package lang/coq to version 8.8.1. The list of improvements, additions,...
[TXT] PLIST  1.28   11 days  jaapb   Updated package lang/coq to version 8.8.1. The list of improvements, additions,...
[TXT] distinfo  1.31   11 days  jaapb   Updated package lang/coq to version 8.8.1. The list of improvements, additions,...
[TXT] options.mk  1.4   11 days  jaapb   Updated package lang/coq to version 8.8.1. The list of improvements, additions,...


CVSweb <webmaster@jp.NetBSD.org>