6 commits

Author	SHA1	Message	Date
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Kovacsics Robert	f4c29ebfc2	polyml: updated maintainers ... I am not sure if we still need the old packages, nothing explicitly depends on polyml56 or polyml57 according to a grep, not sure if external packages might (hol and isabelle depend on polyml, the latest version).	2020-03-02 09:13:12 +01:00
Kovacsics Robert	f8c402ecad	polyml: fix with new libffi ... New libffi doesn't have FFI_SYSV for x86/64 unix, this pulls in the commit for the upstream version which fixes it, and ports that patch to the 5.7 version. The 5.6 version is unchanged. For ZHF: #80379	2020-03-02 09:13:12 +01:00
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