/etc/

95432da8304b7ffb4a611ef761'>etc: Remove hydra.gnu.org.pub key....Tobias Geerinckx-Rice 2019-05-01build: Change default substitute server to "ci.guix.gnu.org"....Ludovic Courtès 2018-12-04etc: Add "ci.guix.info.pub" public key file....Ludovic Courtès 2018-11-06maint: Move substitute public keys to etc/substitutes....Ludovic Courtès