diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-02-12 16:11:48 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-02-13 05:42:57 +0100 |
| commit | ffbaa2564effa53663003c493b93683ceedafc94 (patch) | |
| tree | e45ad6efa4b3e69c8b1fc7c4a13318fa7663de20 /gnu/packages/coq.scm | |
| parent | db3f5226ac16ff10a630bea96b1f4c53b252c310 (diff) | |
| download | guix-patches-ffbaa2564effa53663003c493b93683ceedafc94.tar guix-patches-ffbaa2564effa53663003c493b93683ceedafc94.tar.gz | |
gnu: knot: Update to 2.7.6.
* gnu/packages/dns.scm (knot): Update to 2.7.6.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions