diff options
| author | Timothy Sample <[email protected]> | 2018-08-29 00:42:50 -0400 |
|---|---|---|
| committer | Ricardo Wurmus <[email protected]> | 2018-10-01 12:12:18 +0200 |
| commit | 66c5de39485fe543f1dd6a0df86dffa1dd33ade7 (patch) | |
| tree | 1822d7bc84b86c266d3f76e31241751a3bc42eb7 /gnu/packages/agda.scm | |
| parent | 310d782eaf1f8db59f6e8746132ffe93341db67e (diff) | |
gnu: ghc-tls: Update to 1.4.1.
* gnu/packages/tls.scm (ghc-tls): Update to 1.4.1.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions