Vincent Laporte
c647ca8180
ocamlPackages.cmdliner: remove at 0.9.8
2018-06-26 20:14:57 +00:00
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
