diff options
| author | Mathieu Othacehe <othacehe@gnu.org> | 2020-11-29 15:44:16 +0100 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-11-29 16:57:19 +0100 |
| commit | 7a584b0e5613909a57f00f00e4bcfdf6e563cb51 (patch) | |
| tree | 7d9c9f2ba85ab19558590bc996f87a4c7c8b148f /gnu/packages/coq.scm | |
| parent | 44068c7d3053fa4dc7a2bf7ab30ad65b44c6b02a (diff) | |
| download | guix-7a584b0e5613909a57f00f00e4bcfdf6e563cb51.tar.gz | |
news: Add entry for substitute servers discovery.
* etc/news.scm: Add entry.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions