diff options
| author | Robert Vollmert <rob@vllmrt.net> | 2019-06-05 21:05:36 +0200 |
|---|---|---|
| committer | Timothy Sample <samplet@ngyro.com> | 2019-08-07 22:05:29 -0400 |
| commit | e07f7655587d05486990a74deb3e101a03b420db (patch) | |
| tree | d7cbee6d243732b79c88c646dccf4f012d0ce19b /gnu/packages/agda.scm | |
| parent | cce84c34cd40610f49d7acc58eeea541edf45578 (diff) | |
| download | patches-e07f7655587d05486990a74deb3e101a03b420db.tar patches-e07f7655587d05486990a74deb3e101a03b420db.tar.gz | |
import: hackage: Update list of ghc-included packages.
It turns out the list in the release notes is incomplete.
This updates the list from /gnu/store/<hash>-ghc-8.4.3/lib/ghc-8.4.3.
* guix/import/hackage.scm (ghc-standard-libraries): Update list.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions