1. 2015-07-27 Re: [Nix-dev] Tex rebuild after unstable update nix-dev Eelco Dolstra 2. 2015-07-27 Re: [Nix-dev] Tex rebuild after unstable update nix-dev Vladimír Čunát 3. 2015-07-27 Re: [Nix-dev] Tex rebuild after unstable update nix-dev Matthias Beyer 4. 2015-07-27 Re: [Nix-dev] Tex rebuild after unstable update nix-dev Eelco Dolstra 5. 2015-07-27 [Nix-dev] Tex rebuild after unstable update nix-dev Matthias Beyer