summary refs log tree commit diff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRobert Vollmert <rob@vllmrt.net>2019-06-05 21:05:36 +0200
committerTimothy Sample <samplet@ngyro.com>2019-08-07 22:05:29 -0400
commite07f7655587d05486990a74deb3e101a03b420db (patch)
treed7cbee6d243732b79c88c646dccf4f012d0ce19b /gnu/packages/agda.scm
parentcce84c34cd40610f49d7acc58eeea541edf45578 (diff)
downloadguix-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