diff options
| author | Marius Bakke <marius@gnu.org> | 2020-06-02 14:44:11 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2020-06-02 20:41:11 +0200 |
| commit | 5359b601cd19eab96205e8eabca902ec8a47db18 (patch) | |
| tree | c9908765054be242c8e51f1b6981ea2fd4771e62 /gnu/packages/patches/python-flint-includes.patch | |
| parent | 3ee51d616c3615ab34e2eb156ba2bc6250c3d7e8 (diff) | |
gnu: toutenclic: Add missing input.
* gnu/packages/education.scm (toutenclic)[native-inputs]: Add UNZIP.
Diffstat (limited to 'gnu/packages/patches/python-flint-includes.patch')
0 files changed, 0 insertions, 0 deletions