public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
236,087 Commits 1 Branch 0 Tags
2a5325d3cbbf080f4fdcd369ba102ef7adc250ba
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte f4a95e8465 ocamlPackages.markup: 0.7.5 → 0.8.2 2020-07-25 06:06:41 +02:00
Vincent Laporte 017c7a4940 ocamlPackages.tsort: init at 2.0.0 2020-07-22 20:00:16 +02:00
Vincent Laporte f2df7cd34f coqPackages.math-classes: 8.9.1 → 8.11.0 2020-07-19 18:41:00 +02:00
Vincent Laporte 3487b6e587 ocaml-ng.ocamlPackages_4_11.ocaml: 4.11.0+β1 → 4.11.0+β2 2020-07-17 20:44:39 +02:00
Vincent Laporte 5adadd1466 coqPackages.tlc: 20181116 → 20200328 2020-07-17 19:43:34 +02:00
Vincent Laporte f4722ea0bc ocamlPackages.ppx_tools: 6.1 → 6.2 2020-07-15 15:48:04 +02:00
Vincent Laporte 1bff502065 ocamlPackages.lambdasoup: 0.6.3 → 0.7.1 2020-07-11 15:23:47 +02:00
Vincent Laporte d1a7237eee coqPackages.coq-extensible-records: remove at 1.2.0 2020-07-10 11:26:41 +02:00
Vincent Laporte 473519a25d coqPackages.coq-extensible-records: enable for Coq 8.11 and 8.12 2020-07-10 11:26:41 +02:00
Vincent Laporte f6db90a389 coqPackages.coq-bits: enable for Coq 8.11 and 8.12 2020-07-09 08:17:49 +02:00
Vincent Laporte cef53ab371 ocamlPackages.lwt: 4.5.0 → 5.3.0 
ocamlPackages.lwt_ppx: 1.2.4 → 2.0.1
 2020-07-05 10:48:18 +02:00
