nixpkgs/pkgs/applications/science/logic/isabelle
2020-05-08 00:33:03 +02:00
..
default.nix isabelle: 2018 -> 2020 2020-05-08 00:33:03 +02:00