Ferry Jérémie 65d7e87fdb treewide: replace http by https when https is a permanent redirection		2023-01-22 02:46:49 +01:00
..
default.nix	treewide: replace http by https when https is a permanent redirection	2023-01-22 02:46:49 +01:00
with-provers.nix	pkgs.applications: remove unused args	2022-10-12 16:00:16 +02:00