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
Vincent Laporte
8c506dfb64
ocamlPackages.posixat: mark as broken with OCaml 4.05
2017-08-30 02:28:56 +00:00
Vincent Laporte
724504e0da
ocamlPackages.cohttp: 0.22.0 -> 0.99.0
...
ocamlPackages.conduit: 0.15.4 -> 1.0.0
ocamlPackages.cohttp-lwt: init at 0.99.0
ocamlPackages.cohttp-lwt-unix: init at 0.99.0
ocamlPackages.conduit-lwt: init at 1.0.0
ocamlPackages.conduit-lwt-unix: init at 1.0.0
ocamlPackages.git: 1.11.1 -> 1.11.2
2017-08-27 20:03:06 +00:00
Vincent Laporte
935e991b72
js_of_ocaml: 2.8.4 -> 3.0.0
...
js_of_ocaml-camlp4: init at 3.0.0
js_of_ocaml-ppx: init at 3.0.0
2017-08-27 14:55:12 +00:00
Vincent Laporte
4b1a1c1846
js_of_ocaml-ocamlbuild: init at 3.0.0
2017-08-27 14:36:25 +00:00
Vincent Laporte
ef2c0f317a
js_of_ocaml-compiler: move
2017-08-27 14:29:57 +00:00
Vincent Laporte
01495f3255
ocamlPackages.js_of_ocaml-compiler: init at 0.3.0
2017-08-24 17:49:05 +00:00
Vincent Laporte
cf7df9230b
ocamlPackages.ppx_derivers: init at 1.0
...
Ppx_derivers is a tiny package whose sole purpose is to allow ppx_deriving and
ppx_type_conv to inter-operate gracefully when linked as part of the same
ocaml-migrate-parsetree driver.
Homepage: https://github.com/diml/ppx_derivers
2017-08-23 20:22:00 +00:00
Vincent Laporte
83d14b7b50
ocamlPackages.wasm: init at 0.13
...
wasm is an OCaml library to read and write Web Assembly (wasm) files and
manipulate their AST.
2017-08-04 05:36:58 +00:00
Vincent Laporte
da378ce8ed
ocamlPackages.process: init at 0.2.1
...
process makes it easy to use commands like functions.
Homepage: https://github.com/dsheets/ocaml-process
2017-08-04 05:36:57 +00:00
Vincent Laporte
bd7bf33814
ocaml: init at 4.05.0
2017-07-13 17:58:24 +00:00
Vincent Laporte
6a3a4f559b
ocamlPackages.integers: init at 0.2.2
2017-07-12 18:11:40 +00:00
Vincent Laporte
412da3210b
ocamlPackages.oasis: remove 0.4.6
2017-07-11 02:46:32 +00:00
Vincent Laporte
eb2be6d97e
acgtk: 1.1 -> 1.3.1
2017-07-08 08:52:02 +02:00
Volth
18e3799cd1
ocamlPackages.{benchmark,obuild,ptmap,rope}: init at 1.4, 0.1.8, 2.0.1, 0.5
2017-07-05 17:48:45 +00:00
Vincent Laporte
3beb47ff2a
ocamlPackages.inotify: init at 2.3
...
This package contains bindings for Linux's filesystem monitoring interface, inotify.
Homepage: https://github.com/whitequark/ocaml-inotify
2017-07-02 17:28:53 +02:00
Vincent Laporte
dbe61c96ae
ocamlPackages: make lwt-3.0.0 the default
2017-07-02 15:22:04 +00:00
Vincent Laporte
8ad273d4f0
ocamlPackages.lambda-term: 1.10 -> 1.11
2017-07-02 12:56:56 +00:00
Vincent Laporte
ca15a36d0e
ocamlPackages.lwt_react: init at 1.0.1
2017-07-02 11:59:18 +00:00
Vincent Laporte
d3a29b393a
ocamlPackages.lwt: 2.7.1 -> 3.0.0
2017-07-02 11:59:17 +00:00
Vincent Laporte
e8c0e8a04b
ocamlPackages.git-unix: init at 1.11.0
...
Unix backend for the Git protocol(s)
2017-07-02 11:59:16 +00:00
Vincent Laporte
ed12c7a9b9
ocamlPackages.git-http: init at 1.11.0
...
Client implementation of the “Smart” HTTP Git protocol in pure OCaml.
2017-07-02 11:59:16 +00:00
Vincent Laporte
6a0f4f69e1
ocamlPackages.git: init at 1.11.0
...
Git format and protocol in pure OCaml
Homepage: https://github.com/mirage/ocaml-git
2017-07-01 13:02:08 +00:00
Vincent Laporte
6eb2d7d44b
ocamlPackages.decompress: init at 0.6
...
decompress is a pure OCaml implementation of Zlib.
Homepage: https://github.com/mirage/decompress
2017-07-01 12:57:36 +00:00
Vincent Laporte
4338ddd0f9
ocamlPackages.mstruct: init at 1.3.3
...
Mstruct is a thin mutable layer on top of cstruct
Homepage: https://github.com/mirage/ocaml-mstruct
2017-07-01 11:52:18 +00:00
Vincent Laporte
6875115b8e
ocamlPackages.cohttp: 0.19.3 -> 0.22.0
...
Keeping the old version under attribute cohttp_p4
2017-07-01 11:52:18 +00:00
Vincent Laporte
fe9147a042
ocamlPackages.conduit: 0.10.0 -> 0.15.4
...
Keeping the old version under attribute conduit_p4.
2017-07-01 11:52:18 +00:00
Vincent Laporte
1551975e64
ocamlPackages.ocp-ocamlres: init at 0.3
...
A tool ocp-ocamlres to embed files and directories inside OCaml executables,
with a companion library ocplib-ocamlres to manipulate them at run-time.
Homepage: https://www.typerex.org/ocp-ocamlres.html
2017-07-01 08:58:21 +00:00
Vincent Laporte
f6e1d929a0
ocamlPackages.ocplib-json-typed: init at 0.5
2017-06-30 20:00:21 +00:00
Vincent Laporte
c8c673568c
ocamlPackages.stringext: 1.4.0 -> 1.4.3
...
ocamlPackages.qcheck: 0.4.0.1 -> 0.6
2017-06-28 18:41:59 +00:00
Vincent Laporte
ac83ef3994
glsurf: 3.3 -> 3.3.1
2017-06-26 19:24:33 +02:00
Vincent Laporte
6b89bcbaa6
ocamlPackages.core_bench: fix on OCaml ≥ 4.03
2017-06-26 07:57:17 +02:00
Jörg Thalheim
a3539d0dbc
Merge pull request #26126 from pmahoney/ocaml-core_bench
...
ocamlPackages.core_bench: init at 113.33.03
2017-06-15 13:50:10 +01:00
Vincent Laporte
68eb2c2379
ocamlPackages.re2: mark broken on darwin
2017-06-05 05:45:59 +00:00
romildo
4103994414
ocp-index: add explicitly dependency on ocpIndent_1_5_2
...
ocp-index does not yet compile with newer versions of ocp-indent.
2017-06-01 18:47:59 -03:00
romildo
7ba979cac3
ocp-indent: readd old version 1.5.2
...
Some packages (ocp-index, for instance) are not yet compatible with
newer versions of ocp-indent. So version 1.5.2 is still needed.
2017-06-01 18:43:27 -03:00
romildo
98058ef444
ocp-indent: depends on cmdliner minimum version 1.0.0
2017-05-31 17:13:28 -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
Théo Zimmermann
5fd9b442f4
ocamlPackages_4_03 (Jane Street packages): 113_33_xx -> 0.9.x
2017-05-30 20:50:36 +02:00
Théo Zimmermann
1cff0701ef
ocamlPackages: remove duplicated definitions
2017-05-30 20:50:36 +02:00
Théo Zimmermann
1dac99b7c9
ocamlPackages.janeStreet package set: init at 0.9.0
...
This contains a collection of Jane Street packages at version 0.9.0.
Packages not already present in ocamlPackages are also made available
without the janeStreet prefix.
2017-05-30 20:50:36 +02:00
Patrick Mahoney
b6534c694d
ocamlPackages.core_bench: init at 113.33.03
2017-05-22 10:30:00 -05:00
Vincent Laporte
0a4da64cad
ocamlPackages.octavius: init at 0.2.0
...
Octavius is a library to parse the ocamldoc comment syntax.
2017-05-10 06:36:39 +00:00
Volth
aa8d50ce0b
reason: init at 1.13.3
2017-04-23 11:23:21 +00:00
Matthew Maurer
7171d16fd4
bap: init at 1.2.0
2017-04-04 13:11:01 -04:00
regnat
4e9e1bc7ba
stog: init at 0.17.0
2017-03-30 01:26:51 +00:00
regnat
89e5963f2c
ocamlPackages.higlo: init at 0.6
2017-03-30 01:25:13 +00:00
regnat
40158137fd
ocamlPackages.xtmpl: init at 0.16.0
2017-03-30 01:24:17 +00:00
regnat
2f020cf7c1
ocamlPackages.ocf: init at 0.5.0
2017-03-30 01:23:30 +00:00
Matthew Maurer
401c284af0
ocaml-async_ssl: 112.24.03 -> 113.33.07
2017-03-30 01:02:51 +00:00
Vincent Laporte
5dda5a2ea2
ocamlPackages.bitstring: remove 2.0.4
2017-03-29 05:29:14 +00:00
Vincent Laporte
6e0b7273a2
ocamlPackages.stdio: init at 0.9.0
...
Stdio implements simple input/output functionalities for OCaml.
Homepage: https://github.com/janestreet/stdio
2017-03-25 07:06:49 +00:00
Vincent Laporte
a7a3d91039
ocamlPackages.ppx_traverse_builtins: init at 0.9.0
...
This OCaml library defines the default methods for builtin types
(int, string, list, ...) for Ppx_traverse.
Homepage: https://github.com/janestreet/ppx_traverse_builtins
2017-03-25 06:57:46 +00:00
Vincent Laporte
e3c1e37823
ocamlPackages.ppx_ast: init at 0.9.0
...
Ppx_ast selects a specific version of the OCaml Abstract Syntax
Tree from the migrate-parsetree project that is not necessarily
the same one as the one being used by the compiler.
Homepage: https://github.com/janestreet/ppx_ast
2017-03-24 19:09:43 +00:00
Vincent Laporte
d69e932780
ocamlPackages.ocaml-compiler-libs: init at 0.9.0
...
This packages exposes the OCaml compiler libraries repackages
under the toplevel names Ocaml_common, Ocaml_bytecomp, ...
Homepage: https://github.com/janestreet/ocaml-compiler-libs
2017-03-24 06:36:41 +00:00
Vincent Laporte
a81e253369
ocamlPackages.base: init at 0.9.0
...
Base is a complete and portable alternative to the OCaml standard library.
Homepage: https://github.com/janestreet/base
2017-03-23 06:39:50 +00:00
Vincent Laporte
f61ead6ee2
ocamlPackages.inifiles: init at 1.2
...
inifiles is a library to read and write .ini files
2017-03-21 18:12:43 +00:00
Florent Becker
091073819a
ocamlPackages.ocsigen-start: init at 1.0.0
2017-03-20 08:13:38 +00:00
Vincent Laporte
959064cfbe
ocamlPackages.ppx_deriving_yojson: init at 3.0
...
deriving Yojson is a ppx_deriving plugin that generates JSON serializers and
deserializers that use the Yojson library from an OCaml type definition.
Homepage: https://github.com/whitequark/ppx_deriving_yojson
2017-03-18 12:58:49 +00:00
Vincent Laporte
cc012b227f
ocamlPackages.functoria: init at 2.0.2
...
Functoria is a DSL to describe a set of modules and functors, their
types and how to apply them in order to produce a complete application.
Homepage: https://github.com/mirage/functoria
2017-03-17 02:39:15 +00:00
Florent Becker
bc26feb1d6
ocamlPackages.ocsigen_toolkit: init at 1.0
2017-03-17 02:09:53 +00:00
Vincent Laporte
49c18cc75d
ocamlPackages.bos: init at 0.1.4
...
Bos provides support for basic and robust interaction
with the operating system in OCaml.
Homepage: http://erratique.ch/software/bos
2017-03-16 07:11:33 +00:00
Vincent Laporte
eba3900781
ocamlPackages.rresult: init at 0.5.0
...
Rresult is an OCaml module for handling computation results and errors in an
explicit and declarative manner without resorting to exceptions.
Homepage: http://erratique.ch/software/rresult
2017-03-15 21:21:27 +00:00
Vincent Laporte
8498f979a1
ocaml-top: 1.1.2 -> 1.1.3
2017-03-14 07:57:59 +00:00
Vincent Laporte
369230cc76
ocamlPackages.cpuid: init at 0.1.0
...
cpuid allows detection of CPU features from OCaml.
Homepage: https://github.com/pqwy/cpuid
2017-03-13 20:58:51 +00:00
Vincent Laporte
b2b8a412fb
ocaml-llvm: 3.7.1 -> 3.9.1
2017-03-13 19:14:11 +01:00
Vincent Laporte
c9d8ae084d
ocamlPackages.ocaml-migrate-parsetree: init at 0.5
...
This library converts parsetrees, outcometree and ast mappers
between different OCaml versions. High-level functions help making
PPX rewriters independent of a compiler version.
Homepage: https://github.com/let-def/ocaml-migrate-parsetree
2017-03-12 07:29:54 +00:00
Vincent Laporte
5a0c577d32
ocamlPackages.async_unix: init at 113.33.00+4.03
2017-03-04 04:59:22 +00:00
Vincent Laporte
d3899a2495
ocamlPackages.async_kernel: init at 113.33.00
2017-03-04 04:54:51 +00:00
Vincent Laporte
8e1b4b3c4c
ocamlPackages.core: init at 113.33.02+4.03
2017-02-26 17:42:02 +00:00
Vincent Laporte
0a768bd6c8
ocamlPackages.core_kernel: init at 113.33.01+4.03
2017-02-26 17:29:36 +00:00
Vincent Laporte
1f1a950cb0
ocamlPackages.ppx_jane: init at 113.33.00
2017-02-26 17:29:36 +00:00
Vincent Laporte
68998dca58
ocamlPackages.ppx_bin_prot: init at 113.33.00+4.03
2017-02-26 17:29:36 +00:00
Vincent Laporte
ceabe0d3dd
ocamlPackages.ppx_typerep_conv: init at 113.33.00+4.03
2017-02-26 17:29:36 +00:00
Vincent Laporte
3c2c608c2e
ocamlPackages.ppx_sexp_value: init at 113.33.00+4.03
2017-02-26 17:29:36 +00:00
Vincent Laporte
03be79a018
ocamlPackages.ppx_sexp_message: init at 113.33.00+4.03
2017-02-26 17:29:36 +00:00
Vincent Laporte
758d052990
ocamlPackages.ppx_pipebang: init at 113.33.00+4.03
2017-02-26 17:29:36 +00:00
Vincent Laporte
3615c47c22
ocamlPackages.ppx_let: init at 113.33.00+4.03
2017-02-26 17:29:35 +00:00
Vincent Laporte
cf39dba1d8
ocamlPackages.ppx_fail: init at 113.33.00+4.03
2017-02-26 17:29:35 +00:00
Vincent Laporte
8f74b9024f
ocamlPackages.ppx_expect: init at 113.33.01+4.03
2017-02-26 17:29:35 +00:00
Vincent Laporte
0e6e2af219
ocamlPackages.ppx_variants_conv: init at 113.33.00+4.03
2017-02-26 17:29:35 +00:00
Vincent Laporte
1aab9f884d
ocamlpackages.ppx_fields_conv: init at 113.33.00+4.03
2017-02-26 17:29:35 +00:00
Vincent Laporte
ecc5dd5571
ocamlPackages.ppx_enumerate: init at 113.33.00+4.03
2017-02-26 17:29:35 +00:00
Vincent Laporte
c4e5f18631
ocamlPackages.ppx_custom_printf: init at 113.33.00+4.03
2017-02-26 17:29:35 +00:00
Vincent Laporte
654dd0aa96
ocamlPackages.ppx_bench: init at 113.33.00+4.03
2017-02-26 17:29:35 +00:00
Vincent Laporte
b4abe046d7
ocamlPackages.ppx_inline_test: init at 113.33.00+4.03
2017-02-26 17:29:35 +00:00
Vincent Laporte
3a9ae7e367
ocamlPackages.ppx_compare: init at 113.33.00+4.03
2017-02-26 17:29:35 +00:00
Vincent Laporte
71739f348e
Revert "ocamlPackages.spacetime: only build with ocaml-4.04"
...
This reverts commit f18ac15dca
.
2017-02-24 19:02:48 +00:00
Vincent Laporte
a9b0c95ad4
ocamlPackages.ppx_sexp_conv: init at 113.33.01+4.03
2017-02-23 19:07:38 +00:00
Vincent Laporte
7ca9e6776d
ocamlPackages.ppx_type_conv: init at 113.33.02+4.03
2017-02-23 19:04:01 +00:00
Vincent Laporte
d6bc0c9236
ocamlPackages.ppx_optcomp: init at 113.33.0[01]+4.03
2017-02-23 18:34:17 +00:00
Vincent Laporte
63796fd38f
ocamlPackages.ppx_core: init at 113.33.01+4.03
2017-02-23 18:28:15 +00:00
Vincent Laporte
be427d6e51
ocamlPackages.sexplib: init at 113.33.00+4.03
2017-02-23 18:25:56 +00:00
sternenseemann
8352e0b38c
ocaml-ipaddr: 2.6.1 -> 2.7.2
...
Keeps the legacy version under attribute `ipaddr_p4`;
it is needed for OCaml < 4.02 and some libraries (eg `conduit`).
2017-02-23 08:01:29 +00:00
Vincent Laporte
cb6d15549a
ocamlPackages.mparser: init at 1.2.1
...
MParser is a simple monadic parser combinator library for OCaml.
Homepage: https://github.com/cakeplus/mparser/
2017-02-22 19:23:06 +00:00
Vincent Laporte
b634622be0
compcert: 2.7.1 -> 3.0.1
2017-02-20 20:09:53 +00:00
vbgl
d31577cfd3
Merge pull request #22871 from FlorentBecker/default_ocaml_402
...
Default ocaml 402
2017-02-19 15:54:54 +01:00
Florent Becker
4c5f083d70
prooftree: move out of ocamlPackages
2017-02-19 13:06:25 +01:00
Florent Becker
6893d8a2fd
llpp: move out of ocamlPackages
2017-02-19 13:06:25 +01:00
Florent Becker
88dac94e3b
switch ocamlPackages to 4.02
2017-02-19 13:06:24 +01:00
Florent Becker
f18ac15dca
ocamlPackages.spacetime: only build with ocaml-4.04
2017-02-19 13:06:24 +01:00
Florent Becker
bf13a2cfc6
ocamlPackages.camlimages_4_0: only build with ocaml 4.01
2017-02-19 13:05:47 +01:00
Florent Becker
2a17b75fb1
ocamlPackages.bitsring: associate ocaml versions with bitstring versions univocally
2017-02-19 13:05:47 +01:00
Florent Becker
b0d7d60fd4
prooftree: force ocaml 4.01
2017-02-19 13:05:46 +01:00
Florent Becker
11e4fcf941
ocamlPackages.llpp: only allow with ocaml-4.04
2017-02-19 13:05:44 +01:00
sternenseemann
a452714799
ocaml-cow: init at 2.2.0
2017-02-19 11:16:25 +00:00
Vincent Laporte
d2a4a84f00
ocamlPackages.uri: 1.9.1 -> 1.9.2
...
The old version is also kept, under the attribute `uri_p4`.
It is built against `sexplib` version prior to 113.33 and needed by `trv`.
2017-02-19 11:57:24 +01:00
sternenseemann
4f0feb4f5f
ocaml-logs: init at 0.6.2
2017-02-19 04:36:14 +00:00
sternenseemann
d738ac4fd5
ocaml-angstrom: init at 0.3.0
2017-02-19 02:12:52 +01:00
Pascal Wittmann
5de04f6d55
Revert "ocaml-lablgl: use camlp5"
...
This reverts commit 7a6aac9076
.
2017-02-09 09:14:51 +01:00
volth
762cc106b4
virt-top: init at 1.0.8 ( #21536 )
2017-02-04 16:07:45 +01:00