diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-03-13 15:17:24 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-03-13 15:17:24 +0100 |
| commit | 0bb0eeddf647e5d56afd4517b12919a36acac6ee (patch) | |
| tree | 79c28bd56bc846b65ebde75084c523a999a1302b /gnu/packages/lean.scm | |
| parent | 830497941526ac7320dcd4c5bb545ce9a040d1b1 (diff) | |
| download | guix-0bb0eeddf647e5d56afd4517b12919a36acac6ee.tar guix-0bb0eeddf647e5d56afd4517b12919a36acac6ee.tar.gz | |
guix: Leave some of guix/build/* unchanged.
This partially reverts ae587c2ef041413bc709a555261db752068ea360 to
reduce the number of rebuilds.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions