07-working-derivation.md: use derivation instead of mkDerivation
#143
| Job | Run time |
|---|---|
| 51s | |
| 51s |
derivation instead of mkDerivation
#143
| Job | Run time |
|---|---|
| 51s | |
| 51s |