diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-05-27 22:38:15 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-05-27 22:47:24 +0200 |
| commit | 35d1354fe87003dbe19b1b97aa64db1f7d989701 (patch) | |
| tree | 30b4b1b12f9d7c03a072245f734f49a5a06c2581 /gnu/packages/coq.scm | |
| parent | c131bea2762ea0dd9e75e9340525dc54cd938647 (diff) | |
| download | guix-35d1354fe87003dbe19b1b97aa64db1f7d989701.tar.gz | |
publish: Display the compression method and level in use.
* guix/scripts/publish.scm (guix-publish): Use 'info' instead of 'format' for the initial message. When COMPRESSION is true, display the method and level in use.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions