diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-12-11 01:07:46 +0100 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2020-02-17 23:16:45 +0100 |
| commit | 47fb2466b810afbd5d2d741f26a7e1bca8838b49 (patch) | |
| tree | df18cee7b6e86c5505de5565422c3ceccde93af3 /gnu/packages/coq.scm | |
| parent | 15af8e1d9d5a1b3db7cdab84dae791b357f229b6 (diff) | |
| download | guix-47fb2466b810afbd5d2d741f26a7e1bca8838b49.tar.gz guix-47fb2466b810afbd5d2d741f26a7e1bca8838b49.zip | |
gnu: commencement: Remove m4-mesboot.
* gnu/packages/commencement.scm (m4-mesboot): Remove.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions