diff options
| author | shannonjr <shannonjr@pkgsrc.org> | 2004-11-08 16:46:27 +0000 |
|---|---|---|
| committer | shannonjr <shannonjr@pkgsrc.org> | 2004-11-08 16:46:27 +0000 |
| commit | 1b75db3f00f4c3a4c957cfe44e1d3a155f6ee8d7 (patch) | |
| tree | a5a2089bb4d53fc940bbbe69d142d5f89998fdfa /lang/coq | |
| parent | a82e023ca3002850277a98cc34afb9b192e65130 (diff) | |
| download | pkgsrc-1b75db3f00f4c3a4c957cfe44e1d3a155f6ee8d7.tar.gz | |
Update to release 3.4.3. This is a bugfix release.
Diffstat (limited to 'lang/coq')
0 files changed, 0 insertions, 0 deletions