diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2020-01-15 00:09:46 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-01-15 00:09:46 +0100 |
| commit | 3cfe76bec06fbd8bb7e7cb3387866fefbcad674f (patch) | |
| tree | b66780d205fb50fd44d0bbb38f5df99cf3167ba1 /gnu/packages/lean.scm | |
| parent | ec836b46bf52a5f86c61f50e3a2c3330a7ee3665 (diff) | |
| parent | 574a71a7a9668aa184661c58e1f18a4d4fccd792 (diff) | |
| download | patches-3cfe76bec06fbd8bb7e7cb3387866fefbcad674f.tar patches-3cfe76bec06fbd8bb7e7cb3387866fefbcad674f.tar.gz | |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions