nixpkgs/pkgs/applications
Sandro e368149fcd
Merge pull request #111003 from NieDzejkob/isabelle-vampire
isabelle: provide perl LWP for remote_vampire
2021-01-28 18:32:27 +01:00
..
2021-01-27 11:21:04 -07:00
2021-01-16 17:58:11 +07:00
2021-01-27 12:44:43 +07:00
2021-01-20 13:29:56 -08:00
2021-01-20 09:11:11 +10:00
2021-01-24 14:56:36 +01:00