public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
165,263 Commits 1 Branch 0 Tags
8d9c2fc3ffdd6079d141e833d6b28c6397ecbd21
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte 8b79557600 ocamlPackages.ppx_deriving_yojson: 3.1 -> 3.3 2018-12-25 10:43:41 +01:00
Vincent Laporte d7f08cd90f ocamlPackages.ppxfind: init at 1.2 2018-12-25 10:43:41 +01:00
Vincent Laporte daaba731a7 ocamlPackages.csv-lwt: init at 2.2 2018-12-24 14:57:07 +01:00
Vincent Laporte e0561cbadd coqPackages.Verdi: fix build 2018-12-21 12:37:04 +01:00
Vincent Laporte 1d5059c5e6 coqPackages.InfSeqExt: fix build 2018-12-21 12:37:04 +01:00
Vincent Laporte 954bc20786 coqPackages.Cheerios: fix build 2018-12-21 12:37:04 +01:00
Vincent Laporte 5a12bedbfa coqPackages.StructTact: fix build 2018-12-21 12:37:04 +01:00
Vincent Laporte 881bec3238 coqPackages.coqprime: enable for Coq 8.9 2018-12-20 10:43:59 +01:00
Vincent Laporte 6620de7594 ocamlPackages.atdgen: init at 2.0.0 
Atdgen is a command-line program that takes as input type definitions in the
ATD syntax and produces OCaml code suitable for data serialization and
deserialization.

Homepage: https://github.com/mjambon/atd
 2018-12-17 21:38:49 +00:00
Vincent Laporte 585b741cb7 ocaml: fix build when X11 is not available 2018-12-17 17:46:46 +00:00
Vincent Laporte b5f580fa2e ocamlPackages.labltk: fix evaluation with OCaml < 4.04 2018-12-17 17:46:46 +00:00
Vincent Laporte 5e786dedc1 ocaml-ng.ocamlPackages_4_01_0.ppx_cstruct: fix evaluation 2018-12-17 17:46:46 +00:00
Vincent Laporte f41ac80d74 ocaml-ng.ocamlPackages_4_01_0.cstruct-unix: fix evaluation 2018-12-17 17:46:46 +00:00
Vincent Laporte 3cca862a5f ocaml-ng.ocamlPackages_4_01_0.cstruct-lwt: fix evaluation 2018-12-17 17:46:46 +00:00
Vincent Laporte b6ca91fba5 ocamlPackages.elina: init at 1.1 
ELINA contains optimized implementations of popular numerical abstract domains
such as Polyhedra, Octagon and Zones for static analysis.

homepage: http://elina.ethz.ch/
 2018-12-16 08:54:51 +00:00
Vincent Laporte 6a18963eeb satysfi: 2018-03-07 -> 0.0.3 2018-12-14 21:06:30 +00:00
Vincent Laporte 42fd1728fa ocamlPackages.lablgtk3: 3.0.beta1 -> 3.0.beta2 2018-12-14 09:11:25 +00:00
Vincent Laporte 113a7562fe ocamlPackages.lablgtk3: init at 3.0.beta1 2018-12-13 09:09:09 +00:00
Vincent Laporte ee843ee86e ocamlPackages.ppx_import: 1.5 -> 1.5-3 2018-12-12 09:34:38 +00:00
Vincent Laporte 47c4876de6 ocamlPackages.ppx_deriving_yojson: disable tests 2018-12-12 09:34:38 +00:00
Vincent Laporte 1a04bd4414 ocamlPackages.checkseum: init at 0.0.3 
Chekseum is an OCaml library which implements ADLER-32 and CRC32C Cyclic
Redundancy Check. It provides 2 implementation, the first in C and the
second in OCaml.

Homepage: https://github.com/mirage/checkseum
 2018-12-11 08:12:27 +00:00
Vincent Laporte e9b43adab7 ocamlPackages.optint: init at 0.0.2 
This library provide one module Optint which internally uses an int if
you are in a x64 architecture or an int32 (boxed value) if you are in a
x86 architecture.

Homepage: https://github.com/mirage/optint
 2018-12-11 08:12:27 +00:00
