diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2022-09-20 11:31:21 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2022-12-20 10:11:07 +0100 |
| commit | e81a75a7b28c633a658ceeb0a728255674f56c58 (patch) | |
| tree | b1727aab4baeeb8d1b9ead77bd0e6dd3911dcc96 /gnu/packages/coq.scm | |
| parent | 584e037a31908d1036caac51695924ab2e38dac0 (diff) | |
| download | guix-wip-r.tar.gz | |
WIP wip-r
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions