Commit graph

18 commits

Author SHA1 Message Date
Vincent Laporte
9ec8205e78 ocamlPackages.tyxml: 4.3.0 → 4.4.0
ocamlPackages.eliom: 6.10.1 → 6.12.0
2020-05-14 18:12:36 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Vincent Laporte
2406c06ae0 ocamlPackages.tyxml: 4.2.0 -> 4.3.0
ocamlPackages.eliom: 6.4.0 -> 6.7.0
ocamlPackages.js_of_ocaml: 3.2.1 -> 3.3.0
2019-04-28 17:42:36 +02:00
Daniel Schaefer
bac4d95aa2 treewide: Change URLs to HTTPS
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
2019-04-22 10:19:54 +02:00
Vincent Laporte
c722db75ba
ocamlPackages.{tyxml,lwt}: always enable camlp4 support 2018-09-05 06:06:48 +00:00
Vincent Laporte
fdf291f922
ocamlPackages.tyxml: make dependency to camlp4 optional 2018-07-14 17:17:51 +00:00
Vincent Laporte
6944860c6e
ocamlPackages.tyxml: 4.0.1 -> 4.2.0 2018-02-02 07:33:23 +00:00
Vincent Laporte
33c2805324 ocamlPackages.tyxml: 3.6.0 -> 4.0.1 2017-01-13 06:38:09 +00:00
Vincent Laporte
cc272dc996 OCaml modules: make explicit some dependencies to ocamlbuild 2016-10-10 19:18:07 +02:00
Florent Becker
7e6f5cc561 tyxml: 3.4.0 -> 3.6.0 2016-05-31 19:10:06 +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
547f11f015 tyxml: update from 3.3.0 to 3.4.0 2015-01-19 12:06:59 +01:00
Tobias Geerinckx-Rice
c64257b8e5 Fix user-facing typos (mainly in descriptions) 2014-12-30 03:31:03 +01:00
Florent Becker
407c762f18 Make uutf a *propagated*BuildInput of ocamlPackages.tyxml 2014-10-15 11:13:04 +02:00
Florent Becker
e8b24eb63e update tyxml to version 3.3.0 2014-10-14 13:09:53 +02:00
Vincent Laporte
7adab7e25e ocaml-tyxml: update 3.0.0 -> 3.1.1 2014-09-30 06:25:31 +02:00
Michael Raskin
9a9ecbf32d A description cleanup after merge 2014-09-06 12:44:33 +04:00
Florent Becker
da6859722d Add tyxml (XML library for ocaml) 2014-09-06 12:44:33 +04:00