nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 07:05:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
225,109 Commits 205 Branches 125 Tags 8.8 GiB
d616ae8c6d
Commit Graph

451 Commits

Author SHA1 Message Date
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
Pascal Wittmann
7a6aac9076
ocaml-lablgl: use camlp5 2017-02-03 22:12:53 +01:00
Vincent Laporte
23894b77a7 ocamlPackages.dolmen: init at 0.2 
dolmen is an OCaml library providing clean and flexible parsers for input languages

Homepage: https://github.com/Gbury/dolmen
 2017-01-28 17:40:48 +00:00
Vincent Laporte
453a3838f9 ocamlPackages.mtime: init at 0.8.3 
Mtime is an OCaml module to access monotonic wall-clock time.

Homepage: http://erratique.ch/software/mtime
 2017-01-25 06:55:59 +00:00
Vincent Laporte
5bcf3c5e25 ocamlPackages.spacetime_lib: init at 0.1.0 2017-01-24 21:20:08 +00:00
Vincent Laporte
ae047510bf ocaml: init at 4.04 2017-01-24 21:13:00 +00:00
Michael Raskin
89278345c2 Merge pull request #22023 from vbgl/apron 
ocamlPackages.apron: init at 20160125
 2017-01-24 17:47:13 +00:00
vbgl
664d1d6dc9 Merge pull request #21261 from vbgl/uutf-1.0.0 
Eliom 6 and various OCaml package updates
 2017-01-21 20:23:28 +01:00
Vincent Laporte
75cea1db58 ocamlPackages.fpath: init at 0.7.1 
Fpath is an OCaml module for handling file system paths with POSIX and Windows conventions.

Homepage: http://erratique.ch/software/fpath
 2017-01-19 05:51:49 +00:00
Vincent Laporte
1503c11c5d ocamlPackages.omd: init at 1.3.0 
OMD is an extensible Markdown library and tool in OCaml.

Homepage: https://github.com/ocaml/omd
 2017-01-17 20:37:20 +01:00
Vincent Laporte
67a5833330 ocamlPackages.apron: init at 20160125 
APRON is an OCaml library of numerical abstract domains

Homepage: http://apron.cri.ensmp.fr/library/
 2017-01-14 09:34:34 +00:00
Vincent Laporte
2f2fbc9966 ocamlPackages.mlgmpidl: init at 1.2.4 
mlgmpidl is an OCaml interface to the GMP library.

Homepage: https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/
 2017-01-14 09:34:34 +00:00
Vincent Laporte
6636dfa845 ocamlPackages.ocb-stubblr: init at 0.1.0 2017-01-13 06:38:10 +00:00
Vincent Laporte
086fbfa308 ocamlPackages.owee: init at 0.2 
Owee is an experimental library to work with DWARF format.

Homepage: https://github.com/let-def/owee
 2017-01-12 09:12:52 +00:00
Vincent Laporte
e76a1f0e7e Revert "omake: remove 0.9.8.6-rc1" 
This reverts commit e672fbc6f0.
 2016-12-18 09:51:00 +00:00
Vincent Laporte
e672fbc6f0 omake: remove 0.9.8.6-rc1 2016-12-02 19:49:08 +00:00
Vincent Laporte
895d3c8908 omake: 0.9.8.5 -> 0.10.1 2016-12-02 19:49:07 +00:00
Vincent Laporte
66b9602a2f ocamlPackages.fmt: init at 0.8.0 
fmt is an OCaml library of Format pretty-printer combinators.

Homepage: http://erratique.ch/software/fmt
 2016-11-23 10:01:31 +01:00
Vincent Laporte
97a496a472 ocamlPackages.ocplib-simplex: init at 0.3 
ocplib-simplex is a (fully) functional OCaml implementation of the simplex algorithm for solving systems of linear inequalities.

homepage: https://github.com/OCamlPro-Iguernlala/ocplib-simplex
 2016-11-23 09:59:10 +01:00
Joachim F
c346326b24 Merge pull request #20527 from sternenseemann/notty 
ocaml-notty: init at 0.1.1
 2016-11-21 13:13:51 +01:00
Joachim F
9c1b6709a9 Merge pull request #20528 from sternenseemann/tls 
ocaml-tls: init at 0.7.1
 2016-11-21 13:12:32 +01:00
