Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Matthew Bauer
5ebd36403e
Merge pull request #70641 from maggesi/rename-z77z-into-maggesi
...
Rename z77z into maggesi
2019-11-07 17:18:20 -05:00
Vincent Laporte
430e5ce04c
compcert: 3.5 → 3.6
...
ocamlPackages.menhir: 20181113 → 20190626
2019-10-19 20:30:48 +00: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
88d20b2052
ocamlPackages.menhir: 20181026 -> 20181113
2018-11-21 06:12:33 +00:00
Vincent Laporte
80bb1db72c
ocamlPackages.menhir: 20170712 -> 20181026
2018-10-28 15:30:49 +00:00
Vincent Laporte
63cda55aa2
ocamlPackages.menhir: 20170418 -> 20170712
2017-07-12 18:13:33 +00:00
Vincent Laporte
0fcc6ca515
ocamlPackages.menhir: 20170101 -> 20170418
2017-04-20 20:16:35 +00:00
Vincent Laporte
6a04086683
ocamlPackages.menhir: 20161115 -> 20170101
2017-02-01 07:45:14 +00:00
Vincent Laporte
5b59e91f73
ocamlPackages.menhir: 20160526 -> 20161115
2016-11-17 18:07:37 +01: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
Ricardo M. Correia
24d1d19bd2
menhir: 20160303 -> 20160526 ( #17343 )
2016-07-29 11:30:42 +02: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
b219052bf1
menhir: 20151112 -> 20160303
2016-03-04 09:29:10 +01:00
Vincent Laporte
038f4ce1d1
menhir: 20151110 -> 20151112
2015-12-15 21:36:57 +01:00
Vincent Laporte
6cc033b99e
menhir: refactor to generic; init at 20151110 for OCaml >= 4.02
2015-11-11 12:30:32 +01:00
Vincent Laporte
2205847614
ocaml-menhir: update from 20130116 to 20140422
2015-06-18 11:47:28 +02:00
Tobias Geerinckx-Rice
b2d7f4b1ba
Use common licence attributes from lib/licenses.nix
...
Many (less easily automatically converted) old-style strings
remain.
Where there was any possible ambiguity about the exact version or
variant intended, nothing was changed. IANAL, nor a search robot.
Use `with stdenv.lib` wherever it makes sense.
2015-05-27 22:00:06 +02:00
Eelco Dolstra
e07ce3314d
Fix some "meta.licenses" attributes
2014-01-25 03:04:46 +01:00
Marco Maggesi
c54a9276ba
Update menhir to version 20130115
2014-01-18 20:56:44 +00:00
Arie Middelkoop
2b18ccf305
* Added "easytag", a GUI for organizing id3tags in mp3s.
...
* Updated some ocaml packages.
* Updated coccinelle.
svn path=/nixpkgs/trunk/; revision=33674
2012-04-09 09:42:20 +00:00
Marco Maggesi
eb33e01ac7
* Add variable createFindlibDestdir to the setupHook of findlib
...
* Set createFindlibDestdir to various ocaml packages.
svn path=/nixpkgs/trunk/; revision=25220
2010-12-21 09:37:35 +00:00
Marco Maggesi
e1bbcecbaf
* Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, cryptokit, ocaml-lwt, menhir, ounit, ocaml-pcre, ocaml-react, ocaml-ssl
...
svn path=/nixpkgs/trunk/; revision=25064
2010-12-11 14:50:45 +00:00
Marco Maggesi
ac457478e3
* Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react
...
svn path=/nixpkgs/trunk/; revision=25041
2010-12-09 15:40:04 +00:00
