3 Commits

Author	SHA1	Message	Date
Marco Maggesi	ff1ed720e2	Rename z77z into maggesi ... Make the "handle" of the maintainer match the name of the github account. Also update the email address.	2019-10-07 17:05:25 +02:00
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