Joachim F
c7ecad6378 Merge pull request #20529 from sternenseemann/erm_xmpp 
ocaml-erm_xmpp_0_3: init at 0.3
 2016-11-21 13:11:58 +01:00
sternenseemann
15004268d7 ocaml-notty: init at 0.1.1 2016-11-18 22:52:16 +01:00
sternenseemann
ae13a18c6a ocaml-erm_xmpp_0_3: init at 0.3 2016-11-18 14:42:12 +01:00
sternenseemann
c7dc06655a ocaml-otr: init at 0.3.3 2016-11-18 14:39:58 +01:00
sternenseemann
d98a770ec4 ocaml-tls: init at 0.7.1 2016-11-18 14:23:49 +01:00
sternenseemann
86c45fc2d3 ocaml-nocrypto: 0.5.1 -> 0.5.3 2016-11-17 21:40:46 +01:00
Graham Christensen
febf3cfd34 Merge pull request #20188 from vbgl/clean-opam 
We don’t need so many opam versions
 2016-11-08 09:55:59 -05:00
Théo Zimmermann
01910b1801 ocamlPackage.ppx_import: init at 1.1 2016-11-08 15:38:45 +01:00
Vincent Laporte
f9b4c1c04a opam: move out of ocamlPackages 2016-11-05 16:28:21 +01:00
Vincent Laporte
01597adf07 opam: remove 1.1 2016-11-05 16:28:21 +01:00
Vincent Laporte
22732fc656 opam: remove 1.0.0 2016-11-05 16:28:21 +01:00
sternenseemann
37a47c1970 ocaml-astring: init at 0.8.3 2016-11-05 10:04:18 +01:00
sternenseemann
3f0e1f4c83 ocaml-ptime: init at 0.8.2 2016-11-04 19:15:18 +01:00
Vincent Laporte
16242a7c63 ocamlPackages.sedlex: init at 1.99.3 
sedlex is a Unicode-friendly lexer generator for OCaml.

Homepage: https://github.com/alainfrisch/sedlex
 2016-11-04 19:06:45 +01:00
Profpatsch
2bd86e9e47 Revert "Merge pull request #20090 from sternenseemann/master" 
Reason: https://github.com/NixOS/nixpkgs/pull/20090#commitcomment-19686426

This reverts commit 9ffcb1b250, reversing
changes made to a6283c1126.
 2016-11-04 12:24:57 +01:00
John Wiegley
4008300243 Merge pull request #20025 from vbgl/coq-8.5pl3 
Coq: 8.5pl2 -> 8.5pl3
 2016-11-03 10:38:45 -07:00
sternenseemann
096ec04b82 ocaml-erm_xmpp_0_3: init at 0.3 2016-11-03 14:39:26 +01:00
sternenseemann
9554143a9c ocaml-otr: init at 0.3.3 2016-11-03 14:39:26 +01:00
sternenseemann
02388e9ba5 ocaml-notty: init at 0.1.1 2016-11-03 14:39:22 +01:00
sternenseemann
db760a5edc ocaml-astring: init at 0.8.3 2016-11-03 14:34:35 +01:00
sternenseemann
d675e0d832 ocaml-tls: init at 0.7.1 2016-11-03 14:34:31 +01:00
sternenseemann
d8686b4949 ocaml-nocrypto: 0.5.1 -> 0.5.3 2016-11-03 14:24:47 +01:00
sternenseemann
0c8859fd17 ocaml-ptime: init at 0.8.2 2016-11-03 14:08:18 +01:00
Vincent Laporte
5f49eeb935 coq: move out of ocamlPackages 2016-11-02 19:23:15 +01:00
Vincent Laporte
92ef4067a6 ocamlPackages.uchar: init at 0.0.1 
The uchar package provides a compatibility library for the `Uchar` module introduced in OCaml 4.03.
 2016-10-19 19:20:32 +02:00
Kirill Boltaev
0a6ec885aa ocaml-ng: export mkOcamlPackages 2016-10-17 08:50:23 +02:00
Vincent Laporte
731b616fdb camlp4: fix for OCaml-4.03 2016-10-09 11:55:19 +02:00
Kirill Boltaev
3e646865f4 treewide: use ocaml.version (#19192) 2016-10-05 09:32:30 +02:00
Kirill Boltaev
e61663a233 treewide: move to ocaml-ng system 2016-09-26 02:36:49 +03:00