public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
242,377 Commits 1 Branch 0 Tags
346dee1a96a7ecf7fa06cdb2ffcea54d5c33be5a
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte 53bce4da36 ocamlPackages.piqi-ocaml: 0.7.5 → 0.7.7 2020-09-03 15:27:29 +02:00
Vincent Laporte 910ac8645f ocamlPackages.ocp-index: 1.2 → 1.2.1 2020-09-02 10:30:34 +02:00
Vincent Laporte 745a86726a ocamlPackages.re: disable tests with OCaml < 4.04 2020-09-02 10:30:34 +02:00
Vincent Laporte e92a556468 satysfi: 0.0.4 → 0.0.5 2020-09-01 08:54:13 +02:00
Vincent Laporte 60d0746a84 coqPackages.dpdgraph: init at 0.6.8 for Coq 8.12 2020-09-01 08:53:19 +02:00
Vincent Laporte 6a01a4e69a ocamlPackages.posix-types: init at 2.0.0 2020-08-31 07:07:08 +02:00
Vincent Laporte 83122f9657 ocamlPackages.posix-socket: init at 2.0.0 2020-08-31 07:07:08 +02:00
Vincent Laporte b1f2a30191 ocamlPackages.posix-base: init at 2.0.0 2020-08-31 07:07:08 +02:00
Vincent Laporte b3beb74d7c coqPackages.gappalib: 1.4.3 → 1.4.4 2020-08-30 07:26:32 +02:00
Vincent Laporte 544423e91c ocamlPackages.eliom: 6.12.0 → 6.12.1 2020-08-29 06:22:54 +02:00
Vincent Laporte 5e6eeb795c alt-ergo: 2.3.2 → 2.3.3 2020-08-29 06:21:23 +02:00
Vincent Laporte 7b8448dd1c ocaml-ng.ocamlPackages_4_11.ocaml: 4.11.0+β3 → 4.11.0 2020-08-28 14:09:37 +02:00
Vincent Laporte e3061fa9f9 ocaml-ng.ocamlPackages_4_11.ocaml: 4.11.0+β3 → 4.11.0 2020-08-28 07:31:39 +02:00
Vincent Laporte 02ee825018 ocamlPackages.cpdf: 2.3 → 2.3.1 2020-08-27 08:10:33 +02:00
Vincent Laporte 0e9e10936d ocamlPackages.camlpdf: 2.3 → 2.3.1 2020-08-27 08:10:33 +02:00
Vincent Laporte 6ff80288af ocamlPackages.camlpdf: also install native libraries 2020-08-27 08:10:33 +02:00
Vincent Laporte 6792240ac4 ocamlPackages.containers-data: init at 3.0 2020-08-24 07:43:57 +02:00
Vincent Laporte 8af735f5cc ocamlPackages.containers: 2.7 → 3.0 2020-08-24 07:43:57 +02:00
Vincent Laporte c8137fc229 coq: default to version 8.11 2020-08-23 08:19:21 +02:00
Vincent Laporte 36cff634d1 compcert: use Coq 8.10 2020-08-23 08:19:21 +02:00
Vincent Laporte 1875d9bfd5 coqPackages.coqprime: enable for Coq 8.11 2020-08-23 08:19:21 +02:00
Vincent Laporte e3c2934213 ocamlPackages.ocamlgraph: make GTK support optional 
When `gtkSupport` is true, additional components are built:

 - a module to render a graph on a GTK2 canvas
 - two GTK-based programs: a graph viewer and a graph editor.

The default is to have `gtkSupport` as it is used in e.g., Frama-C.
 2020-08-23 08:12:49 +02:00
Vincent Laporte 241b65c596 ocamlPackages.ocamlnet: 4.1.7 → 4.1.8 2020-08-22 07:54:27 +02:00
Vincent Laporte f3a1a087e8 ocamlPackages.uunf: re-generate source from the Unicode Character Database 2020-08-21 09:08:33 +02:00
Vincent Laporte f04daaa23a python.nbxmpp: 0.6.10 → 1.0.2; gajim: 1.1.3 → 1.2.2 2020-08-20 13:40:10 -07:00
Vincent Laporte f839441f09 coqPackages.coqhammer: 1.2 → 1.3 2020-08-20 08:37:24 +02:00
Vincent Laporte 4e5a9e52a3 pdfpc: 4.3.4 → 4.4.0 2020-08-19 09:50:40 +00:00
Vincent Laporte 6f83faf70b coqPackages.QuickChick: 1.3.1 → 1.3.2, 1.4.0 2020-08-19 08:08:37 +02:00
Vincent Laporte 6a1d98ecc4 coqPackages.simple-io: enable for Coq 8.12 2020-08-19 08:08:37 +02:00
Vincent Laporte 59d48ade22 coqPackages.coq-ext-lib: 0.11.1 → 0.11.2 2020-08-19 08:08:37 +02:00
Vincent Laporte d0bb8ca41b coqPackages.interval: 3.4.2 → 4.0.0 2020-08-17 07:05:35 +02:00
Vincent Laporte a379617057 coqPackages.stdpp: 1.2.1 → 1.4.0 
coqPackages.iris: 3.2.0 → 3.3.0
 2020-08-16 08:22:55 +02:00
Vincent Laporte 774db64cc6 js_of_ocaml: 3.6.0 → 3.7.0 2020-08-15 07:29:11 +02:00
Vincent Laporte c25d99efcb ocamlPackages.merlin-extend: 0.4 → 0.6 2020-08-14 07:57:04 +02:00
Vincent Laporte 49a99103c8 ocamlPackages.uucd: 10.0.0 → 13.0.0 2020-08-14 07:35:26 +02:00
Vincent Laporte 2c564010aa ocamlPackages.ppx_deriving_yojson: 3.5.2 → 3.5.3 2020-08-11 11:25:10 +02:00
Vincent Laporte b8dfca143c coq_8_12: 8.12+β1 → 8.12.0 
coqPackages.equations: 1.2.2 → 1.2.3
 2020-08-08 06:33:08 +02:00
Vincent Laporte 86fbad8466 ocamlPackages.lua-ml: 0.9 → 0.9.1 2020-08-08 06:17:23 +02:00
Vincent Laporte 07e3aab009 ocamlPackages.mustache: init at 3.1.0 
mustache.js logic-less templates in OCaml
 2020-08-05 11:39:18 +02:00
Vincent Laporte 04f9cd0b0c ocaml-ng.ocamlPackages_4_11.ocaml: 4.11.0+β2 → 4.11.0+β3 2020-08-04 11:26:34 +02:00
Vincent Laporte 390769312d coq_8_5: fix build (use gnumake 4.2) 2020-08-03 07:46:20 +02:00
Vincent Laporte 9dab2f2de2 ocamlPackages.mdx: 1.6.0 → 1.7.0 2020-08-02 14:16:55 +02:00
Vincent Laporte 3541e8b4fb coqPackages.bignums: init at 8.12.0 for Coq 8.12 2020-08-01 18:04:52 +02:00
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