diff options
| author | Christopher Baines <mail@cbaines.net> | 2019-11-26 07:21:15 +0000 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2019-11-26 07:21:15 +0000 |
| commit | ab6bddbc68fe9848670c993a7ffe9c8c47434f56 (patch) | |
| tree | 438c400616b6e72d1ffb17a227be9904fc2919ab /gnu/packages/coq.scm | |
| parent | 70a60d66973639460bf6dbb6cd10044300c846c2 (diff) | |
| download | patches-ab6bddbc68fe9848670c993a7ffe9c8c47434f56.tar patches-ab6bddbc68fe9848670c993a7ffe9c8c47434f56.tar.gz | |
gnu: guix-data-service: Update to 0.0.1-6.af13248.
* gnu/packages/web.scm (guix-data-service): Update to 0.0.1-6.af13248.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions