Commit graph

2 commits

Author SHA1 Message Date
volth
46420bbaa3 treewide: name -> pname (easy cases) (#66585)
treewide replacement of

stdenv.mkDerivation rec {
  name = "*-${version}";
  version = "*";

to pname
2019-08-15 13:41:18 +01:00
Vaibhav Sagar
9c3b994c49 Use Poly/ML 5.7 for Isabelle 2019-03-27 22:30:45 -04:00