public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
157,739 Commits 1 Branch 0 Tags
ec00d1aa543f8f2991fa033bdcdafa2214295d02
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte c640f024dd ocamlPackages.vg: 0.9.0 -> 0.9.1 2018-10-25 05:36:37 +00:00
Vincent Laporte ab95faa507 coqPackages.category-theory: fix build 2018-10-24 05:50:04 +00:00
Vincent Laporte bc8d25c1ef why3: 1.0.0 -> 1.1.0 2018-10-18 05:43:36 +00:00
Vincent Laporte de4f6cb453 ocamlPackages.elpi: 1.0.5 -> 1.1.0 2018-10-15 13:41:45 +00:00
Vincent Laporte 6113d95235 prooftree: cleaning 2018-10-11 05:59:21 +00:00
Vincent Laporte 1c7c1be1a8 ocamlPackages.merlin: 3.1.0 -> 3.2.1 2018-10-10 17:15:45 +00:00
Vincent Laporte bdaedbe38c ocamlPackages.ocaml_lwt: 3.3.0 -> 4.1.0 2018-10-08 05:59:24 +00:00
Vincent Laporte c71cc0b98b coqPackages.coqprime: init at 8.7.2 & 8.8 2018-10-01 10:11:24 +00:00
Vincent Laporte b46666a867 ocamlPackages.odoc: fix resolution of odoc.css 2018-09-30 16:14:03 +00:00
Vincent Laporte c8f3e0f118 ocamlPackages.elpi: init at 1.0.5 2018-09-27 17:41:12 +00:00
Vincent Laporte d4ba6c0bc4 dune: 1.2.1 -> 1.3.0 2018-09-27 07:33:59 +00:00
Vincent Laporte cbc609ca8c ocamlPackages.odoc: init at 1.2.0 2018-09-24 05:08:37 +00:00
Vincent Laporte 886acaff11 ocamlPackages.doc-ock-xml: init at 1.2.1 2018-09-24 05:08:37 +00:00
Vincent Laporte 41f06396cc ocamlPackages.doc-ock-html: init at 1.2.1 2018-09-24 05:08:37 +00:00
Vincent Laporte 55ef56b260 ocamlPackages.doc-ock: init at 1.2.1 2018-09-24 05:08:37 +00:00
Vincent Laporte dbd5783791 jackline: 2017-12-24 -> 2018-05-11 2018-09-21 17:04:24 +00:00
Vincent Laporte 26aa4c36ba ocamlPackages.erm_xmpp: 0.3 -> 0.3+20180112 2018-09-21 17:04:23 +00:00
Vincent Laporte ab2f86aec3 ocamlPackages.erm_xml: 0.3 -> 0.3+20180112 2018-09-21 17:04:22 +00:00
Vincent Laporte a3c820d79c ocamlPackages.cohttp: 1.0.2 -> 1.1.1 2018-09-19 16:50:21 +00:00
Vincent Laporte 66842c9a72 ocamlPackages.ppx_import: 1.4 -> 1.5 2018-09-18 05:00:51 +00:00
Vincent Laporte 7f2f989d6a compcert: 3.3 -> 3.4 2018-09-17 18:36:31 +00:00
Vincent Laporte 5b8b9a08e7 pythonPackages.libnacl: fix build on darwin 2018-09-16 06:24:49 +00:00
Vincent Laporte fc19401d67 jbuilder: 1.0.1 -> dune: 1.1.1 2018-09-15 19:32:32 +00:00
Vincent Laporte 4f3868b72d ocaml ≤ 4.05: mark as broken on Aarch64 2018-09-15 13:17:12 +00:00
Vincent Laporte 7ed02d4b70 ocamlPackages.mlgmpidl: 1.2.6 -> 1.2.7 2018-09-15 11:09:53 +00:00
Vincent Laporte 1003e6e0df ocamlPackages.batteries: disable tests on Aarch64 2018-09-13 05:29:54 +00:00
Vincent Laporte 65fcac82d3 ocamlPackages.batteries: 2.8.0 -> 2.9.0 2018-09-11 16:37:27 +00:00
Vincent Laporte 48708a9c43 ocamlPackages.re: 1.7.3 -> 1.8.0 2018-09-05 17:14:58 +00:00
Vincent Laporte f0a0ccabcc ocamlPackages.seq: init at 0.1 2018-09-05 17:12:13 +00:00
Vincent Laporte c722db75ba ocamlPackages.{tyxml,lwt}: always enable camlp4 support 2018-09-05 06:06:48 +00:00
Vincent Laporte 7f606786ce ocamlPackages.reason: remove spurious dependency on opam 2018-09-01 04:08:27 +00:00
Vincent Laporte f23c765827 hhvm: mark as broken 2018-08-29 14:43:06 +00:00
Vincent Laporte 474c0aa221 ocamlPackages: default to 4.06 2018-08-29 12:49:46 +00:00
Vincent Laporte 20af031a2f ocamlPackages.ocamlsdl: disable for OCaml ≥ 4.06 2018-08-29 12:49:45 +00:00
Vincent Laporte e63e4c11cc ocamlPackages.mezzo: disable for OCaml ≥ 4.06 2018-08-29 12:49:45 +00:00
Vincent Laporte bdaec23d14 ocamlPackages.ocaml_extlib_maximal: remove at 1.7.5 2018-08-29 12:49:45 +00:00
Vincent Laporte 8a62ad06c2 ocamlPackages.cil: disable for OCaml ≥ 4.06 2018-08-29 12:49:44 +00:00
Vincent Laporte e79e66cad1 ocamlPackages.magick: disable for OCaml ≥ 4.06 2018-08-29 12:49:44 +00:00
Vincent Laporte 24f47da9b3 ocamlPackages.erm_xml: disable for OCaml ≥ 4.06 2018-08-29 12:49:43 +00:00
Vincent Laporte 9590e46c05 ocamlPackages.ocaml_data_notation: disable for OCaml ≥ 4.06 2018-08-29 12:49:43 +00:00
Vincent Laporte 0c3cf014e2 ocamlPackages.ojquery: disable for OCaml ≥ 4.06 2018-08-29 12:49:43 +00:00
Vincent Laporte 3fb8dac658 ocamlPackages.ocaml_cryptgps: disable for OCaml ≥ 4.06 2018-08-29 12:49:42 +00:00
Vincent Laporte ebd62e2423 ocamlPackages.ocaml_cairo: disable for OCaml ≥ 4.06 2018-08-29 12:49:42 +00:00
Vincent Laporte 450e358040 ocamlPackages.omake_rc1: disable for OCaml ≥ 4.06 2018-08-29 12:49:42 +00:00
Vincent Laporte ea276e21cf ocamlPackages.pa_ounit: disable for OCaml ≥ 4.06 2018-08-29 12:49:41 +00:00
Vincent Laporte 06cd948ba3 ocamlPackages.sqlite3EZ: disable for OCaml ≥ 4.06 2018-08-29 12:49:41 +00:00
Vincent Laporte 84e3cece28 ocamlPackages.ulex08: disable for OCaml ≥ 4.06 2018-08-29 12:49:41 +00:00
Vincent Laporte 4f7c4e70e4 ocamlPackages.lwt2: disable for OCaml ≥ 4.06 2018-08-29 12:49:40 +00:00
Vincent Laporte 78b8fc7a75 ocamlPackages.gtktop: disable for OCaml ≥ 4.06 2018-08-29 12:49:40 +00:00
Vincent Laporte 23fd7e452f ocamlPackages.frontc: disable for OCaml ≥ 4.06 2018-08-29 12:49:40 +00:00
Vincent Laporte 6a9831940d ocamlPackages.dypgen: disable for OCaml ≥ 4.06 2018-08-29 12:49:39 +00:00
Vincent Laporte 354dedfec3 ocamlPackages.camlimages_4_1: disable for OCaml ≥ 4.06 2018-08-29 12:49:39 +00:00
Vincent Laporte 09821d23ba ocamlPackages.bolt: disable for OCaml ≥ 4.06 2018-08-29 12:49:38 +00:00
Vincent Laporte efbc322c9f ocamlPackages.variantslib_p4: disable for OCaml ≥ 4.06 2018-08-29 12:49:38 +00:00
Vincent Laporte a04f3afc3c ocamlPackages.faillib: disable for OCaml ≥ 4.06 2018-08-29 12:49:38 +00:00
Vincent Laporte f7c617e34d ocamlPackages.enumerate: disable for OCaml ≥ 4.06 2018-08-29 12:49:37 +00:00
Vincent Laporte c2b86bc5bb ocamlPackages.fieldslib_p4: disable for OCaml ≥ 4.06 2018-08-29 12:49:37 +00:00
Vincent Laporte 15a568cfe6 ocamlPackages.bin_prot_p4: disable for OCaml ≥ 4.06 2018-08-29 12:49:36 +00:00
Vincent Laporte 6d38ada0ba wyrd: use OCaml 4.05 2018-08-29 12:49:36 +00:00
Vincent Laporte f661b0dbf6 tlaps: use OCaml 4.05 2018-08-29 12:49:35 +00:00
Vincent Laporte 8a23558db1 xen_4_10: use OCaml 4.05 2018-08-29 12:49:35 +00:00
Vincent Laporte 5670f77a90 obliv-c: use OCaml 4.05 2018-08-29 12:49:34 +00:00
Vincent Laporte 6a220840af xen_4_8: use OCaml 4.05 2018-08-29 12:49:34 +00:00
Vincent Laporte 4d8c0d75b3 cubicle: use OCaml 4.05 2018-08-29 12:49:34 +00:00
Vincent Laporte 7211ee1aeb haxe: use OCaml 4.05 2018-08-29 12:49:33 +00:00
Vincent Laporte 4d26e2a312 mldonkey: use OCaml 4.05 2018-08-29 12:49:33 +00:00
Vincent Laporte 9edd1875bc coq_8_6: use OCaml 4.05 2018-08-29 12:49:32 +00:00
Vincent Laporte 271af919e3 coccinelle: use OCaml 4.05 2018-08-29 12:49:32 +00:00
Vincent Laporte 9b76bf991f coq_8_5: use OCaml 4.05 2018-08-29 12:49:31 +00:00
Vincent Laporte 8cdb0c3cbd opam: use OCaml 4.05 2018-08-29 12:49:31 +00:00
Vincent Laporte be6769816d statverif: use OCaml 4.05 2018-08-29 12:49:30 +00:00
Vincent Laporte 65f42595cf sapic: use OCaml 4.05 2018-08-29 12:49:30 +00:00
Vincent Laporte 124639bd8f jackline: use OCaml 4.05 2018-08-29 12:49:30 +00:00
Vincent Laporte 18b3b67689 alt-ergo: use OCaml 4.05 2018-08-29 12:49:29 +00:00
Vincent Laporte c81d4f800e acgtk: use OCaml 4.05 2018-08-29 12:49:29 +00:00
Vincent Laporte 28ee1ae69d libbap: use OCaml 4.05 2018-08-29 12:49:28 +00:00
Vincent Laporte b5a6e6cf01 unison: use OCaml 4.05 2018-08-29 12:49:28 +00:00
Vincent Laporte 38fafd1ed1 obliv-c: 0.0pre20170827 -> 0.0pre20180624 2018-08-28 04:32:56 +00:00
Vincent Laporte c63e5c13d2 ocamlPackages.piqi-ocaml: fix build with OCaml 4.06 2018-08-22 14:58:06 +00:00
Vincent Laporte 38fa082e79 ocamlPackages.piqi: fix build with OCaml 4.06 2018-08-22 14:58:06 +00:00
Vincent Laporte 44f18a5a4f ocamlPackages.incremental_kernel: 0.11.0 -> 0.11.1 2018-08-14 07:48:39 +00:00
Vincent Laporte 2aae0c0442 ocamlPackages.async_extra: 0.11.0 -> 0.11.1 2018-08-14 07:48:39 +00:00
Vincent Laporte 72d1be9b96 ocamlPackages.async_kernel: 0.11.0 -> 0.11.1 2018-08-14 07:48:39 +00:00
Vincent Laporte 4b542fdf8e ocamlPackages.core: 0.11.1 -> 0.11.2 2018-08-14 07:48:39 +00:00
Vincent Laporte 4f0db5d0ad coq: default to version 8.8 2018-08-13 20:43:49 +00:00
Vincent Laporte 3811efb347 coqPackages.coq-ext-lib: 0.9.5 -> {0.9.7,0.9.8} 2018-08-08 11:24:09 +00:00
Vincent Laporte 18408650fb ocamlPackages.core_kernel: 0.11.0 -> 0.11.1 2018-07-31 20:15:26 +00:00
Vincent Laporte d4bf592bbd ocamlPackages.uunf: mark as broken on AArch64 2018-07-31 12:51:36 +00:00
Vincent Laporte 9c37672e5a ocamlPackages.uuseg: 10.0.0 -> 11.0.0 2018-07-30 07:05:04 +00:00
Vincent Laporte 311d32ffd0 ocamlPackages.uucp: 10.0.1 -> 11.0.0 2018-07-30 06:48:46 +00:00
Vincent Laporte 0364a581f2 ocamlPackages.uunf: 10.0.0 -> 11.0.0 2018-07-30 06:39:05 +00:00
Vincent Laporte 26213bc990 stog: 0.17.0 -> 0.18.0 2018-07-29 13:32:10 +00:00
Vincent Laporte bbf96f8652 ocamlPackages.asn1-combinators: remove spurious dependency to Camlp4 2018-07-29 13:32:04 +00:00
Vincent Laporte 562a264be4 ocamlPackages.ptime: 0.8.3 -> 0.8.4 2018-07-29 13:31:58 +00:00
Vincent Laporte 1747b29a4c ocamlPackages.httpaf: init at 0.4.1 
http/af is a high-performance, memory-efficient, and scalable web server for
OCaml.

Homepage: https://github.com/inhabitedtype/httpaf
 2018-07-29 07:47:21 +00:00
Vincent Laporte 51d9081123 ocamlPackages.angstrom: 0.8.1 -> 0.10.0 2018-07-29 07:47:21 +00:00
Vincent Laporte 96b9fdaa35 ocamlPackages.bigstringaf: init at 0.3.0 
Bigstring intrinsics and fast blits based on memcpy/memmove

homepage: https://github.com/inhabitedtype/bigstringaf
 2018-07-29 07:47:21 +00:00
Vincent Laporte 0c4daae16a ocamlPackages.ppx_sqlexpr: init at 0.9.0 2018-07-28 14:16:47 +00:00
Vincent Laporte 5a9645c37f ocamlPackages.sqlexpr: 0.5.5 -> 0.9.0 2018-07-28 14:16:46 +00:00
Vincent Laporte f2ae2c9b8f ocamlPackages.estring: disable for OCaml ≥ 4.06 2018-07-28 14:16:41 +00:00