gnu: coq-interval: Update to 4.5.2. - guix

diff options

author	Julien Lepiller <julien@lepiller.eu>	2022-09-19 22:05:18 +0200
committer	Julien Lepiller <julien@lepiller.eu>	2022-09-22 07:34:43 +0200
commit	9f391b90faca02ca97c5018d6c095ecdaa1a94a7 (patch)
tree	89b143ef05fc8dd418224e03090073f4bbbcad43 /.guix-channel
parent	9140a4dd1d449f9df02d3c26a211ca335bacff14 (diff)
download	guix-9f391b90faca02ca97c5018d6c095ecdaa1a94a7.tar.gz guix-9f391b90faca02ca97c5018d6c095ecdaa1a94a7.zip

gnu: coq-interval: Update to 4.5.2.

* gnu/packages/coq.scm (coq-interval): Update to 4.5.2.

Diffstat (limited to '.guix-channel')

0 files changed, 0 insertions, 0 deletions

of the GNU General Public License ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>. (define-module (gnu services sysctl) #:use-module (gnu services) #:use-module (gnu services shepherd) #:use-module (gnu packages linux) #:use-module (guix gexp) #:use-module (guix records) #:use-module (srfi srfi-1) #:use-module (ice-9 match) #:export (sysctl-configuration sysctl-service-type)) ;;; ;;; System Control Service. ;;; (define-record-type* <sysctl-configuration> sysctl-configuration make-sysctl-configuration sysctl-configuration? (sysctl sysctl-configuration-sysctl ; path of the 'sysctl' command (default (file-append procps "/sbin/sysctl"))) (settings sysctl-configuration-settings ; alist of string pairs (default '()))) (define (sysctl-configuration-settings->sysctl.conf settings) "Return a file for @command{sysctl} to set kernel parameters as specified by @var{settings}." (apply mixed-text-file "sysctl.conf" (append-map (match-lambda ((key . value) (list key "=" value "\n"))) settings))) (define sysctl-shepherd-service (match-lambda (($ <sysctl-configuration> sysctl settings) (let ((sysctl.conf (sysctl-configuration-settings->sysctl.conf settings))) (shepherd-service (documentation "Configure kernel parameters at boot.") (provision '(sysctl)) (start #~(lambda _ (zero? (system* #$sysctl "--load" #$sysctl.conf)))) (stop #~(const #t)) (respawn? #f)))))) (define sysctl-service-type (service-type (name 'sysctl) (extensions (list (service-extension shepherd-root-service-type (compose list sysctl-shepherd-service)))) (compose concatenate) (extend (lambda (config settings) (sysctl-configuration (inherit config) (settings (append (sysctl-configuration-settings config) settings))))) (default-value (sysctl-configuration))))


context:
space:
mode: