1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-19 04:02:10 +00:00
Commit graph

16 commits

Author SHA1 Message Date
Vincent Laporte a4fa4c45cc
ocamlPackages.cmdliner_0_9: use opaline 2018-06-06 07:14:29 +00:00
Vincent Laporte 5e4edcc4ec
ocamlPackages.topkg: refactoring 2017-12-14 07:36:29 +00:00
Vincent Laporte ebd5c936fd ocamlPackages.cmdliner: make version 1.0 the default 2017-09-08 04:09:11 +00:00
Vincent Laporte e93d92d391 ocamlPackages.cmdliner: 1.0.0 -> 1.0.2 2017-09-08 03:00:27 +00:00
romildo 61b8fddf52 cmdliner: 1.0.0 -> 0.9.8
Downgrade to version 0.9.8 because the new version 1.0.0 breaks API and
some pacakges do not yet compile with it.
2017-05-31 17:01:29 -03:00
romildo 32e12ff4ed cmdliner_1_0: init at 1.0.0
Version 1.0 breaks API and some packages does currently not compile
with it. So it is added as a new package.
2017-05-31 17:01:29 -03:00
romildo 56a4aaf4df cmdliner: 0.9.8 -> 1.0.0 2017-05-28 17:38:23 -03:00
Vincent Laporte 4168706d4f OCaml modules: make explicit some dependencies to ocamlbuild 2016-10-09 11:55:19 +02:00
Kirill Boltaev 3e646865f4 treewide: use ocaml.version (#19192) 2016-10-05 09:32:30 +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 0da6fb5fa5 ocaml-cmdliner: 0.9.7 -> 0.9.8 2015-10-14 19:27:10 +02:00
Vincent Laporte 5cd15f8cc0 ocaml-cmdliner: update from 0.9.6 to 0.9.7 2015-02-11 17:51:38 +01:00
Vincent Laporte 66e2f50416 cmdliner requires OCaml ≥ 4 2015-01-28 12:03:25 +01:00
Vincent Laporte f9432af1e2 ocaml-cmdliner: update from 0.9.5 to 0.9.6 2014-11-18 14:34:08 +00:00
Vincent Laporte 857c13e1af Minor modifications of some ocaml packages:
adds myself as a maintainer
adds assertions to have evaluation errors rather than build errors
moves opam out of ocamlPackages, as it does not provide a library
2014-09-21 11:02:55 +01:00
Vincent Laporte 23b9029455 Adds ocaml-cmdliner
Cmdliner is an OCaml module for the declarative definition of command
line interfaces.

Homepage: http://erratique.ch/software/cmdliner
2014-08-29 11:46:39 +02:00