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 |
|