public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
146,903 Commits 1 Branch 0 Tags
40887a6dc63568746068344550193a342219d73f
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Vincent Laporte f8acdb08f0 ocamlPackages.ocp-ocamlres: 0.3 -> 0.4 2018-03-31 11:44:20 +02:00
Vincent Laporte 1874f09c40 flow: 0.66.0 -> 0.68.0 2018-03-27 20:34:15 +00:00
Vincent Laporte be48c2effc ocamlPackages.lwt_ppx: init at 3.3.0 2018-03-27 20:34:08 +00:00
Vincent Laporte 0b53d63dad ocamlPackages.lwt3: 3.0.0 -> 3.3.0 2018-03-27 22:32:55 +02:00
Vincent Laporte f3c8036a70 coqPackages.bignums: make it available for Coq 8.8 2018-03-27 16:19:33 +00:00
Vincent Laporte 35c8106701 gnumeric: 1.12.38 -> 1.12.39 
goffice: 0.10.38 -> 0.10.39
 2018-03-26 15:41:33 +02:00
Vincent Laporte ef4a5e2fc0 gnome2.gtksourceview: fix build on Darwin 2018-03-25 16:50:59 +00:00
Vincent Laporte 387d791663 ocamlPackages.findlib: automatically populate the CAML_LD_LIBRARY_PATH env. variable 
With directories of the form:
  lib/ocaml/${ocaml.version}/site-lib/stubslibs
 2018-03-25 18:33:13 +02:00
Vincent Laporte 2455478754 ocamlPackages.findlib: fix META for library threads 2018-03-25 18:33:13 +02:00
Vincent Laporte 6845b248d9 coq: init at 8.8+beta1 2018-03-21 18:06:28 +00:00
Vincent Laporte 1ce37ab8a9 coqPackages.contribs.containers: make available for Coq 8.7 2018-03-21 09:27:50 +01:00
Vincent Laporte 4fcadba5ea ocamlPackages: default to 4.05 2018-03-14 16:24:27 +01:00
Vincent Laporte 903f4dd3d4 clingo: fix build on non-sandboxed darwin 2018-03-12 17:07:18 +00:00
Vincent Laporte eedc173276 clingo: fix URL 2018-03-12 16:51:54 +00:00
Vincent Laporte bf5e8ce96b libvirt: build from tarball 2018-03-09 13:54:31 +00:00
Vincent Laporte 0ceb110197 ocamlPackages.sawja: 1.5.2 -> 1.5.3 2018-03-09 07:53:49 +01:00
Vincent Laporte 1d4bbef0e8 wyrd: fix build 2018-03-08 14:48:23 -06:00
Vincent Laporte 1aae247be1 exa: fix build on darwin 2018-03-01 17:24:57 +00:00
Vincent Laporte 504bf92ee2 ocaml: 4.06.0 -> 4.06.1 2018-03-01 14:57:06 +01:00
Vincent Laporte 7f327dfa63 ocamlPackages.ctypes: 0.11.5 -> 0.13.1 2018-02-28 19:10:34 +01:00
Vincent Laporte d8ab8ddae1 aspcud: 1.9.1 -> 1.9.4 2018-02-28 19:09:43 +01:00
Vincent Laporte 4ab5d3a1e7 ocamlPackages.cohttp: 1.0.0 -> 1.0.2 2018-02-28 19:09:14 +01:00