nixpkgs/pkgs/applications/graphics/ipe
2017-12-01 13:11:20 +01:00
..
default.nix ipe: 7.1.10 -> 7.2.7 2017-12-01 13:11:20 +01:00
xlocale.patch ipe: 7.1.10 -> 7.2.7 2017-12-01 13:11:20 +01:00