Commit graph

8 commits

Author SHA1 Message Date
Nicolas B. Pierron
72c6f8a140 Ensure that we can evaluate the platform attribute of ocaml packages. 2016-03-13 19:08:26 +00:00
Matthew Maurer
028f6b3b62 ulex: enable mac building
I've tested that ulex builds (and works) on OSX, and see no reason
it would not do so on other platforms, so I'm lifting the linux
restriction in platforms.
2015-07-01 20:17:03 +00:00
Vincent Laporte
e63c1ea33e ocaml-ulex: fix build with OCaml-4.02 (depends on camlp4) 2015-06-25 08:55:28 +02:00
Joachim Fasting
bf7ad2d84f meta.description fixups
Mostly scripted substitutions with a couple of subjective enhancements.
2015-04-30 18:17:42 +02:00
Domen Kožar
3cb1ce8577 ulex: set platforms
(cherry picked from commit 827a9bbd449ef5075876577ef30703f29f26e597)
Signed-off-by: Domen Kožar <domen@dev.si>
2014-12-18 10:01:50 +01:00
Mateusz Kowalczyk
7a45996233 Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
Karn Kallio
9ac48a630e Add OPA to Nixpkgs.
svn path=/nixpkgs/trunk/; revision=30578
2011-11-27 23:58:46 +00:00
Russell O'Connor
88ec92d14c Matita and its dependencies.
svn path=/nixpkgs/trunk/; revision=25328
2010-12-31 17:48:55 +00:00