Vincent Laporte 655231a612 coqPackages.simple-io: init at 0.2 
Purely functional IO for Coq.

homepage: https://github.com/Lysxia/coq-simple-io
 2018-12-10 15:35:34 +00:00
Vincent Laporte e21a5e6035 coqPackages_8_9.coq-ext-lib: init at 0.10.0 2018-12-10 15:33:59 +00:00
Vincent Laporte 2b66c286be coqPackages.corn: init at 8.8.1 2018-12-10 07:56:32 +00:00
Vincent Laporte 8c11c9528e frama-c: Chlorine -> Argon 2018-12-09 19:50:38 +00:00
Vincent Laporte 83d84c08b9 filterCoqPackages: honor recurseIntoAttrs 2018-12-09 03:08:54 +00:00
Vincent Laporte 0c9abf6436 ocamlPackages.camlimages: 5.0.0 -> 5.0.1 2018-12-07 04:22:10 +00:00
Vincent Laporte b684e3d24b ocamlPackages.javalib: 2.3.5 -> 3.0 
ocamlPackages.sawja: 1.5.3 -> 1.5.6
 2018-12-07 03:28:54 +00:00
Vincent Laporte f698c0c418 ocamlPackages.frontc: 3.4 -> 3.4.1 2018-12-05 08:49:40 +00:00
Vincent Laporte b3411342a4 ocamlPackages.zmq: fix build with non-default OCaml 2018-12-05 08:48:59 +00:00
Vincent Laporte e59970e3c4 coqPackages.math-classes: 1.0.7 -> 8.8.1 2018-12-03 08:29:46 +00:00
Vincent Laporte 527bad18d0 coqPackages: recurse into the attribute set 
But do not build the packages on hydra.
 2018-12-02 21:00:51 +00:00
Vincent Laporte 66efb76c75 ocamlPackages.buildDunePackage: fix meta.platforms 2018-11-30 16:19:03 +00:00
Vincent Laporte 6bdb039138 timidity: 2.14.0 -> 2.15.0 2018-11-23 06:54:46 +00:00
Vincent Laporte 88d20b2052 ocamlPackages.menhir: 20181026 -> 20181113 2018-11-21 06:12:33 +00:00
Vincent Laporte e481df83b1 ocamlPackages.camlp5: 7.06 -> 7.07 
Keeping the legacy (7.06) version around, needed by hol_light
 2018-11-21 05:59:49 +00:00
Vincent Laporte 60907c7a6f ocamlPackages.ocp-index: 1.1.6 -> 1.1.7 2018-11-20 07:50:57 +00:00
Vincent Laporte c4cad8cfa7 coqPackages.bignums: enable for Coq version 8.9 2018-11-19 08:47:34 +00:00
Vincent Laporte 15995ea2b2 ocamlPackages.odoc: 1.2.0 -> 1.3.0 2018-11-06 18:20:49 +00:00
Vincent Laporte faea8def19 coqPackages_8_5.fiat_HEAD: fix build 2018-11-06 12:10:09 +00:00
Vincent Laporte cd05d5a112 coqPackages.autosubst: fix build 2018-11-05 14:53:19 +00:00
Vincent Laporte e338d801e2 mkCoqPackages: look for “dontFilter” in coq derivation 2018-11-04 20:49:38 +00:00
Vincent Laporte b3f6840d8e coqPackages.ssreflect: refactor 2018-11-04 20:49:38 +00:00
Vincent Laporte d2c38d1eef coqPackages.mathcomp: refactor 2018-11-04 20:49:38 +00:00
Vincent Laporte 08ac103970 acgtk: 1.3.1 -> 1.5.0 2018-11-04 06:29:27 +00:00
Vincent Laporte 6a449c0742 coqPackages.contribs.zfc: enable for Coq 8.8 2018-11-02 08:51:24 +00:00
Vincent Laporte 0a24919923 ocamlPackages_latest.ocaml: 4.07.0 -> 4.07.1 2018-10-30 20:33:28 +00:00
Vincent Laporte 80bb1db72c ocamlPackages.menhir: 20170712 -> 20181026 2018-10-28 15:30:49 +00:00
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