public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
207,356 Commits 1 Branch 0 Tags
ea3f2db0afb7436e2ca142c1fc4e5bf26cd5ab80
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte ed5c0443c1 ocamlPackages.lua-ml: init at 0.9 2019-12-15 08:23:32 +01:00
Vincent Laporte 788148f93c ocaml-top: 1.1.5 → 1.2.0-rc 2019-12-15 08:11:56 +01:00
Vincent Laporte 089c0efe8c ocamlPackages.mdx: 1.4.0 → 1.5.0 
And split to multiple outputs
 2019-12-14 15:57:36 +01:00
Vincent Laporte b5e82ad239 ocamlPackages.ocaml-version: init at 2.3.0 2019-12-14 15:57:36 +01:00
Vincent Laporte 3d34ecb993 ocamlPackages.rpclib: 5.9.0 → 6.0.0 2019-12-13 10:44:48 +01:00
Vincent Laporte 2cf477f28d ocamlPackages.merlin: 3.3.2 → 3.3.3 2019-12-11 09:58:21 +01:00
Vincent Laporte 828f530d88 ocamlPackages.cryptokit: 1.13 → 1.14 2019-12-10 00:21:12 +01:00
Vincent Laporte d6eb9b5e0b ocamlPackages.irmin-unix: init at 2.0.0 2019-12-09 17:02:13 +00:00
Vincent Laporte 583b483ebb ocamlPackages.irmin-watcher: init at 0.4.1 2019-12-09 17:02:13 +00:00
Vincent Laporte bdd0a3fe8c ocamlPackages.yaml: init at 2.0.1 2019-12-09 17:02:13 +00:00
Vincent Laporte ad95ea7223 ocamlPackages.irmin-pack: init at 2.0.0 2019-12-09 17:02:13 +00:00
Vincent Laporte 186e55f746 ocamlPackages.irmin-graphql: init at 2.0.0 2019-12-09 17:02:12 +00:00
Vincent Laporte 52be004a7c ocamlPackages.irmin-fs: init at 2.0.0 2019-12-09 17:02:12 +00:00
Vincent Laporte 191f1c9a49 ocamlPackages.irmin-http: init at 2.0.0 2019-12-09 17:02:12 +00:00
Vincent Laporte 45d3c40cc4 ocamlPackages.irmin-git: init at 2.0.0 2019-12-09 17:02:12 +00:00
Vincent Laporte 5bbc1c1159 ocamlPackages.irmin-mem: init at 2.0.0 2019-12-09 17:02:11 +00:00
Vincent Laporte a21d658051 ocamlPackages.irmin-test: init at 2.0.0 2019-12-09 17:02:11 +00:00
Vincent Laporte c07de6cd86 ocamlPackages.irmin: init at 2.0.0 2019-12-09 17:02:11 +00:00
Vincent Laporte e7857f0d30 ocamlPackages.alcotest-lwt: init at 0.8.5 2019-12-09 17:02:11 +00:00
Vincent Laporte d7ec7abd1f ocamlPackages.index: init at 1.0.1 2019-12-09 17:02:10 +00:00
Vincent Laporte c09e680e77 ocamlPackages.graphql-cohttp: init at 0.13.0 2019-12-09 09:53:40 +01:00
Vincent Laporte 9b834a210e ocamlPackages.graphql-lwt: init at 0.13.0 2019-12-09 09:53:40 +01:00
Vincent Laporte 187c657eab ocamlPackages.graphql: init at 0.13.0 2019-12-09 09:53:40 +01:00
Vincent Laporte 40a023a853 ocamlPackages.graphql_parser: init at 0.13.0 2019-12-09 09:53:40 +01:00
Vincent Laporte 9ed43c870e ocamlPackages.webmachine: init at 0.6.1 2019-12-08 07:55:34 +01:00
Vincent Laporte 84d650ed2b ocamlPackages.dispatch: init at 0.4.1 2019-12-08 07:55:34 +01:00
Vincent Laporte 2942490c2c coq_8_11: init at 8.11+β1 2019-12-07 07:58:00 +00:00
Vincent Laporte 87774e094d ocamlPackages.logs: 0.6.3 → 0.7.0 2019-12-07 06:52:45 +00:00
Vincent Laporte 335d97fb34 ocamlPackages.containers: 2.6.1 → 2.7 2019-12-06 16:17:45 +00:00
Vincent Laporte 7132e6b573 ocaml-crunch: init at 3.1.0 2019-12-06 06:17:14 +00:00
Vincent Laporte b2aaa0559f ocamlPackages.git: 2.1.0 → 2.1.2 2019-12-05 14:21:47 +00:00
Vincent Laporte 485b09dce3 ocamlPackages.nocrypto: propagate “ppx_deriving” 2019-12-05 14:21:47 +00:00
Vincent Laporte 0b5dfa54e1 ocamlPackages.metrics-unix: init at 0.1.0 2019-12-04 15:37:36 +00:00
Vincent Laporte 8ad01c3362 ocamlPackages.metrics-lwt: init at 0.1.0 2019-12-04 15:37:36 +00:00
Vincent Laporte 5d0dd4e536 ocamlPackages.metrics: init at 0.1.0 2019-12-04 15:37:36 +00:00
Vincent Laporte 3806eff9ca coq_8_10: 8.10.1 → 8.10.2 2019-12-03 13:51:52 +00:00
Vincent Laporte f36ba34be3 ocamlPackages.cpuid: 0.1.0 → 0.1.2 2019-12-01 18:18:28 +00:00
Vincent Laporte 120102de65 OCaml: optionally enable AFL support 2019-11-30 08:34:36 +00:00
Vincent Laporte 9b76c5e17a OCaml: fix configure flags for flambda support 
The configure program for OCaml has been using a new set of command-line
arguments from version 4.08. This is a small refactoring to ease dealing with
the two sets.
 2019-11-30 08:34:36 +00:00
