diff options
| author | Duncan Coutts <duncan@well-typed.com> | 2014-08-27 13:49:31 +0100 |
|---|---|---|
| committer | Duncan Coutts <duncan@well-typed.com> | 2014-08-27 13:49:31 +0100 |
| commit | b2a807da55d197c648fd2df1f156f9862711d92b (patch) | |
| tree | 448704dd8a31baf9f1a80bc1438d7d97b5a0438b /resources/html/Classic.theme/plus.gif | |
| parent | f32ad30e9b8c5d4ee54c60c9c3b282fef7d297a5 (diff) | |
Changes due to ghc api changes in package representation
Also fix a bug with finding the package name and version given a
module. This had become wrong due to the package key changes (it was
very hacky in the first place). We now look up the package key in the
package db to get the package info properly.
Diffstat (limited to 'resources/html/Classic.theme/plus.gif')
0 files changed, 0 insertions, 0 deletions