Yury G. Kudryashov d4a9c3aec4 kile: 2017-02-09 -> 2.9.92 ... No need to use an old git snapshot, since upstream has a proper beta version.		2018-10-24 14:53:06 -04:00
..
default.nix