public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
244,931 Commits 1 Branch 0 Tags
af2dc4d401f87f96e752d14c0733681e30d30f43
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte 40d389028c ocamlPackages.fpath: 0.7.2 → 0.7.3 2020-09-26 15:49:55 +02:00
Vincent Laporte 8409bdf80a ocamlPackages.qtest: 2.7 → 2.11 2020-09-24 07:27:41 +02:00
Vincent Laporte c65790f4dc ocamlPackages.irmin_1: remove at 1.4.0 2020-09-23 21:36:40 +02:00
Vincent Laporte 64b68b30e9 why3: 1.3.1 -> 1.3.3 2020-09-23 03:24:02 +02:00
Vincent Laporte a1f8e0b4a1 coqPackages.metalib: 20170713 → 20200527 2020-09-22 21:53:29 +02:00
Vincent Laporte a775c939d4 ocamlPackages.zed: 2.0.3 → 3.1.0 2020-09-22 18:41:01 +02:00
Vincent Laporte 06098c76b9 bigloo: 4.1a-2 → 4.3h; hop: 2.5.1 → 3.3.0 2020-09-21 23:24:54 -07:00
Vincent Laporte 943fa12e6a hop: fix build 
The configure process tries to escape the sandbox by writing into /tmp
 2020-09-21 23:24:54 -07:00
Vincent Laporte c06b0edde2 ocamlPackages.apron: 0.9.12 → 0.9.13 2020-09-21 08:05:23 +02:00
Vincent Laporte 10fef19f4b ocamlPackages.qcheck: 0.7 → 0.15 2020-09-16 05:57:19 +02:00
Vincent Laporte 491e809867 ocamlPackages.qcheck-alcotest: init at 0.15 2020-09-16 05:57:19 +02:00
Vincent Laporte 79a0130dbd ocamlPackages.qcheck-ounit: init at 0.15 2020-09-16 05:57:19 +02:00
Vincent Laporte 8d27394e25 ocamlPackages.qcheck-core: init at 0.15 2020-09-16 05:57:19 +02:00
Vincent Laporte ffc3f8227b saga: use proj 6 2020-09-15 21:47:28 +02:00
Vincent Laporte cc4a33d78c ott: 0.30 → 0.31 2020-09-14 21:42:22 +02:00
Vincent Laporte e2dffb60a5 ocamlPackages.batteries: 3.0.0 → 3.1.0 2020-09-13 11:59:06 +02:00
Vincent Laporte 5f83bf3012 ocamlPackages.ptmap: 2.0.4 → 2.0.5 2020-09-12 21:32:02 +02:00
Vincent Laporte b2f814144e ocamlPackages.ptset: init at 1.0.1 2020-09-12 21:30:31 +02:00
Vincent Laporte d3e701f5f7 reason: 3.6.0 → 3.6.2 2020-09-12 21:30:12 +02:00
Vincent Laporte 5f3be6b669 coqPackages.Verdi: enable for Coq 8.12 2020-09-10 22:10:02 +02:00
Vincent Laporte 7f797b9521 coqPackages.paco: enable for Coq 8.12 2020-09-10 22:10:02 +02:00
Vincent Laporte 6e08d23707 coqPackages.paramcoq: init at 1.1.2 for Coq 8.12 2020-09-09 22:26:06 +02:00
Vincent Laporte 67c991114f aegisub: fix build with make 4.3 2020-09-09 13:00:49 +02:00
Vincent Laporte 607b0ae7ae coqPackages.coqprime: init at 8.12 for Coq 8.12 2020-09-09 06:32:25 +02:00
Vincent Laporte bd954783b2 liquidsoap: 1.3.4 → 1.4.2 2020-09-07 15:18:31 +02:00
Vincent Laporte d7fa5b6aad liferea: 1.12.6 → 1.12.9 2020-09-07 13:29:58 +02:00
Vincent Laporte 2a82f71bed proverif: 2.01 → 2.02pl1 2020-09-07 09:54:54 +02:00
Vincent Laporte d4f6c94d34 ocamlPackages.labltk: init at 8.06.9 for OCaml 4.11 2020-09-06 19:09:37 +02:00
Vincent Laporte 82eb3cd4db ocamlPackages.srt: init at 0.1.1 2020-09-06 07:44:21 +02:00
Vincent Laporte 5664601fa2 ocamlPackages.fdkaac: init at 0.3.2 2020-09-05 10:44:12 +02:00
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