diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-01-23 12:08:54 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-01-23 12:08:54 +0100 |
| commit | 2b965485e2f3a8755efff58fc1abad75df3e37a0 (patch) | |
| tree | 0f520ddf164f02955c4804fa695334b164bd4d51 /gnu/packages/coq.scm | |
| parent | 5aaef5c5decbf4dd43dfd1bb8d2a7d9e049a8580 (diff) | |
| parent | b2c08402f52b1f80d1c03ce207b596655bbe3cbd (diff) | |
| download | guix-2b965485e2f3a8755efff58fc1abad75df3e37a0.tar.gz | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions