diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-05-01 17:56:50 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-05-01 22:15:01 +0200 |
| commit | 15ada26abb2424d05d50a3b2f7d50f8eaba263b7 (patch) | |
| tree | f7144c1896486e8ea72f926e5979dec5a163baaa /gnu/packages/coq.scm | |
| parent | a5006ede7fe55f51e796e881d6b20d4922d49b17 (diff) | |
| download | guix-15ada26abb2424d05d50a3b2f7d50f8eaba263b7.tar.gz | |
gnu: signify: Update to 25.
* gnu/packages/crypto.scm (signify): Update to 25.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions