public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
213,619 Commits 1 Branch 0 Tags
d70bdb7047fe40c811f8d5cedf654bfc81826ec7
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte c589de98e2 ocamlPackages.resource-pooling: 0.6 → 1.1 
ocamlPackages.ocsigen-start: 1.8.0 → 2.7.0
 2020-02-14 10:09:41 +01:00
Vincent Laporte e57fdf508a ocamlPackages.uunf: 11.0.0 → 12.0.0 2020-02-14 07:31:17 +01:00
Vincent Laporte eef4b5175f ocaml-ng.ocamlPackages_4_10.ocaml: 4.10.0+β2 → 4.10.0+rc1 2020-02-12 10:55:00 +01:00
Vincent Laporte 6c52b3ade9 ocamlPackages.reason: 3.5.1 → 3.5.4 2020-02-11 07:32:59 +01:00
Vincent Laporte 30fada894e ocamlPackages.apron: 2016-01-25 → 0.9.12 2020-02-10 07:36:54 +01:00
Vincent Laporte f2cd2ee0e0 coqPackages.bignums: enable for Coq 8.11 2020-02-07 10:26:26 +01:00
Vincent Laporte 21b4edc6a0 ocamlPackages.lwt4: 4.4.0 → 4.5.0 2020-02-04 09:48:28 +01:00
Vincent Laporte 0c7a1e7a24 ocamlPackages.mlgmpidl: 1.2.11 → 1.2.12 2020-02-03 09:38:34 +01:00
Vincent Laporte 4c83d61f12 ocaml-ng.ocamlPackages_4_10.ocaml: 4.10.0+β1 → 4.10.0+β2 2020-02-02 20:35:10 +01:00
Vincent Laporte 13dd5844fd coqPackages_8_11.coq: 8.11+β1 → 8.11.0 2020-01-31 14:09:51 +01:00
Vincent Laporte 659a7ae963 coq: disable CoqIDE on Darwin for Coq ≥ 8.10 2020-01-31 14:09:51 +01:00
Vincent Laporte fa709922f3 coqPackages.tlc: disable for Coq > 8.10 2020-01-31 14:09:51 +01:00
Vincent Laporte 57aaf67b72 ocamlPackages.utop: 2.4.2 → 2.4.3 2020-01-28 17:33:13 +01:00
Vincent Laporte ab6eebbe20 ocamlPackages.batteries: 2.10.0 → 2.11.0 2020-01-23 14:01:38 +01:00
Vincent Laporte 0f7016d404 ocamlPackages.ocaml-migrate-parsetree: 1.4.0 → 1.5.0 2020-01-21 07:27:28 +01:00
Vincent Laporte cacbe5f342 ocamlPackages.stdint: disable for OCaml < 4.07 2020-01-21 07:27:28 +01:00
Vincent Laporte bd5a596868 ocaml-ng.ocamlPackages_4_10.ocaml: init at 4.10.0+beta1 2020-01-20 17:46:13 +01:00
Vincent Laporte 6b023dc690 ocamlPackages.re2: fix building with clang 2020-01-20 10:18:53 +01:00
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