Vincent Laporte 6cffb5072f ocamlPackages.lwt4: 4.2.1 → 4.4.0 2019-11-21 07:35:51 +00:00
Vincent Laporte 17e0d73278 ocamlPackages.facile: 1.1.3 → 1.1.4 2019-11-16 10:36:34 +00:00
Vincent Laporte c1966522d7 gnumeric: 1.12.45 → 1.12.46 
goffice: 0.10.45 → 0.10.46
 2019-11-15 22:50:52 +00:00
Vincent Laporte a61354f262 why3: 1.2.0 → 1.2.1 2019-11-11 11:30:52 +00:00
Vincent Laporte 82af060040 ocamlPackages.lwt3: remove at 3.3.0 2019-11-07 16:39:42 +00:00
Vincent Laporte 92930b8568 ocamlPackages.reason: 3.5.0 → 3.5.1 
Ensure compatibility with OCaml 4.09
 2019-11-05 23:42:28 +00:00
Vincent Laporte 8632698b06 ocamlPackages.checkseum: 0.0.3 → 0.1.1 
This fixes the “decompress” library on non-x86_64 platforms
 2019-11-05 07:13:09 +00:00
Vincent Laporte a2f7fc9a5c ocamlPackages.ocp-indent: 1.7.0 → 1.8.1 2019-11-04 07:32:17 +00:00
Vincent Laporte d1ee1bd06a ocamlPackages.ecaml: init at 0.12.0 2019-11-01 06:54:04 +00:00
Vincent Laporte a17f7277a8 ocamlPackages.sawja: 1.5.6 → 1.5.7 2019-10-31 07:29:53 +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
Vincent Laporte a25381b019 ocamlPackages.ctypes: 0.13.1 → 0.15.1 
ocamlPackages.integers: 0.2.2 → 0.3.0
 2019-10-29 07:05:18 +00: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 a8892b0d76 coq_8_10: 8.10.0 → 8.10.1 2019-10-25 07:58:47 +00:00
Vincent Laporte d56582eb2b coq_8_10: enable CoqIDE 2019-10-25 07:58:02 +00:00
Vincent Laporte 0c2aa9dd33 ocamlPackages.ppx_tools: enable at 5.3+4.08.0 for OCaml 4.09 2019-10-25 07:09:42 +00:00
Vincent Laporte 0361ae2230 ocamlPackages.camlp4: fix evaluation for OCaml ≥ 4.09 2019-10-25 07:09:42 +00:00
Vincent Laporte 7044058ef7 coqPackages_8_10.ltac2: init at 0.3 2019-10-24 06:20:59 +00:00
Vincent Laporte bbce011c13 ocamlPackages.duff: init at 0.2 2019-10-21 05:31:00 +00:00
Vincent Laporte be3f40bb99 ocamlPackages.eliom: 6.7.0 → 6.8.0 
Ensures compatibility with OCaml 4.08
 2019-10-20 06:44:41 +00:00
Vincent Laporte 430e5ce04c compcert: 3.5 → 3.6 
ocamlPackages.menhir: 20181113 → 20190626
 2019-10-19 20:30:48 +00:00
Vincent Laporte 69d5465431 ocamlPackages.bigstringaf: 0.3.0 → 0.6.0 2019-10-18 05:59:29 +00:00
Vincent Laporte 734119c74d ocamlPackages.httpaf: disable tests with OCaml 4.07 2019-10-18 05:59:29 +00:00
Vincent Laporte 33f003e930 ocamlPackages.faraday: disable tests with OCaml 4.07 2019-10-18 05:59:29 +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 b4db381443 coq_8_10: 8.10+β3 → 8.10.0 
coqPackages.coq-elpi: master → 1.1.0
 2019-10-16 02:43:46 +00:00
Vincent Laporte 0cc70b5697 coq: do not build CoqIDE for Coq 8.10 
GTK3 at version 3.24.11 has broken pkg-config files
 2019-10-16 02:43:46 +00:00
Vincent Laporte 1292f49a37 coq_8_10: do not take “camlp5” as input 2019-10-16 02:43:46 +00:00
Vincent Laporte 325f89ef19 coq_8_10: fix CoqIDE on darwin 2019-10-16 02:43:46 +00:00
Vincent Laporte 8dd417eed6 ocamlPackages.lru: 0.2.0 → 0.3.0 
ocamlPackages.psq: 0.1.0 → 0.2.0
 2019-10-16 02:42:25 +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 0feb4e8729 ocamlPackages.digestif: 0.5 → 0.8.0 2019-10-15 07:08:13 +02:00
Vincent Laporte e191a69e8d ocamlPackages.eqaf: init at 0.5 2019-10-15 07:08:13 +02:00
Vincent Laporte e1b9556f87 ocamlPackages.ocsigen_server: 2.11.0 → 2.15.0 
ocamlPackages.ssl: 0.5.5 → 0.5.9
 2019-10-13 06:52:00 +02:00
Vincent Laporte a9435c8db8 ocamlPackages.labltk: init at 8.06.7 for OCaml ≥ 4.08 2019-10-12 09:37:34 +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 deefc177d3 libbap: pin OCaml version to 4.06 2019-10-11 07:58:42 +02:00
Vincent Laporte 1f365f9d26 coqPackages_8_7.contribs.additions: remove 2019-10-11 07:58:42 +02:00
Vincent Laporte 8acf4cd06c ocamlPackages.pgocaml: 3.2 → 4.0 
Ensures compatibility with OCaml 4.08
 2019-10-06 07:57:37 +02:00
Vincent Laporte dc6b299e09 ocamlPackages.patience_diff: init at 0.12.0 2019-10-03 08:26:41 +02:00
Vincent Laporte 33c36dd2f4 ocamlPackages.expect_test_helpers: init at 0.12.0 2019-10-03 08:26:41 +02:00
Vincent Laporte 2c87f4f07e ocamlPackages.expect_test_helpers_kernel: init at 0.12.0 2019-10-03 08:26:41 +02:00
Vincent Laporte e0dcde83b0 ocamlPackages.sexp_pretty: init at 0.12.0 2019-10-03 08:26:41 +02:00
Vincent Laporte 2f43ae44c5 ocamlPackages.cpdf: 2.2.1 → 2.3 2019-09-30 21:52:34 +02:00
Vincent Laporte c2ef0a0875 ocamlPackages.camlpdf: 2.2.1 → 2.3 2019-09-30 21:52:34 +02:00
Vincent Laporte 718b6d980f ocamlPackages.ptmap: 2.0.3 → 2.0.4 
Ensures compatibility with OCaml 4.07
 2019-09-28 18:40:00 +02:00
Vincent Laporte 4ca445c722 ocaml-ng.ocamlPackages_latest: 4.08.1 -> 4.09.0 2019-09-27 07:45:18 +02:00
Vincent Laporte 348c8947e0 ocamlPackages.utop: 2.4.1 → 2.4.2 
Ensures compatibility with OCaml 4.09
 2019-09-26 17:27:11 +00:00
Vincent Laporte 9c427a0c1e ocamlformat: 0.8 → 0.11.0 2019-09-24 05:53:06 +00:00
Vincent Laporte 31aab48a0a ocamlPackages.odoc: 1.3.0 → 1.4.2 
Ensures compatibility with OCaml 4.08
 2019-09-23 05:53:29 +00:00
Vincent Laporte 8e3d4ec580 ocamlPackages.spacetime_lib: 0.1.0 -> 0.3.0 
Ensures compatibility with OCaml 4.08
 2019-09-22 20:12:05 +00:00
Vincent Laporte 1623510119 ocamlPackages.owee: 0.2 -> 0.3 
Ensures compatibility with OCaml 4.08
 2019-09-22 20:12:05 +00:00
Vincent Laporte 0c0e63d211 ocamlPackages.camlp5: 7.08 → 7.10 2019-09-21 03:35:39 +00:00
Vincent Laporte 827f62ef01 ocamlPackages.optint: 0.0.2 -> 0.0.3 
Ensures compatibility with OCaml ≥ 4.08
 2019-09-20 17:04:52 +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