# This is a "job" for the Upstart init system to launch 'guix-daemon'. # Drop it in /etc/init to have 'guix-daemon' automatically started. description "Publish the GNU Guix store" start on runlevel [2345] stop on runlevel [016] task exec @localstatedir@/guix/profiles/per-user/root/current-guix/bin/guix publish --user=nobody --port=8181
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
AgeCommit message (Expand)Author
2020-11-26gnu: lean: Trim synopsis....Tobias Geerinckx-Rice
2020-11-26gnu: lean: Update to 3.23.0....Tobias Geerinckx-Rice
2020-07-19gnu: lean: Disable test cases for i686 and armhf....Brett Gilio
2020-07-19gnu: lean: Update to 3.17.1....Brett Gilio
2020-03-28Update email address and Savannah handle for Amin Bandali....Amin Bandali