JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
211,660 Commits 2 Branches 0 Tags 13 GiB
3aa96bd4e1
Commit Graph

406 Commits

Author SHA1 Message Date
Cedric Cellier
359e6446ef ocaml-sodium: init at 0.6.0 2019-11-22 07:48:55 +00:00
Vincent Laporte
82af060040 ocamlPackages.lwt3: remove at 3.3.0 2019-11-07 16:39:42 +00:00
Vincent Laporte
60f50b69a6 haxe: refactor out of ocamlPackages 2019-10-30 18:05:20 +00:00
Vincent Laporte
7e51c79f17 monotoneViz: refactor out of ocamlPackages 2019-10-30 18:05:20 +00:00
José Romildo Malaquias
432258f0da ocamlPackages.ocamlearlybird: init at 0.1.5 2019-10-29 10:51:42 -03:00
José Romildo Malaquias
a0f12b059a ocamlPackages.angstrom-unix: init at 0.12.1 2019-10-28 14:41:12 -03:00
José Romildo Malaquias
05a71af6a4 ocamlPackages.angstrom-lwt-unix: init at 0.12.1 2019-10-28 14:40:53 -03:00
José Romildo Malaquias
46eacf359b ocamlPackages.angstrom-async: init at 0.12.1 2019-10-28 14:40:35 -03:00
Vincent Laporte
8dc2173905 ocamlPackages.decompress: 0.6 → 0.9.0 
ocamlPackages.git: 1.11.5 → 2.1.0

ocamlPackages.imagelib: 20171028 → 20191011

ocamlPackages.imagelib-unix: init
 2019-10-28 07:37:24 +00:00
Vincent Laporte
ea5684b438 ocamlPackages.encore: init at 0.3 2019-10-28 07:37:24 +00:00
Vincent Laporte
9f26063077 ocamlPackages.ke: init at 0.4 2019-10-28 07:37:24 +00:00
Vincent Laporte
bbce011c13 ocamlPackages.duff: init at 0.2 2019-10-21 05:31:00 +00:00
Vincent Laporte
7264e96053 ocamlPackages.spelll: init at 0.3 
Fuzzy string searching, using Levenshtein automaton. Can be used for
spell-checking.

Homepage: https://github.com/c-cube/spelll
 2019-10-17 05:50:26 +00:00
Vincent Laporte
7c6026019e
ocamlPackages.doc-ock: remove at 1.2.1 
This is now part of ocamlPackages.odoc
 2019-10-15 06:03:53 +00:00
Vincent Laporte
e33563438e
ocamlPackages.doc-ock-xml: remove at 1.2.1 
This is now part of ocamlPackages.odoc
 2019-10-15 06:03:48 +00:00
Vincent Laporte
960dfbc5b4
ocamlPackages.doc-ock-html: remove at 1.2.1 
This is now part of ocamlPackages.odoc
 2019-10-15 06:03:42 +00:00
Vincent Laporte
e191a69e8d ocamlPackages.eqaf: init at 0.5 2019-10-15 07:08:13 +02:00
Vincent Laporte
632f69857d ocamlPackages.ocaml-monadic: init at 0.4.1 2019-10-12 07:41:49 +02:00
Vincent Laporte
c82c6d3a12 ocaml: default to version 4.07 
patdiff: 0.11.0 → 0.12.0
 2019-10-11 07:58:42 +02:00
