diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-07-23 02:00:00 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-07-23 02:00:00 +0200 |
| commit | 55e89da207b95230e5f2a8176acd9cc9b43971ff (patch) | |
| tree | 0c2c2eda662e07af90e0459c300783c4ed4d9d2a /gnu/packages/coq.scm | |
| parent | 1d0d2a8ec9186d250405dce03a4cbe8809beb0f1 (diff) | |
| download | guix-55e89da207b95230e5f2a8176acd9cc9b43971ff.tar.gz | |
gnu: Add glirc.
* gnu/packages/irc.scm (glirc): New public variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions