3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

27 commits

Author SHA1 Message Date
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