public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
149,509 Commits 1 Branch 0 Tags
97816bed335aaa55e8a897835d96602db9f080d2
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte 44f18a5a4f ocamlPackages.incremental_kernel: 0.11.0 -> 0.11.1 2018-08-14 07:48:39 +00:00
Vincent Laporte 2aae0c0442 ocamlPackages.async_extra: 0.11.0 -> 0.11.1 2018-08-14 07:48:39 +00:00
Vincent Laporte 72d1be9b96 ocamlPackages.async_kernel: 0.11.0 -> 0.11.1 2018-08-14 07:48:39 +00:00
Vincent Laporte 4b542fdf8e ocamlPackages.core: 0.11.1 -> 0.11.2 2018-08-14 07:48:39 +00:00
Vincent Laporte 4f0db5d0ad coq: default to version 8.8 2018-08-13 20:43:49 +00:00
Vincent Laporte 3811efb347 coqPackages.coq-ext-lib: 0.9.5 -> {0.9.7,0.9.8} 2018-08-08 11:24:09 +00:00
Vincent Laporte 18408650fb ocamlPackages.core_kernel: 0.11.0 -> 0.11.1 2018-07-31 20:15:26 +00:00
Vincent Laporte d4bf592bbd ocamlPackages.uunf: mark as broken on AArch64 2018-07-31 12:51:36 +00:00
Vincent Laporte 9c37672e5a ocamlPackages.uuseg: 10.0.0 -> 11.0.0 2018-07-30 07:05:04 +00:00
Vincent Laporte 311d32ffd0 ocamlPackages.uucp: 10.0.1 -> 11.0.0 2018-07-30 06:48:46 +00:00
Vincent Laporte 0364a581f2 ocamlPackages.uunf: 10.0.0 -> 11.0.0 2018-07-30 06:39:05 +00:00
Vincent Laporte 26213bc990 stog: 0.17.0 -> 0.18.0 2018-07-29 13:32:10 +00:00
Vincent Laporte bbf96f8652 ocamlPackages.asn1-combinators: remove spurious dependency to Camlp4 2018-07-29 13:32:04 +00:00
Vincent Laporte 562a264be4 ocamlPackages.ptime: 0.8.3 -> 0.8.4 2018-07-29 13:31:58 +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 51d9081123 ocamlPackages.angstrom: 0.8.1 -> 0.10.0 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
Vincent Laporte 5a9645c37f ocamlPackages.sqlexpr: 0.5.5 -> 0.9.0 2018-07-28 14:16:46 +00:00
Vincent Laporte f2ae2c9b8f ocamlPackages.estring: disable for OCaml ≥ 4.06 2018-07-28 14:16:41 +00:00
Vincent Laporte 5a2ee49f3c ocamlPackages.base: 0.11.0 -> 0.11.1 2018-07-28 14:10:47 +00:00
Vincent Laporte 6ca8f06b5b ocaml-4.07: 4.07.0+rc1 -> 4.07.0 2018-07-23 07:24:25 +00:00
Vincent Laporte acd100e4b6 ocamlPackages.ppx_blob: 0.2 -> 0.4.0 2018-07-21 07:53:23 +00:00
Vincent Laporte 6d9ffeaa2e ocamlPackages.js_of_ocaml: 3.1.0 -> 3.2.0 2018-07-14 17:17:51 +00:00
Vincent Laporte fdf291f922 ocamlPackages.tyxml: make dependency to camlp4 optional 2018-07-14 17:17:51 +00:00
Vincent Laporte d534882ca2 ocamlPackages.ppx_tools: enable for OCaml 4.07 2018-07-14 17:17:51 +00:00
Vincent Laporte 1c58618fd1 ocamlPackages.ppx_deriving: remove spurious dependency to camlp4 2018-07-14 17:17:51 +00:00
Vincent Laporte ba612369e7 ocamlPackages.ipaddr: remove spurious dependency to camlp4 2018-07-14 17:17:51 +00:00
Vincent Laporte 0c085fd034 ocamlPackages.astring: remove spurious dependency to camlp4 2018-07-14 17:17:51 +00:00
Vincent Laporte ade8242b81 ocamlPackages.ezjsonm: 0.4.3 -> 0.6.0 2018-07-13 16:21:33 +00:00
Vincent Laporte ca12adfeaf flow: use lwt_log 2018-07-12 21:26:07 +00:00
Vincent Laporte 5a7ab721b4 ocamlPackages.lwt_log: init at 1.0.0 2018-07-12 21:26:00 +00:00
Vincent Laporte 124071cacd ocamlPackages.lwt3: make dependency to camlp4 optional 2018-07-12 21:25:52 +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 131e9f59e8 ocamlPackages.ppx_tools_versioned: remove spurious dependency to camlp4 2018-07-09 17:15:33 +00:00
Vincent Laporte 3f41f6c5fa coqPackages.equations: enable for Coq 8.8 2018-07-08 11:13:27 +00:00
Vincent Laporte 3b0cd74f55 ocamlPackages.janeStreet: 0.10 -> 0.11 2018-07-05 19:40:31 +00:00
Vincent Laporte 9a7d6c2e3d ocamlPackages.utop: 1.19.3 -> 2.1.0 2018-06-28 07:16:49 +00:00
Vincent Laporte 1747ec308a ocamlPackages.lambdaTerm: remove spurious dependency to camlp4 2018-06-28 07:16:49 +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 0d1b5285c9 ocamlPackages.ocp-index: 1.1.5 -> 1.1.6 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 06db050abd ocamlPackages.ocp-indent: remove spurious dependency to opam and fix installPhase 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 3e60af02d3 ocamlPackages.bap: fix build with re-1.7.3 2018-06-24 19:23:12 +00:00
Vincent Laporte ea7c74c772 ocamlPackages.re: 1.7.1 -> 1.7.3 2018-06-24 19:23:12 +00:00
Vincent Laporte 07d40825d8 ocamlPackages.mstruct: remove spurious dependency 2018-06-06 07:14:30 +00:00
Vincent Laporte 2e851f9651 ocamlPackages.xmlm: remove at 1.2.0 2018-06-06 07:14:29 +00:00
Vincent Laporte a4fa4c45cc ocamlPackages.cmdliner_0_9: use opaline 2018-06-06 07:14:29 +00:00
Vincent Laporte 10d70a2ae3 ocamlPackages.lambda-term: fix installPhase 2018-06-06 07:14:28 +00:00
Vincent Laporte 98e8e95136 ocamlPackages.nocrypto: use opaline 2018-06-06 07:14:27 +00:00
Vincent Laporte 94445ed4bc ocamlPackages.findlib: fix stublibs 2018-06-06 07:14:26 +00:00
Vincent Laporte 733d88574b ocamlPackages.js-build-tools: use opaline 2018-06-06 07:14:26 +00:00
Vincent Laporte 535a8b000f ocamlPackages.buildOcamlJane: use opaline 2018-06-06 07:14:25 +00:00
Vincent Laporte 69ac6be009 ocamlPackages.ocsigen-toolkit: use opaline 2018-06-06 07:14:25 +00:00
Vincent Laporte cb5d4c1205 ocamlPackages.eliom: use opaline 2018-06-06 07:14:24 +00:00
Vincent Laporte e7795ce53e ocamlPackages.reactivedata: use opaline 2018-06-06 07:14:23 +00:00
Vincent Laporte 8e0100ba85 ocamlPackages.ppx_import: use opaline 2018-06-06 07:14:22 +00:00
Vincent Laporte 29a6ca660a jbuilder: use opaline 2018-06-06 07:14:22 +00:00
Vincent Laporte c066d9dfc3 ocamlPackages.topkg: use opaline 2018-06-06 07:14:21 +00:00
Vincent Laporte 853fb4598f ocamlPackages.uchar: use opaline 2018-06-06 07:14:20 +00:00
Vincent Laporte 9114b47314 ocamlPackages.gg: use opaline 2018-06-06 07:14:20 +00:00
Vincent Laporte b0102f5501 ocamlPackages_4_02.async_ssl: remove redundancy 2018-05-29 05:29:04 +00:00
Vincent Laporte 0f51d1fa59 ocamlPackages.gapi-ocaml: clean installPhase 2018-05-29 05:29:04 +00:00
Vincent Laporte ae23bb2bcc proverif: 1.97pl1 -> 2.00 2018-05-22 06:58:10 +00:00
Vincent Laporte 19f768a978 ocamlPackages.earley_ocaml: init at 1.0.2 2018-05-21 16:10:12 +00:00
Vincent Laporte 42462d7b66 coqPackages.stdpp: init at 1.1 2018-05-15 20:55:53 +00:00
Vincent Laporte ca7eb9901e ocamlPackages.ocamlnet: 4.1.5 -> 4.1.6 2018-05-09 16:39:28 +00:00
Vincent Laporte 9c6be76276 ocamlPackages.gapi_ocaml: disable for OCaml < 4.02 2018-05-09 16:39:28 +00:00
Vincent Laporte 4a0c93f078 ocamlPackages.ocaml_http: disable on OCaml ≥ 4.06 2018-05-09 16:12:41 +00:00
Vincent Laporte d0cfb273f0 ocamlPackages.ocaml_pcre: cleanup 2018-05-09 16:12:36 +00:00
Vincent Laporte 1276e82c2e coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8 2018-05-09 08:03:10 +02:00
Vincent Laporte abea0c6eeb jbuilder: 1.0+beta17 -> 1.0+beta20 2018-05-07 07:13:03 +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 d8ebe4f2cf ocamlPackages.git: 1.11.4 -> 1.11.5 
Also enable tests
 2018-05-04 07:04:17 +00:00