Vincent Laporte a028138adf ocamlPackages.inotify: fix tests with Lwt ≥ 5 2020-07-05 10:48:18 +02:00
Vincent Laporte 0270bea441 ocamlPackages.inotify: fix tests for OCaml 4.02 2020-07-05 10:48:18 +02:00
Vincent Laporte 60940d7dde coqPackages.QuickChick: 1.2.0 → 1.2.1, 1.3.1 2020-07-05 10:43:06 +02:00
Vincent Laporte 7df7291473 ocaml-ng.ocamlPackages_4_11.ocaml: 4.11.0+α3 → 4.11.0+β1 2020-07-03 10:29:36 +02:00
Vincent Laporte b1aefc40bf ocamlPackages.ocaml_gettext: 0.4.1 → 0.4.2 2020-07-03 09:01:10 +02:00
Vincent Laporte 885fb1406d ocamlPackages.buildOasis: fix handling of installation prefix 2020-07-02 07:13:34 +02:00
Vincent Laporte 18094dbdc2 frama-c: 21.0 (Scandium) → 21.1 (Scandium) 2020-07-01 23:51:10 +02:00
Vincent Laporte 581660a4d3 ocamlPackages.camlp5: 7.11 → 7.12 2020-07-01 13:46:30 +02:00
Vincent Laporte 4e0164cbb3 coqPackages.equations: 1.2.1 → 1.2.2 2020-06-30 08:51:15 +02:00
Vincent Laporte 5dfcb77a8e coqPackages.interval: 3.4.1 → 3.4.2 2020-06-29 07:41:28 +02:00
Vincent Laporte 5ac8870024 ocamlPackages.js_of_ocaml: 3.5.2 → 3.6.0 2020-06-28 09:59:04 +02:00
Vincent Laporte d34bde6ac7 why3: compatibility with JSoO 3.6.0 2020-06-28 09:59:04 +02:00
Vincent Laporte 2b8ee31b6d eff: compatibility with JSoO 3.6.0 2020-06-28 09:59:04 +02:00
Vincent Laporte c4e1a2f9a3 ocamlPackages.xtmpl: compatibility with JSoO 3.6.0 2020-06-28 09:59:04 +02:00
Vincent Laporte dbc5704e3f ocamlPackages.odoc: 1.5.0 → 1.5.1 2020-06-26 08:44:19 +02:00
Vincent Laporte 10496b449b ocamlPackages.torch: 0.8 → 0.9b 2020-06-25 08:18:16 +02:00
Vincent Laporte bbed026045 ocamlPackages.base64_2: remove at 2.0.0 2020-06-25 08:15:18 +02:00
Vincent Laporte b53777c840 ocaml-ng.ocamlPackages_4_11.ocaml: 4.11.0+α2 → 4.11.0+α3 2020-06-24 21:44:36 +02:00
Vincent Laporte 490c75f1ca ocamlPackages.lwt: rename file to “default.nix” and attribute to “lwt” 2020-06-24 09:19:04 +02:00
Vincent Laporte 97c886e2c7 ocamlPackages.lwt2: remove at 2.7.1 2020-06-24 09:19:04 +02:00
Vincent Laporte 05eefe5ef8 coqPackages.simple-io: 1.2.0 → 1.3.0 2020-06-23 08:07:29 +02:00
Vincent Laporte 22a81aa5fc ocamlPackages.async_unix: 0.13.0 → 0.13.1 2020-06-22 17:52:02 +02:00
Vincent Laporte a4de542abe coqPackages.coquelicot: 3.0.3 → 3.1.0 2020-06-21 10:05:15 +02:00
Vincent Laporte a8bb61222f coq_8_12: init at 8.12+β1 2020-06-19 12:28:42 +02:00
Vincent Laporte 5293575e85 coqPackages.mathcomp: enable 1.11.0 for Coq 8.12 2020-06-19 12:28:42 +02:00
Vincent Laporte a1b8192dbf ocamlPackages.piqi: 0.6.14 → 0.6.15 2020-06-19 10:06:06 +02:00
Vincent Laporte a0d4f232d7 ocamlPackages.js_of_ocaml: rename file to “default.nix” 2020-06-15 08:53:50 +02:00
Vincent Laporte d6a4ee1193 ocamlPackages.js_of_ocaml_2: remove at 2.7 & 2.8.4 2020-06-15 08:53:50 +02:00
Vincent Laporte 610ac2c81f ocamlPackages.ocsigen-start: 2.16.1 → 2.18.0 2020-06-14 21:41:41 +02:00
Vincent Laporte 2d50195be2 coqPackages.flocq: 3.2.0 → 3.3.1 2020-06-14 09:51:00 +02:00
Vincent Laporte c9963a8ec4 ocamlPackages.ocsigen-toolkit: 2.5.0 → 2.7.0 2020-06-13 11:40:54 +02:00
Vincent Laporte 0905a5d990 ocamlPackages.vg: 0.9.3 → 0.9.4 2020-06-13 09:56:40 +02:00
Vincent Laporte f648259731 ocaml-ng.ocamlPackages_4_11.ocaml: 4.11.0+α1 → 4.11.0+α2 2020-06-10 09:10:40 +02:00
Vincent Laporte cb6ffc170b ocamlPackages.sexplib_112_24_01: remove at 112.24.01 
This is a legacy version for OCaml ≤ 4.02
 2020-06-07 10:15:17 +02:00
Vincent Laporte f4a7f9f499 ocamlPackages.sexplib_111_25_00: remove at 111.25.00 
This is a legacy version for OCaml ≤ 4.02
 2020-06-07 10:15:17 +02:00
Vincent Laporte 0cadf9c028 ocamlPackages.sexplib_108_08_00: remove at 108.08.00 
This is a legacy version for OCaml ≤ 4.02
 2020-06-07 10:15:17 +02:00
Vincent Laporte 1c3e3e081c ocamlPackages.pa_test: remove at 112.24.00 
This is a legacy package for OCaml ≤ 4.02
 2020-06-07 07:48:47 +02:00
Vincent Laporte c9057b3751 ocamlPackages.custom_printf: remove at 112.24.00 
This is a legacy package for OCaml 4.02

custom_printf is deprecated, use ppx_custom_printf instead
 2020-06-05 10:46:29 +02:00
Vincent Laporte f0d985cf9c coqPackages.Verdi: 20190202 → 20200131 2020-06-02 09:18:29 +02:00
Vincent Laporte 6f9d12460b coqPackages.Cheerios: 20181102 → 20200201 2020-06-02 09:18:29 +02:00
Vincent Laporte 550533171d coqPackages.InfSeqExt: 20180918 → 20200131 2020-06-02 09:18:29 +02:00
Vincent Laporte 19dab239bb coqPackages.CoLoR: enable for Coq 8.11 2020-06-01 15:04:17 +02:00
Vincent Laporte 1992d68551 ocamlPackages.core_kernel: remove at 112.24.00 
This is a legacy version for OCaml 4.02
 2020-05-29 08:23:42 +02:00
Vincent Laporte eab4103efa ocamlPackages.core: remove at 112.24.01 
This is a legacy version for OCaml 4.02
 2020-05-28 09:09:53 +02:00
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