Commit graph

294 commits

Author SHA1 Message Date
Vincent Laporte 5e93a2f2d9
ocamlPackages.uri_1_9: add an attribute for version 1.9 2019-04-16 08:41:56 +00:00
Vincent Laporte 2dfc7524c6
ocamlPackages.cohttp: 1.1.1 -> 2.0.0 2019-04-07 20:11:18 +00:00
Vincent Laporte 905405eb72
ocamlPackages.uri: 1.9.6 -> 2.2.0 2019-04-07 20:11:13 +00:00
Vincent Laporte 3a10042c81
ocamlPackages.base64: 2.0.0 -> 3.2.0
Keep the legacy version under attribute `base64_2`
2019-04-06 13:24:16 +00:00
Vincent Laporte 50a03f8632 hol_light: 2018-09-30 -> 2019-03-27 2019-04-06 11:03:29 +02:00
Vincent Laporte 853b589f78
ocamlPackages.cairo2: 0.5 -> 0.6 (#57965) 2019-03-26 15:11:37 +01:00
Vincent Laporte 7a2426ca77 dune: move into ocamlPackages 2019-03-26 14:17:50 +01:00
Cedric Cellier 0206adc566 lacaml: init at 11.0.3 2019-03-24 19:37:47 +01:00
Cedric Cellier 913e33897c ocaml-syslog: init at 1.5 2019-03-19 09:31:12 +01:00
Vincent Laporte 93ce3df6b5 ocamlPackages.stdlib-shims: init at 0.1.0 2019-03-03 11:45:21 +01:00
Vincent Laporte b275d09224 ocamlPackages.lablgtk3: 3.0.beta3 -> 3.0.beta4 2019-02-22 13:00:04 +01:00
Vincent Laporte 1753b20648 ocaml: init at 4.08.0+beta1 2019-02-19 09:44:04 +01:00
Vincent Laporte 686f8a4710
ocamlPackages.eliom: 6.3.0 -> 6.4.0 2019-02-03 14:20:14 +00:00
Vincent Laporte 05350c0047
ocamlPackages.ocsigen_server: 2.9 -> 2.11 2019-02-03 14:20:13 +00:00
Vincent Laporte d8a8de45d0
ocamlPackages.lwt_camlp4: init at 20180325 2019-02-03 14:20:11 +00:00
Vincent Laporte db217a8aca ocamlPackages.resource-pooling: init at 0.5.2
A library for pooling resources like connections, threads, or similar.

Homepage: https://github.com/ocsigen/resource-pooling
2019-01-12 08:23:48 +00:00
pukkamustard 9211bcc7ea ocamlPackages: Use lib.makeScope 2019-01-06 11:20:08 +00:00
Vincent Laporte d7f08cd90f ocamlPackages.ppxfind: init at 1.2 2018-12-25 10:43:41 +01:00
Vincent Laporte daaba731a7 ocamlPackages.csv-lwt: init at 2.2 2018-12-24 14:57:07 +01:00
Vincent Laporte 6620de7594 ocamlPackages.atdgen: init at 2.0.0
Atdgen is a command-line program that takes as input type definitions in the
ATD syntax and produces OCaml code suitable for data serialization and
deserialization.

Homepage: https://github.com/mjambon/atd
2018-12-17 21:38:49 +00:00
Vincent Laporte b6ca91fba5 ocamlPackages.elina: init at 1.1
ELINA contains optimized implementations of popular numerical abstract domains
such as Polyhedra, Octagon and Zones for static analysis.

homepage: http://elina.ethz.ch/
2018-12-16 08:54:51 +00:00
Vincent Laporte 113a7562fe ocamlPackages.lablgtk3: init at 3.0.beta1 2018-12-13 09:09:09 +00:00
Vincent Laporte 1a04bd4414 ocamlPackages.checkseum: init at 0.0.3
Chekseum is an OCaml library which implements ADLER-32 and CRC32C Cyclic
Redundancy Check. It provides 2 implementation, the first in C and the
second in OCaml.

Homepage: https://github.com/mirage/checkseum
2018-12-11 08:12:27 +00:00
Vincent Laporte e9b43adab7 ocamlPackages.optint: init at 0.0.2
This library provide one module Optint which internally uses an int if
you are in a x64 architecture or an int32 (boxed value) if you are in a
x86 architecture.

Homepage: https://github.com/mirage/optint
2018-12-11 08:12:27 +00:00
Jörg Thalheim 1388223456
Merge pull request #51276 from nomeata/ocaml-bisect
Add bisect_ppx and bisect_ppx-ocamlbuild
2018-12-02 23:44:41 +00:00
Magnus Jonsson d23acab3a3 ocamlPackages.opti: init at 1.0.3 2018-12-01 19:00:23 -08:00
Joachim Breitner 7621523fc1 Add bisect_ppx and bisect_ppx-ocamlbuild 2018-11-30 12:57:01 +01:00
Vincent Laporte e481df83b1 ocamlPackages.camlp5: 7.06 -> 7.07
Keeping the legacy (7.06) version around, needed by hol_light
2018-11-21 05:59:49 +00:00
Jörg Thalheim 8debc01cb4
Merge pull request #49822 from marsam/feature/update-flow
flow: 0.80.0 -> 0.85.0
2018-11-07 15:05:57 +00:00
Théo Zimmermann 794158fcd5
buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
Mario Rodas 36efe7b3aa ocamlPackages.visitors: init at 20171124 2018-11-06 08:06:11 -05:00
Jörg Thalheim b5ad615474
verasco: remove unmaintained project
Verasco is no longer maintained by upstream and blocks updates of some libraries.
Removing it also makes it possible to remove coq 8.4.
2018-10-30 13:31:11 +00:00
Vincent Laporte 80bb1db72c
ocamlPackages.menhir: 20170712 -> 20181026 2018-10-28 15:30:49 +00:00
Mateusz Czapliński 98d4e42145 ocamlPackages.zmq: init at 20180726 2018-10-22 06:51:17 +00:00
Théo Zimmermann 2fdd38ed2d
camlp5_transitional: remove in favor of camlp5 (strict) 2018-10-10 19:44:54 +02:00
Théo Zimmermann eaf0de5985
ulex: remove version 0.8 2018-10-10 19:42:54 +02:00
Théo Zimmermann c76ffb9253
matita: remove broken package
As requested by Vincent Laporte.
2018-10-09 09:47:31 +02:00
Théo Zimmermann 0f8ef669ac
ocamlPackages_3_12_1: remove 2018-10-08 21:10:05 +02:00
Théo Zimmermann 34394a38ef
ocamlPackages_3_11_2: remove
This requires removing also the Coq 8.3 and Matita 0.5.8 packages.

Coq 8.3 was released 8 years ago (2010) and there is no trace left
of users of this version (contrary to Coq 8.4, released 2012).
It is well over time to remove it.

Matita 0.5.8 was released in 2010 and because this version was still
used for teaching according to the official website, a legacy release
(0.5.9) was released in 5 years later to compile with more recent
OCaml libraries.
Updating to 0.5.9 (or a more recent version like 0.99.3) should allow
getting rid of the dependency on older OCaml but it is hard to test
given that the package is already broken before this update.
2018-10-08 21:10:05 +02:00
Théo Zimmermann 62cf2840bd
ocamlPackages_3_10_0: remove 2018-10-08 21:10:05 +02:00
Théo Zimmermann 3d683f33f3
ocamlPackages_3_08_0: remove 2018-10-08 21:10:04 +02:00
Théo Zimmermann cf1f8b2d04
camlp5: remove old version 5.15 2018-10-08 21:09:59 +02:00
Vincent Laporte bdaedbe38c ocamlPackages.ocaml_lwt: 3.3.0 -> 4.1.0 2018-10-08 05:59:24 +00:00
Marco Maggesi 9a5f7b1630 hol_light: 2017-07-06 -> 2018-09-30
Also handle compatibility with newer version of OCaml (depend on num
library as needed).
2018-10-06 15:49:09 +00:00
Carlos D'Agostino 364d477236 ocamlPackages.ezxmlm: init at 1.0.2 2018-10-06 14:18:51 +00:00
Vincent Laporte c8f3e0f118 ocamlPackages.elpi: init at 1.0.5 2018-09-27 17:41:12 +00:00
Vincent Laporte cbc609ca8c ocamlPackages.odoc: init at 1.2.0 2018-09-24 05:08:37 +00:00
Vincent Laporte 886acaff11 ocamlPackages.doc-ock-xml: init at 1.2.1 2018-09-24 05:08:37 +00:00
Vincent Laporte 41f06396cc ocamlPackages.doc-ock-html: init at 1.2.1 2018-09-24 05:08:37 +00:00
Vincent Laporte 55ef56b260 ocamlPackages.doc-ock: init at 1.2.1 2018-09-24 05:08:37 +00:00