public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
227,332 Commits 1 Branch 0 Tags
bed73effbdbe9aa3abd9c73a45892cd67bfed5d7
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte 3f8d6d5964 ocaml: default to 4.10 2020-05-27 10:12:22 +02:00
Vincent Laporte 81f29f8020 llpp: use OCaml 4.09 2020-05-27 10:12:22 +02:00
Vincent Laporte 51fea1412f unison: use OCaml 4.09 2020-05-27 10:12:22 +02:00
Vincent Laporte 8fb991c7c4 coq: use OCaml 4.09 2020-05-27 10:12:22 +02:00
Vincent Laporte 2f2ff72db3 ocamlPackages.sodium: disable for OCaml ≥ 4.10 2020-05-27 10:12:22 +02:00
Vincent Laporte 03cd92fe70 ocamlPackages.lens: disable for OCaml ≥ 4.10 2020-05-27 10:12:22 +02:00
Vincent Laporte 670237ec93 ocamlPackages.async_kernel: remove at 112.24.00 
This is a legacy version for OCaml 4.02
 2020-05-27 09:01:25 +02:00
Vincent Laporte 8cbf8116e7 ocamlPackages.ppxfind: 1.3 → 1.4 
ocamlPackages.ocaml-migrate-parsetree: 1.5.0 → 1.7.3
 2020-05-22 11:08:55 +02:00
Vincent Laporte e9759c1c3a ocamlPackages.async_unix: remove at 112.24.00 
This is a legacy version for OCaml 4.02
 2020-05-22 10:07:12 +02:00
Vincent Laporte 7b39d85fc7 ocamlPackages.cairo2: disable tests for OCaml ≥ 4.10 2020-05-22 09:41:51 +02:00
Vincent Laporte 48f0d8b3c8 coq_8_11: 8.11.1 → 8.11.2 2020-05-20 19:21:42 +02:00
Vincent Laporte 0900872b02 ocamlPackages.batteries: fix for OCaml 4.10 2020-05-20 08:20:27 +02:00
Vincent Laporte 14a70f542a ocamlPackages.textutils: remove at 112.17.00 
This is a legacy version for OCaml 4.02
 2020-05-19 20:44:41 +02:00
Vincent Laporte 962f93c46b ocamlPackages.labltk: init at 8.06.8 for OCaml 4.10 2020-05-18 18:20:24 +02:00
Vincent Laporte 4a873aa29e ocamlPackages.ppxlib: minor refactoring 2020-05-18 18:19:06 +02:00
Vincent Laporte f31adf28b7 ocamlPackages.dune_2: use pkgs.dune_2 for OCaml < 4.07 2020-05-18 18:17:20 +02:00
Vincent Laporte 311e883b23 ocamlPackages.dune-private-libs: disable for OCaml < 4.07 2020-05-18 18:17:20 +02:00
Vincent Laporte 20b0143c11 ocamlPackages.async_extra: remove at 112.24.00 
This is a legacy version for OCaml 4.02
 2020-05-18 08:49:22 +02:00
Vincent Laporte 873e114cf4 ocamlPackages.ocurl: 0.9.0 → 0.9.1 2020-05-17 06:37:04 +02:00
Vincent Laporte df70dcb6fb ocaml-ng.ocamlPackages_4_11.ocaml: init at 4.11.0+α1 2020-05-16 10:27:00 +02:00
Vincent Laporte a91007dbc4 ocamlPackages.ipaddr: remove at 2.6.1 
This is a legacy version for OCaml 4.02
 2020-05-15 21:40:31 +02:00
Vincent Laporte 608dbf662c ocamlPackages.lablgtk: 2.18.8 → 2.18.10 
This ensures compatibility with OCaml 4.10
 2020-05-14 21:26:35 +02:00
Vincent Laporte d00c84b5bd ocamlPackages.lablgtkmathview: remove at 0.7.2 2020-05-14 21:26:35 +02:00
Vincent Laporte 9ec8205e78 ocamlPackages.tyxml: 4.3.0 → 4.4.0 
ocamlPackages.eliom: 6.10.1 → 6.12.0
 2020-05-14 18:12:36 +02:00
