10 commits

Author	SHA1	Message	Date
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +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	c814d72b51	treewide: name -> pname	2019-08-17 10:54:38 +00:00
volth	f3282c8d1e	treewide: remove unused variables (#63177) ... * treewide: remove unused variables * making ofborg happy	2019-06-16 19:59:05 +00:00
Vincent Laporte	80bb1db72c	ocamlPackages.menhir: 20170712 -> 20181026	2018-10-28 15:30:49 +00:00
Vincent Laporte	0fcc6ca515	ocamlPackages.menhir: 20170101 -> 20170418	2017-04-20 20:16:35 +00:00
Vincent Laporte	4168706d4f	OCaml modules: make explicit some dependencies to ocamlbuild	2016-10-09 11:55:19 +02:00
Robin Gloster	a2dd51e6a2	ocamlPackages.menhir: remove unnecessary substitution	2016-08-29 01:28:15 +00:00
Nicolas B. Pierron	72c6f8a140	Ensure that we can evaluate the platform attribute of ocaml packages.	2016-03-13 19:08:26 +00:00
Vincent Laporte	6cc033b99e	menhir: refactor to generic; init at 20151110 for OCaml >= 4.02	2015-11-11 12:30:32 +01:00