diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-12-17 21:30:10 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-12-17 22:51:56 +0100 |
| commit | 7aff8dcf50333b6ad89648407ac17b4f06b00856 (patch) | |
| tree | a64b9200c52d76f03f5aaf09268d24f5c862927c /gnu/packages/coq.scm | |
| parent | ee878de4bdb732b01c581ddfea57349ef3c9bdb1 (diff) | |
| download | guix-7aff8dcf50333b6ad89648407ac17b4f06b00856.tar guix-7aff8dcf50333b6ad89648407ac17b4f06b00856.tar.gz | |
gnu: interception-tools: Update to 0.6.8.
* gnu/packages/linux.scm (interception-tools): Update to 0.6.8.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions