diff options
| author | Andreas Enge <andreas@enge.fr> | 2019-06-20 00:03:46 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2019-06-20 00:03:46 +0200 |
| commit | 80ee7c4a48cdab4afa4d8eb4b7b8873d47841830 (patch) | |
| tree | 591ce329f471ef8ecfb7ba26ad97f83400dff273 /gnu/packages/coq.scm | |
| parent | a1dcaacb7b790668fd8cce6ce29a004587f50218 (diff) | |
| download | patches-80ee7c4a48cdab4afa4d8eb4b7b8873d47841830.tar patches-80ee7c4a48cdab4afa4d8eb4b7b8873d47841830.tar.gz | |
gnu: zn_poly: Rename to zn-poly, according to our naming conventions.
Reported by Nicolas Goaziou <mail@nicolasgoaziou.fr>.
This is a follow-up to commit 01822e3ebf24031d6438fc4e7ad3a869ea12fdf4.
* gnu/packages/sagemath.scm (zn_poly): Rename to...
* gnu/packages/sagemath.scm (zn-poly): ...this.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions