diff options
| author | Eric Bavier <bavier@member.fsf.org> | 2019-04-11 19:25:22 -0500 |
|---|---|---|
| committer | Eric Bavier <bavier@member.fsf.org> | 2019-04-11 19:34:00 -0500 |
| commit | a4df9ba4ec4def25232265d72722dcc348b9beb0 (patch) | |
| tree | 819df0161c0ef90f990276d015ca5ebbf3222d8d /gnu.scm | |
| parent | 0b30a1a072de0dd288519bde6b401a3e906eff84 (diff) | |
| download | guix-a4df9ba4ec4def25232265d72722dcc348b9beb0.tar.gz | |
gnu: idris: Upgrade to 1.3.1.
* gnu/packages/idris.scm (idris): Upgrade to 1.3.1. [arguments]: Remove 'update-constraints' phase.
Diffstat (limited to 'gnu.scm')
0 files changed, 0 insertions, 0 deletions