/etc/

le='2018-02-01 14:44:01 +0100'>2018-02-01gnu: gengetopt: Disable parallel tests....Marius Bakke 2017-12-16gnu: gflags: Update to 2.2.1....Tobias Geerinckx-Rice 2017-09-20gnu: Use 'modify-phases' syntax....Kei Kebreau 2017-03-30gnu: Use HTTPS for almost all gnu.org HOME-PAGEs....Tobias Geerinckx-Rice 2017-01-21gnu: gflags: Update to 2.2.0....Marius Bakke