diff options
| author | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2018-08-15 12:35:31 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-08-16 17:04:13 +0200 |
| commit | cfac79ba6b62bd2571f5db6493b2ed58f323f4d6 (patch) | |
| tree | 93f6fe143b3c336cbeaac5667d1954f23271877e /gnu/packages/agda.scm | |
| parent | cd4476032ca7bac370162b22a560fb3e03d3c811 (diff) | |
| download | guix-cfac79ba6b62bd2571f5db6493b2ed58f323f4d6.tar.gz guix-cfac79ba6b62bd2571f5db6493b2ed58f323f4d6.zip | |
gnu: ghc-texmath: Update to 0.11.0.1.
* gnu/packages/haskell.scm (ghc-texmath): Update to 0.11.0.1.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions