Commit Graph

409 Commits

Author SHA1 Message Date
Vincent Laporte
0d70d4a8b8 ocamlPackages.merlin_extend-0.3 -> merlin-extend-0.4 2019-08-02 06:32:51 +00:00
Vincent Laporte
bd9a7131a1
ocamlPackages.lambdasoup: init at 0.6.3 2019-08-02 06:31:12 +00:00
Merlin Göttlinger
2ea2643b13
OCaml build support: add oasis build system 2019-08-01 10:44:04 +02:00
Vincent Laporte
ca3f1c20d7 ocamlPackages.toml: init at 5.0.0 2019-07-30 16:18:39 +00:00
Vincent Laporte
d2c3c1f2bb ocaml-ng.ocamlPackages_4_08: 4.08.0+rc2 -> 4.08.0 2019-07-10 05:26:42 +00:00
Patrick Mahoney
e485b10d3e ocamlPackages.opium: init at 0.17.1 2019-07-07 08:15:39 +00:00
Patrick Mahoney
aa7fbe4d2e ocamlPackages.hmap: init at 0.8.1 2019-07-07 08:15:39 +00:00
José Romildo Malaquias
f0e7c5f569 ocamlPackages.printbox: init at 0.2 2019-06-20 07:29:55 +00:00
José Romildo Malaquias
b8495898df ocamlPackages.mdx: init at 1.4.0 2019-06-20 07:29:55 +00:00
Vincent Laporte
99fec0eeb3 ocamlPackages.bistro: init at 0.4.0 2019-06-20 07:29:20 +00:00
volth
f3282c8d1e treewide: remove unused variables (#63177)
* treewide: remove unused variables

* making ofborg happy
2019-06-16 19:59:05 +00:00
Vincent Laporte
3ca7fc10e8 ocamlPackages.earley: 1.0.2 -> 2.0.0 2019-05-29 08:29:09 +02:00
Vincent Laporte
eff7bc3f33 ocamlPackages.uri_1_9: remove at 1.9.6 2019-05-05 22:00:58 +02:00
Vincent Laporte
f38bf3ba4e ocamlPackages.bap: 1.4.0 -> 1.6.0
libbap: 2018-03-01 -> 2019-04-05
2019-05-05 22:00:58 +02:00
Vincent Laporte
61b53f4071 ocamlPackages.ojquery: remove at 0.1 2019-04-28 17:42:36 +02:00
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
Vincent Laporte
26aa4c36ba
ocamlPackages.erm_xmpp: 0.3 -> 0.3+20180112 2018-09-21 17:04:23 +00:00
Vincent Laporte
f0a0ccabcc
ocamlPackages.seq: init at 0.1 2018-09-05 17:12:13 +00:00
John Ericson
2c4a75e9ef
Merge pull request #45820 from obsidiansystems/dont-use-obsolete-platform-aliases
treewide: Dont use obsolete platform aliases
2018-08-31 09:56:10 -04:00
John Ericson
2c2f1e37d4 reewide: Purge all uses stdenv.system and top-level system
It is deprecated and will be removed after 18.09.
2018-08-30 17:20:32 -04:00
Vincent Laporte
474c0aa221
ocamlPackages: default to 4.06 2018-08-29 12:49:46 +00:00
Vincent Laporte
bdaec23d14
ocamlPackages.ocaml_extlib_maximal: remove at 1.7.5 2018-08-29 12:49:45 +00:00
Ivan Jager
ef98b96356 atd: 1.12.0 -> 2.0.0 (#45046)
atdgen is now part of atd
2018-08-15 10:45:42 +02:00
Vincent Laporte
be989c7af4 ocamlPackages.javalib: 2.3.4 -> 2.3.5 (#45016) 2018-08-14 14:53:30 +02:00
Vincent Laporte
26213bc990
stog: 0.17.0 -> 0.18.0 2018-07-29 13:32:10 +00:00
Vincent Laporte
d6a60a7e91
ocamlPackages.labltk: init at 8.06 (#43963)
LablTk is an OCaml interface to the Tcl/Tk GUI framework.

homepage: http://labltk.forge.ocamlcore.org/
2018-07-29 08:35:35 +00:00
Vincent Laporte
1747b29a4c ocamlPackages.httpaf: init at 0.4.1
http/af is a high-performance, memory-efficient, and scalable web server for
OCaml.

Homepage: https://github.com/inhabitedtype/httpaf
2018-07-29 07:47:21 +00:00
Vincent Laporte
96b9fdaa35 ocamlPackages.bigstringaf: init at 0.3.0
Bigstring intrinsics and fast blits based on memcpy/memmove

homepage: https://github.com/inhabitedtype/bigstringaf
2018-07-29 07:47:21 +00:00
Vincent Laporte
0c4daae16a
ocamlPackages.ppx_sqlexpr: init at 0.9.0 2018-07-28 14:16:47 +00:00
Fatih Altinok
8d03816ed0
ocamlPackages.ppx_gen_rec: init at 1.0.0 2018-07-23 14:01:50 +00:00
Vincent Laporte
6ca8f06b5b ocaml-4.07: 4.07.0+rc1 -> 4.07.0 2018-07-23 07:24:25 +00:00
volth
52f53c69ce pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
xeji
ebdb6edad7
Merge pull request #43440 from vbgl/ocaml-lwt_log-1.0.0
ocamlPackages.lwt_log: init at 1.0.0
2018-07-14 00:25:55 +02:00
Vincent Laporte
ade8242b81 ocamlPackages.ezjsonm: 0.4.3 -> 0.6.0 2018-07-13 16:21:33 +00:00
Vincent Laporte
5a7ab721b4
ocamlPackages.lwt_log: init at 1.0.0 2018-07-12 21:26:00 +00:00
Vincent Laporte
de1a8ddb3c
ocamlPackages.iri: init at 0.4.0
iri is an OCaml implementation of Internationalized Resource Identifiers
(IRIs).

Homepage: https://framagit.org/zoggy/ocaml-iri
2018-07-09 17:15:43 +00:00
Vincent Laporte
3b0cd74f55
ocamlPackages.janeStreet: 0.10 -> 0.11 2018-07-05 19:40:31 +00:00
Vincent Laporte
c647ca8180
ocamlPackages.cmdliner: remove at 0.9.8 2018-06-26 20:14:57 +00:00
Vincent Laporte
ed1bbae4db
ocamlPackages.ocp-indent: remove at 1.5.2 2018-06-26 20:14:57 +00:00
Vincent Laporte
06158033f2
ocamlPackages.ocp-index: use up-to-date ocp-indent 2018-06-26 20:14:57 +00:00
Vincent Laporte
db8f874da8
ocamlPackages.ocp-indent: fix attribute name (from ocpIndent) 2018-06-26 20:14:57 +00:00
Vincent Laporte
fd018bdadd
ocamlPackages.ocp-build: remove spurious dependency to camlp4
Change attribute name from “ocpBuild” to “ocp-build”.
2018-06-26 20:14:57 +00:00
Vincent Laporte
ec81355c8d
ocamlPackages.psmt2-frontend: init at 0.1 2018-06-25 13:38:55 +00:00
Vincent Laporte
999871400b ocamlPackages.linenoise: init at 1.1.0 (#41489) 2018-06-05 20:29:00 +02:00
Vincent Laporte
5509528c2c ocamlPackages.opam-file-format: init at 2.0.0-rc2 (#41164) 2018-05-28 23:33:00 +02:00
Sarah Brofeldt
8d1eddea16
Merge pull request #40884 from vbgl/ocaml-earley-ocaml
ocamlPackages.earley_ocaml: init at 1.0.2
2018-05-24 23:05:38 +02:00
Vincent Laporte
cc2ac8a39e ocamlPackages.imagelib: init at 20171028 (#40910) 2018-05-23 10:33:26 +02:00
Vincent Laporte
19f768a978
ocamlPackages.earley_ocaml: init at 1.0.2 2018-05-21 16:10:12 +00:00
Vincent Laporte
0d319657ef ocamlPackages.earley: init at 1.0.2 (#40755) 2018-05-19 23:01:40 +02:00
Vincent Laporte
a600e0c8a5 ocaml: default to 4.06 on aarch64 (since 4.05 is broken there) 2018-05-07 07:11:11 +02:00
Vincent Laporte
8994fff8bb
ocamlPackages.eliom: 6.2.0 -> 6.3.0 2018-04-28 14:31:50 +00:00
Vincent Laporte
eaf0592498
ocamlPackages.ocsigen_server: 2.8 -> 2.9 2018-04-28 14:31:45 +00:00
Vincent Laporte
5c4ee2a3ab ocaml: init at 4.07.0+beta2 2018-04-25 18:19:57 +02:00
Vincent Laporte
5f82c322d6 eff: 20140928 -> 5.0 (#39264) 2018-04-23 08:16:03 +01:00
Vincent Laporte
20c035b906 ocamlPackages.js_of_ocaml-tyxml: init at 3.1.0 2018-04-18 09:38:23 +02:00
Vincent Laporte
a09c39f80c
ocamlPackages.js_of_ocaml-lwt: init at 3.1.0 2018-04-08 17:38:14 +00:00
Vincent Laporte
6c3186848d ocamlPackages.js_of_ocaml-ppx_deriving_json: init at 3.1.0 2018-04-07 13:24:22 +02:00
Vincent Laporte
be48c2effc
ocamlPackages.lwt_ppx: init at 3.3.0 2018-03-27 20:34:08 +00:00
Vincent Laporte
0b53d63dad ocamlPackages.lwt3: 3.0.0 -> 3.3.0 2018-03-27 22:32:55 +02:00
Vincent Laporte
4fcadba5ea ocamlPackages: default to 4.05 2018-03-14 16:24:27 +01:00
Vincent Laporte
1d4bbef0e8 wyrd: fix build 2018-03-08 14:48:23 -06:00
Masayuki Takeda
09fb415c18 camlimages: fix regression 2018-03-08 08:55:12 +01:00
Masayuki Takeda
3f73823117 camlimages: 4.1.2 -> 5.0.0 2018-03-07 19:09:32 +09:00
Masayuki Takeda
39cb0d8dd4 fix bap regression 2018-03-06 23:26:12 +09:00
Masayuki Takeda
84adbd0d98 janeStreet: 0.9.0 -> 0.10.0 2018-03-03 11:55:35 +09:00
Matthew Maurer
a9409104a0 bap: 1.2 -> 1.4 2018-03-01 17:22:43 -05:00
volth
54371a78f4 ocamlPackages.curses: works with default ncurses 2018-02-23 18:14:09 +01:00
Vincent Laporte
2aeafe7ef4 ocamlPackages.bitv: init at 1.3
bitv is a bit vector library for OCaml.

Homepage: https://github.com/backtracking/bitv
2018-02-19 18:55:31 +01:00
Vincent Laporte
7c2b2ddd68 ocamlPackages.lwt_ssl: init at 1.1.2 2018-02-18 11:15:28 +01:00
Vincent Laporte
1b43f4fe86
ocamlPackages.uri: 1.9.2 -> 1.9.5 2018-01-14 05:28:49 +00:00
Ruben Maher
671fb2d2d7 ocamlPackages.wtf8: init at 1.0.1 2018-01-01 20:46:11 +10:30
Ruben Maher
9d87e8395f ocamlPackages.dtoa: init at 0.3.1 2018-01-01 20:46:05 +10:30
Vincent Laporte
e3d363546a
Merge pull request #32585 from vbgl/ocaml-lru-0.2.0
Add OCaml libraries: psq, lru, faraday, farfadet, digestif
2017-12-23 09:29:16 +01:00
Orivej Desh
9b6e938940 ocamlPackages.curses: fix build
Closes #32943
2017-12-21 17:26:08 +00:00
Vincent Laporte
12c5fe3e2d ocamlPackages.cairo2: 0.4.6 -> 0.5 2017-12-16 12:14:35 +01:00
Vincent Laporte
d39886db5a
ocamlPackages.digestif: init at 0.5
Digestif provides some hash functions in OCaml.

Homepage: https://github.com/mirage/digestif
2017-12-15 17:46:31 +00:00
Vincent Laporte
8a5d33ed52
ocamlPackages.farfadet: init at 0.2
Farfadet is a printf-like for Faraday library.

Homepage: https://github.com/oklm-wsh/Farfadet
2017-12-15 17:46:30 +00:00
Vincent Laporte
3582a97464
ocamlPackages.faraday: init at 0.5.0
Faraday is a library for writing fast and memory-efficient serializers in
OCaml.

Homepage: https://github.com/inhabitedtype/faraday
2017-12-15 17:46:29 +00:00
Vincent Laporte
14608047f4
ocamlPackages.lru: init at 0.2.0
lru provides LRU caches for OCaml.

Homepage: https://github.com/pqwy/lru
2017-12-15 17:46:29 +00:00
Vincent Laporte
8278df916d
ocamlPackages.psq: init at 0.1.0
psq provides a functional priority search queue for OCaml.

Homepage: https://github.com/pqwy/psq
2017-12-15 17:46:28 +00:00
Pascal Wittmann
aacf756ed0
Merge pull request #32538 from vbgl/ott-0.27
ott: 0.25 -> 0.27
2017-12-14 09:07:46 +01:00
Vincent Laporte
746d9d1b7b ocamlPackages.markup: 0.7.4 -> 0.7.5 2017-12-10 13:01:40 +01:00
Vincent Laporte
1ccd3b9755
ott: 0.25 -> 0.27 2017-12-10 11:49:05 +00:00
Vincent Laporte
01f473c8d1
facile: 1.1 -> 1.1.3
Move to ocamlPackages.
Add a META file to use with ocamlfind
2017-12-08 06:12:26 +00:00
Vincent Laporte
bfc0959511
ocamlPackages.cstruct: 2.3.2 -> 3.0.2 2017-11-27 20:49:18 +00:00
Vincent Laporte
26798bd6e0
ocamlPackages.batteries: 2.7.0 -> 2.8.0
Also renames the attribute from ocaml_batteries to batteries.
2017-11-14 17:53:53 +00:00
Vincent Laporte
d426e9097c
ocamlPackages.camomile: 0.8.6 -> 0.8.7 2017-11-11 16:56:14 +00:00
Vincent Laporte
8923737cd5
ocamlPackages.sexplib: 0.9.2 -> 0.9.3 2017-11-04 17:09:50 +00:00
Vincent Laporte
0ce1067b18
ocamlPackages.num: init at 1.1 2017-11-03 23:45:18 +00:00
Vincent Laporte
4f7c0aed38
ocaml: init at 4.06.0 2017-11-03 22:51:27 +00:00
Vincent Laporte
ee23541f89
ocamlPackages.ocaml_expat: 0.9.1 -> 1.0.0 2017-11-03 19:44:19 +00:00
Vincent Laporte
68ed8f685b
ocamlPackages.camomile: 0.8.5 -> 0.8.6 2017-10-20 07:19:13 +00:00
Vincent Laporte
1923cabeb4 ocamlPackages: default to 4.04 2017-10-19 17:57:14 +02:00
Vincent Laporte
cbf5307020 ocamlPackages.biniou: 1.0.9 -> 1.2.0 2017-10-06 21:16:06 +00:00
Vincent Laporte
9e754a6f86 ocamlPackages.ssl: 0.5.3 -> 0.5.4 2017-10-05 17:09:50 +00:00
Vincent Laporte
c06e5a8d64 ocamlPackages.react: 1.2.0 -> 1.2.1 2017-10-05 08:39:50 +00:00
Gabriel Ebner
7049172d72 ocamlPackages.stdint: init at 0.3.0 2017-10-02 12:21:47 +02:00
Vincent Laporte
1e9deaad66 ocamlPackages.csv: 1.7 -> 2.0 2017-09-20 05:39:12 +00:00
Vincent Laporte
ebd5c936fd ocamlPackages.cmdliner: make version 1.0 the default 2017-09-08 04:09:11 +00:00
Vladimír Čunát
6b95cf646c
Merge: fixups to staging merge
None are large rebuilds; most are on staging already.
2017-08-30 21:17:17 +02:00
Vladimír Čunát
0f0bf06ac6
wyrd: fixup by using older ncurses
(cherry picked from commit 8f713e881e)
2017-08-30 21:14:56 +02:00