CVS log for pkgsrc/lang/coq/distinfo

Up to [cvs.NetBSD.org] / pkgsrc / lang / coq

Request diff between arbitrary revisions

Default branch: MAIN
Current tag: pkgsrc-2008Q4-base

Revision 1.8 / (download) - annotate - [select for diffs], Sat Jan 12 11:48:40 2008 UTC (16 years, 3 months ago) by tonio
Branch: MAIN
CVS Tags: pkgsrc-2009Q2-base, pkgsrc-2009Q2, pkgsrc-2009Q1-base, pkgsrc-2009Q1, pkgsrc-2008Q4-base, pkgsrc-2008Q4, pkgsrc-2008Q3-base, pkgsrc-2008Q3, pkgsrc-2008Q2-base, pkgsrc-2008Q2, pkgsrc-2008Q1-base, pkgsrc-2008Q1, cwrapper, cube-native-xorg-base, cube-native-xorg
Changes since 1.7: +5 -5 lines
Diff to previous 1.7 (colored)

Update lang/coq to 8.1pl3

hanges from V8.1pl2 to V8.1pl3
===============================
Bug fixes
- A critical bug and a few other bugs have been fixed.

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.