Vincent Laporte
4ca445c722 ocaml-ng.ocamlPackages_latest: 4.08.1 -> 4.09.0 2019-09-27 07:45:18 +02:00
Jörg Thalheim
646dd55d16
ocamlPackages.containers: 1.4 → 2.6.1, and related fixes (#69132) 
ocamlPackages.containers: 1.4 → 2.6.1, and related fixes
 2019-09-24 07:48:26 +01:00
Vasiliy Yorkin
0cf81af50c ocamlPackages.ppx_deriving_rpc: init at 5.9.0 2019-09-20 05:54:29 +00:00
Vasiliy Yorkin
fac7453117 ocamlPackages.ocaml-protoc: init at 1.2.0 (#68962) 2019-09-20 05:53:30 +00:00
Vincent Laporte
424c20414a
ocamlPackages.containers: 1.4 → 2.6.1 
ocamlPackages.sequence/iter: 1.1 → 1.2.1

Ensures compatibility with OCaml 4.08
 2019-09-20 05:29:05 +00:00
Vasiliy Yorkin
2b921136f0 ocamlPackages.ppx_deriving_protobuf: init at 2.7 2019-09-13 16:18:27 +00:00
Vincent Laporte
748046d594 ocamlPackages.janeStreet: init at 0.12 (for OCaml ≥ 4.07) 
Also add a few legacy packages at version 0.11 for OCaml ≥ 4.07: configurator,
ppx_core, ppx_driver, ppx_type_conv

ocamlPackages.bap: disable for OCaml ≥ 4.07

ocamlPackages.bistro: 0.4.0 -> 0.5.0
 2019-09-10 14:05:26 +00:00
Vasiliy Yorkin
300464ec67 ocamlPackages.rpclib: init at 5.9.0 2019-09-10 06:40:20 +00:00
Franz Pletz
de85797565
Merge remote-tracking branch 'origin/master' into gcc-8 2019-09-03 22:15:07 +02:00
Franz Pletz
bd85a832c1
bap: build with llvm_8 2019-09-03 21:26:27 +02:00
Franz Pletz
e7b6d8790f
ocamlPackages.llvm: build with llvm_8 2019-09-03 21:25:23 +02:00
Vincent Laporte
ff392e8190 ocamlPackages.ocplib-json-typed: 0.5 -> 0.7.1 2019-09-03 05:31:11 +00:00
Vincent Laporte
81760f3235 ocamlPackages.cstruct: 3.1.1 -> 4.0.0 
ocamlPackages.cstruct-sexp: init at 4.0.0

ocamlPackages.x509: 0.6.1 -> 0.7.1

ocamlPackages.tls: 0.9.0 -> 0.10.4

jackline: 2018-05-11 -> 2019-08-08
 2019-08-31 06:55:26 +00:00
Vincent Laporte
10ffd51a96 ocamlPackages.bigarray-compat: init at 1.0.0 2019-08-31 06:55:26 +00:00
Vincent Laporte
e9edc7537a ocamlPackages.gmap: init at 0.3.0 2019-08-31 06:55:26 +00:00
Vincent Laporte
d33df05f50 ocamlPackages.domain-name: init at 0.3.0 2019-08-31 06:55:26 +00:00
Vincent Laporte
a86fe43558 ocamlPackages.lambdaTerm: remove at 1.6 2019-08-28 06:36:57 +00:00
Vincent Laporte
136f739184
ocamlPackages.uri-sexp: init at 3.0.0 2019-08-21 21:12:37 +00:00
Vincent Laporte
59cf0772c2 ocamlPackages.charInfo_width: init at 1.1.0 2019-08-21 05:07:46 +00:00
Vincent Laporte
af504e45b3 ocamlPackages.mmap: init at 1.1.0 
This project provides a Mmap.map_file function for mapping files in memory.
 2019-08-16 06:28:28 +00:00
Merlin Göttlinger
f6c363f81d
pgsolver: init at 4.1 2019-08-08 07:51:21 +00:00
Merlin Göttlinger
1559a3798a ocaml-sat-solvers: init at 0.4 (#66275) 2019-08-07 16:48:33 +00:00
Merlin Göttlinger
e5340bb5ef ocaml-minisat: init at 0.2 2019-08-07 13:45:31 +00:00
Vincent Laporte
b1d37354d7
Merge pull request #65715 from mgttlinger/build-oasis-package 
OCaml build support: add oasis build system
 2019-08-07 08:07:55 +00:00
Merlin Göttlinger
961b83a99d
Don't use buildOcaml 2019-08-06 17:54:09 +02:00
Merlin Göttlinger
d940b44137
tcslib: init at version v0.3 
build for tcslib as contribution as well as usage example for the new buildOasisPackage
 2019-08-04 18:16:16 +02:00
Vasiliy Yorkin
3aed444d57 ocamlPackages.secp256k1: init at 0.4.0 2019-08-02 16:01:53 +00:00
Sarah Brofeldt
28bf7ab6e6
Merge pull request #65516 from vbgl/ocaml-lambdasoup-0.6.3 
ocamlPackages.lambdasoup: init at 0.6.3
 2019-08-02 09:48:57 +02:00
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