Vincent Laporte 54f5bff2b5 ocamlPackages.re2: remove at 112.06.00 
This is a legacy version for OCaml ≤ 4.02
 2020-05-12 19:10:32 +02:00
Vincent Laporte 5458f4326e ocamlPackages.async: remove at 112.24.00 
This is a legacy version for OCaml 4.02
 2020-05-11 17:34:02 +02:00
Vincent Laporte 4578b41999 ocamlPackages.mdx: 1.5.0 → 1.6.0 2020-05-10 09:33:22 +02:00
Vincent Laporte 0db2daa900 ocamlPackages.async_find: remove at 111.28.00 
This is a legacy version for OCaml 4.02
 2020-05-04 22:11:50 +02:00
Vincent Laporte 258e3287a5 ocamlPackages.core_extended: remove at 112.24.00 
This is a legacy version for OCaml 4.02
 2020-05-01 10:32:31 +02:00
Vincent Laporte 927fcf3793 ocamlPackages.uri: remove at 1.9.{1,2} 
These are legacy versions for OCaml ≤ 4.02
 2020-05-01 10:07:36 +02:00
Vincent Laporte 95b35a2514 coqPackages.gappalib: 1.4.1 → 1.4.3 2020-04-29 06:56:14 +02:00
Vincent Laporte ef964a801e coqPackages.coqhammer: 1.1.1 → 1.2 
Add support for Coq 8.11
 2020-04-26 15:51:20 +02:00
Vincent Laporte 05db4f4fb9 ocamlPackages.async_shell: remove at 109.28.03 
This is a legacy version for OCaml 4.02
 2020-04-25 09:51:56 +02:00
Vincent Laporte a4adb1f75b coqPackages.equations: 1.2 → 1.2.1 2020-04-23 18:03:04 +02:00
Vincent Laporte 513e1339c0 ocamlPackages.merlin: 3.3.3 → 3.3.4 2020-04-22 07:24:48 +02:00
Vincent Laporte 974920ccd4 ocamlPackages.alcotest: 0.8.5 → 1.0.1 2020-04-21 08:47:40 +02:00
Vincent Laporte fc317e100a ocamlPackages.digestif: fix tests for alcotest ≥ 1.0 2020-04-21 08:47:40 +02:00
Vincent Laporte 36632263e0 ocamlPackages.base64: fix tests for alcotest ≥ 1.0 2020-04-21 08:47:40 +02:00
Vincent Laporte f2788cdf11 ocamlPackages.angstrom: disable tests for OCaml < 4.05 2020-04-21 08:47:40 +02:00
Vincent Laporte 1bdf4d121b ocamlPackages.bigstringaf: disable tests for OCaml < 4.05 2020-04-21 08:47:40 +02:00
Vincent Laporte 3e7a2b9147 ocamlPackages.janeStreet: 0.12 → 0.13 
ocamlPackages.bistro: fix for core-0.13
ocamlPackages.phylogenetics: 2020-01-05 → 2020-01-25
 2020-04-20 08:38:31 +02:00
Vincent Laporte 71c405ea2e satysfi: use OCaml 4.07 2020-04-20 08:38:31 +02:00
Vincent Laporte 75971d096a ocamlPackages.async_ssl: remove at 113.33.07 
This is the legacy version for OCaml ≤ 4.02
 2020-04-20 08:38:31 +02:00
Vincent Laporte f39712960a ocamlPackages.rpclib: 6.0.0 → 7.0.0 2020-04-20 08:38:31 +02:00
Vincent Laporte 238bd2a888 Revert "[Don’t merge] Recurse into OCaml packages" 
This reverts commit e16c7dae25.
 2020-04-15 19:06:05 +02:00
