gnu: grub-efi: Add mtools input. * gnu/packages/bootloaders.scm: Add (gnu packages mtools). (grub-efi)[inputs]: Add mtools. [arguments]: Add phase "use-absolute-mtools-path".
gnu: Add coq-interval. * gnu/packages/ocaml.scm (coq-interval): New variable.
gnu: Add coq-coquelicot. * gnu/packages/ocaml.scm (coq-coquelicot): New variable.
gnu: Add coq-mathcomp. * gnu/packages/ocaml.scm (coq-mathcomp): New variable.
gnu: Add coq-gappa. * gnu/packages/ocaml.scm (coq-gappa): New variable.
gnu: Add coq-flocq. * gnu/packages/ocaml.scm (coq-flocq): New variable.
gnu: gnupg: Update to 2.1.22. * gnu/packages/gnupg.scm (gnupg): Update to 2.1.22.
gnu: metabat: Update to 2.11.2. * gnu/packages/bioinformatics.scm (metabat): Update to 2.11.2.
gnu: mes: Update to 0.9. * gnu/packages/mes.scm (mes): Update to 0.9. [arguments]: Delete `strip' phase. [synopsis]: Rewrite to be more descriptive. [description]: Include expanded acronym.
gnu: gptfdisk: Update to 1.0.3. * gnu/packages/disk.scm (gptfdisk): Update to 1.0.3.
gnu: services: admin: Add tailon. * gnu/services/admin.scm (<tailon-configuration>, <tailon-configuration-file>): New record types. (tailon-configuration-files-string, tailon-shepherd-service): New procedures. (%tailon-accounts, tailon-service-type: New variables. * doc/guix.texi (Monitoring Services: Document the Tailon service. * gnu/local.mk (GNU_SYSTEM_MODULES): Add gnu/tests/admin.scm. * gnu/tests/admin.scm: New file.
gnu: arandr: Remove make-xrandr-available phase. wrap-program functionality is already provided by python-build-system. * gnu/packages/xdisorg.scm (arandr): Remove make-xrandr-available phase.
gnu: Add emacs-rpm-spec-mode. * gnu/packages/emacs.scm (emacs-rpm-spec-mode): New variable. Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
gnu: mescc-tools: Update to 0.2. * gnu/packages/mes.scm (mescc-tools): Update to 0.2.
gnu: linux-libre: Update to 4.12.4. * gnu/packages/linux.scm (%linux-libre-version): Update to 4.12.4. (%linux-libre-hash): Update hash.
gnu: linux-libre@4.9: Update to 4.9.40. * gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.40.
gnu: linux-libre@4.4: Update to 4.4.79. * gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.79.
gnu: sssd: Update to 1.15.3. * gnu/packages/sssd.scm (sssd): Update to 1.15.3. [native-inputs]: Add util-linux.
gnu: bind: Update to 9.11.2. * gnu/packages/dns.scm (isc-bind): Update to 9.11.2.
gnu: emacs-auctex: Update to 11.91.0. * gnu/packages/emacs.scm (emacs-auctex): Update to 11.91.0. Signed-off-by: Ludovic Courtès <ludo@gnu.org>