Vincent Laporte b4d0647752 coqPackages.mathcomp: 1.6.4 -> 1.7.0 2018-05-01 11:06:04 +02:00
Vincent Laporte 7d7afdde4a ocamlPackages.ocsigen-start: 1.0.0 -> 1.1.0 2018-04-28 14:31:51 +00:00
Vincent Laporte 9a170f5bdf ocamlPackages.ocsigen-toolkit: 1.0.0 -> 1.1.0 2018-04-28 14:31:51 +00: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 c4b7bbf77e ocamlPackages.findlib: 1.7.3 -> 1.8.0 2018-04-25 18:19:27 +02:00
Vincent Laporte 72ec248eda coqPackages.contribs.containers: make available for Coq 8.8 2018-04-25 06:27:21 +00:00
Vincent Laporte 76a43d765c coq: 8.8+beta1 -> 8.8.0 2018-04-18 14:37:04 +02:00
Vincent Laporte 20c035b906 ocamlPackages.js_of_ocaml-tyxml: init at 3.1.0 2018-04-18 09:38:23 +02:00
Vincent Laporte dc4a8435f0 symbiyosys: larger meta.platforms 2018-04-16 11:47:48 +00:00
Vincent Laporte f13cb56360 yosys: fix build with clang 2018-04-16 11:47:49 +00:00
Vincent Laporte caec7dbb9f coq: fix installation of OCaml libraries 2018-04-15 11:24:17 +00:00
Vincent Laporte 5f97adccdc coq: move some attributes inside passthru 2018-04-15 11:24:17 +00:00
Vincent Laporte 48ee88c7f8 ocamlPackages.js_of_ocaml-camlp4: add deriving support 2018-04-12 10:15:57 +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 426dbdee23 gnome3.gtksourceview: fix build on Darwin 2018-04-06 07:22:39 +00:00
Vincent Laporte 8aa1e53a98 ocamlPackages.ocsigen_deriving: 0.7.1 -> 0.8.1 2018-04-04 15:20:26 +00:00
Vincent Laporte 50b0afa269 ocamlPackages.optcomp: fix build with OCaml 4.06 2018-04-04 15:20:20 +00:00
Vincent Laporte d0072be8cd ocamlPackages.ocamlify: fix build with OCaml 4.06 2018-04-03 05:55:59 +00:00
Vincent Laporte 32cdc7967e ocamlPackages.ocamlnet: fix build with OCaml 4.06 2018-04-02 06:20:37 +00:00