Vincent Laporte e16c7dae25 [Don’t merge] Recurse into OCaml packages 2020-04-15 18:57:42 +02:00
Vincent Laporte f9c31303b2 ocamlPackages.dns-client: init at 4.4.1 2020-04-14 06:25:03 +02:00
Vincent Laporte 6edabf41b3 ocamlPackages.mirage-stack: init at 2.0.1 2020-04-14 06:25:03 +02:00
Vincent Laporte 32feaeab83 ocamlPackages.mirage-random: init at 2.0.0 2020-04-14 06:25:03 +02:00
Vincent Laporte 66ffbf57c3 ocamlPackages.mirage-protocols: init at 4.0.1 2020-04-14 06:25:03 +02:00
Vincent Laporte 81fa88504b ocamlPackages.mirage-flow: init at 2.0.1 2020-04-14 06:25:03 +02:00
Vincent Laporte 10a73b84d3 ocamlPackages.mirage-device: init at 2.0.0 2020-04-14 06:25:03 +02:00
Vincent Laporte d7ee3bc968 ocamlPackages.mirage-clock: init at 3.0.1 2020-04-14 06:25:03 +02:00
Vincent Laporte ad098ac026 ocamlPackages.randomconv: init at 0.1.3 2020-04-14 06:25:03 +02:00
Vincent Laporte e021f27d75 ocamlPackages.dns: init at 4.4.1 2020-04-14 06:25:03 +02:00
Vincent Laporte b70b03272a ocamlPackages.duration: init at 0.1.3 2020-04-14 06:25:03 +02:00
Vincent Laporte 26f39e533d ocamlPackages.ctypes: 0.17.1 → 0.16.0 2020-04-13 11:42:08 +02:00
Vincent Laporte f2eeeb83f2 coqPackages.dpdgraph: fix build with OCaml ≥ 4.08 2020-04-13 11:04:26 +02:00
Vincent Laporte 32e5039100 ocamlPackages.fmt: 0.8.5 → 0.8.6 2020-04-10 19:03:52 +02:00
Vincent Laporte bab29617d1 ocamlPackages.cstruct-sexp: disable tests for OCaml < 4.03 2020-04-10 19:03:35 +02:00
Vincent Laporte 942d312a69 ocamlPackages.cstruct-sexp: separate checkInputs 2020-04-10 19:03:35 +02:00
Vincent Laporte 8e0d02c073 ocamlPackages.ppx_blob: disable tests for OCaml < 4.03 2020-04-10 19:03:35 +02:00
Vincent Laporte 7c15d4b15f ocamlPackages.ppx_blob: separate checkInputs 2020-04-10 19:03:29 +02:00
Vincent Laporte 4cf775aee9 ocamlPackages.cppo: 1.6.5 → 1.6.6 2020-04-09 10:02:59 +02:00
Vincent Laporte f4ff33cce6 alt-ergo: 2.3.1 → 2.3.2 2020-04-08 10:23:48 +02:00
Vincent Laporte dbc8a54ce5 jackline: use OCaml 4.08 2020-04-07 11:43:04 +02:00
Vincent Laporte 926a875def opendht: 1.8.0 → 2.0.0 2020-04-07 08:42:41 +02:00
Vincent Laporte c0086a5c2a ocamlPackages.ocaml_gettext: 0.3.8 → 0.4.1 2020-04-06 13:57:21 +02:00
Vincent Laporte d6a8d0ca5b coq_8_11: 8.11.0 → 8.11.1 2020-04-05 15:32:32 +02:00
Vincent Laporte 4dd89ce0a0 OCaml: default to version 4.09 2020-04-04 13:26:33 +02:00
Vincent Laporte d8f5bcefeb ocamlPackages.ocaml_libvirt: ignore warnings 2020-04-04 13:26:33 +02:00
Vincent Laporte 6fa7355819 reason: 3.5.4 → 3.6.0 2020-04-02 21:28:10 +02:00
Vincent Laporte 34db9b5ee3 ocamlPackages.phylogenetics: 2019-11-15 → 2020-01-05 2020-04-01 17:29:30 +02:00
Vincent Laporte 206cf8a341 ocamlPackages.gnuplot: 0.5.3 → 0.7 2020-04-01 17:29:30 +02:00
Vincent Laporte 8e686bacc4 ocamlPackages.ocaml-r: init at 0.2.0 2020-04-01 17:29:30 +02:00
Vincent Laporte 2773498fc0 coqPackages.paramcoq: 1.1.1 → 1.1.2 2020-03-27 18:15:11 +01:00
Vincent Laporte 4a3edb4bd7 ocaml: 4.09.0 → 4.09.1 2020-03-27 08:06:15 +01:00
Vincent Laporte db5bde2342 coqPackages.coqhammer: 1.1 → 1.1.1 2020-03-25 08:44:34 +01:00
Vincent Laporte 618bca7054 alt-ergo: 2.3.0 → 2.3.1 2020-03-24 20:43:06 -04:00
Vincent Laporte 98eb146164 pjsip: 2.9 → 2.10 2020-03-23 17:16:02 +01:00
Vincent Laporte dd6d785d38 ocamlPackages.graphics: init at 5.1.0 for OCaml ≥ 4.09 2020-03-23 09:12:50 +01:00
Vincent Laporte 80a7615300 OCaml: do not depend on X11 for OCaml ≥ 4.09 2020-03-23 09:12:50 +01:00
Vincent Laporte 0229936bbe buildDunePackage: add a “useDune2” option 2020-03-23 09:12:50 +01:00
Vincent Laporte a8dafd2731 ocamlPackages.parmap: 1.1 → 1.1.1 2020-03-21 15:52:46 +01:00
Vincent Laporte 8dddd8a07f ocamlPackages.camlp5: 7.10 → 7.11 2020-03-19 18:04:14 -07:00
Vincent Laporte 7b33cbdbf5 OCaml: default to version 4.08 2020-03-13 22:31:01 +01:00
Vincent Laporte 4ce4db473c ocamlPackages.ocf: disable for OCaml ≥ 4.08 2020-03-13 22:31:01 +01:00
Vincent Laporte bab3588e4e ocamlPackages.wasm: disable for OCaml ≥ 4.08 2020-03-13 22:31:01 +01:00
Vincent Laporte 4ada24a02c ocamlPackages.earlybird: disable for OCaml ≥ 4.08 2020-03-13 22:31:01 +01:00
Vincent Laporte bdcba83153 ocamlPackages.earley: disable for OCaml ≥ 4.08 2020-03-13 22:31:01 +01:00
Vincent Laporte 4adfbe6c7b unison: move out of ocamlPackages 2020-03-13 22:31:01 +01:00
Vincent Laporte e73a9e6b95 ocamlPackages.sedlex_2: fix build with OCaml ≥ 4.08 2020-03-13 22:31:01 +01:00
Vincent Laporte 659e89e21b coqPackages.dpdgraph: enable for Coq ≥ 8.9 2020-03-10 17:46:15 +01:00
Vincent Laporte 5e468ef981 ocsigen-i18n: 3.4.0 → 3.5.0 2020-03-08 18:09:22 +01:00
Vincent Laporte db4ccde60d ocamlPackages.ppx_import: 1.5-3 → 1.7.1 
Support for OCaml ≥ 4.08
 2020-03-07 21:44:03 +01:00
Vincent Laporte e8243467b9 coqPackages_8_10.QuickChick: init at 1.2.0 2020-03-06 07:28:26 +01:00
Vincent Laporte 4f8ea1e02e coqPackages.simple-io: enable for Coq 8.10 2020-03-06 07:28:26 +01:00
Vincent Laporte b01052f138 coqPackages.paco: enable for Coq 8.10 and 8.11 2020-03-04 07:12:02 +01:00
Vincent Laporte 3fe7a65e23 ocaml-ng.ocamlPackages_4_10.ocaml: 4.10.0+rc2 → 4.10.0 2020-03-03 06:49:08 +01:00
Vincent Laporte 9794d1e5fc ocamlPackages.ocp-index: 1.1.9 → 1.2 2020-03-01 22:39:43 +01:00