nixpkgs/pkgs/applications/science/logic/elan
2018-05-14 09:40:13 +02:00
..
default.nix elan: 0.3.2 -> 0.5.0 2018-05-14 09:40:13 +02:00