Tobias Geerinckx-Rice fbdabdad2d gnu: sedsed: Use HTTPS home page. ...

* gnu/packages/admin.scm (sedsed)[home-page]: Use HTTPS.

2019-07-10 23:23:45 +02:00

..

bootloader

…

build

linux-container: Mount a new /dev/pts instance in the container.

2019-07-06 00:26:58 +02:00

installer

…

machine

gnu: Add machine type for deployment specifications.

2019-07-06 02:10:04 -04:00

packages

gnu: sedsed: Use HTTPS home page.

2019-07-10 23:23:45 +02:00

services

gnu: postgres service: More secure default permissions.

2019-07-02 18:33:51 +02:00

system

etc: Remove hydra.gnu.org.pub key.

2019-06-29 14:27:22 +02:00

tests

tests: encrypted-root-os: Increase root partition size.

2019-07-06 16:17:24 +02:00

artwork.scm

…

bootloader.scm

…

ci.scm

ci: 'channel-build-system' honors the target system.

2019-07-06 16:17:24 +02:00

installer.scm

…

local.mk

gnu: cvs: Rename patch file.

2019-07-10 21:33:48 +03:00

machine.scm

gnu: Add machine type for deployment specifications.

2019-07-06 02:10:04 -04:00

packages.scm

packages: 'specification->package+output' distinguishes "no output specified".

2019-06-27 11:14:41 +02:00

services.scm

…

system.scm

…

tests.scm

…