author | Tobias Geerinckx-Rice <me@tobias.gr> | |
Thu, 26 Nov 2020 00:09:21 +0000 (01:09 +0100) | ||
committer | Tobias Geerinckx-Rice <me@tobias.gr> | |
Thu, 26 Nov 2020 03:22:50 +0000 (04:22 +0100) | ||
commit | b87051b74a4e529b459a6b1a86fd7cec187c70b2 | |
tree | fe37c0c24a10d205ff23839f3beddce8e0b8ed21 | tree | snapshot (tar.gz zip) |
parent | 4491c624dd4a0af52873e9884ab8240cf09936e3 | commit | diff |
gnu/packages/lean.scm | diff | blob | blame | history |