diff options
| author | drochner <drochner@pkgsrc.org> | 2011-05-04 17:41:15 +0000 |
|---|---|---|
| committer | drochner <drochner@pkgsrc.org> | 2011-05-04 17:41:15 +0000 |
| commit | 5545890f5595947671cffd52ea14a81de0d78907 (patch) | |
| tree | b0587f1f19657a38413517602fd2113b1f9dc73e /lang/coq | |
| parent | 180faa8d4a385aac665f0931359a8fa6f7077e8d (diff) | |
| download | pkgsrc-5545890f5595947671cffd52ea14a81de0d78907.tar.gz | |
these programs are known to suffer from incompatible changes
in gnutls-2.12 -- add constraint and URL reference (from gls)
Diffstat (limited to 'lang/coq')
0 files changed, 0 insertions, 0 deletions