alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
213489 commits 217 branches 121 tags 4.5 GiB
Commit graph

408 commits

Author SHA1 Message Date
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