diff options
| author | tonio <tonio> | 2008-01-12 11:48:39 +0000 |
|---|---|---|
| committer | tonio <tonio> | 2008-01-12 11:48:39 +0000 |
| commit | a5afb821a301827fd0bb43821b7e6f8aeaf1a09a (patch) | |
| tree | ad4f59e9af0f92f9e2042bf2fb79579b5f42fbb1 /www/p5-libapreq | |
| parent | 8a003532cef7a9f348313e29a39661dd8df28abc (diff) | |
| download | pkgsrc-a5afb821a301827fd0bb43821b7e6f8aeaf1a09a.tar.gz | |
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.
Diffstat (limited to 'www/p5-libapreq')
0 files changed, 0 insertions, 0 deletions