public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
143,860 Commits 1 Branch 0 Tags
1c2e30eeaffac176e55e2ec9e22dfdb751fabf3f
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte 07d40825d8 ocamlPackages.mstruct: remove spurious dependency 2018-06-06 07:14:30 +00:00
Vincent Laporte 2e851f9651 ocamlPackages.xmlm: remove at 1.2.0 2018-06-06 07:14:29 +00:00
Vincent Laporte a4fa4c45cc ocamlPackages.cmdliner_0_9: use opaline 2018-06-06 07:14:29 +00:00
Vincent Laporte 10d70a2ae3 ocamlPackages.lambda-term: fix installPhase 2018-06-06 07:14:28 +00:00
Vincent Laporte 98e8e95136 ocamlPackages.nocrypto: use opaline 2018-06-06 07:14:27 +00:00
Vincent Laporte 94445ed4bc ocamlPackages.findlib: fix stublibs 2018-06-06 07:14:26 +00:00
Vincent Laporte 733d88574b ocamlPackages.js-build-tools: use opaline 2018-06-06 07:14:26 +00:00
Vincent Laporte 535a8b000f ocamlPackages.buildOcamlJane: use opaline 2018-06-06 07:14:25 +00:00
Vincent Laporte 69ac6be009 ocamlPackages.ocsigen-toolkit: use opaline 2018-06-06 07:14:25 +00:00
Vincent Laporte cb5d4c1205 ocamlPackages.eliom: use opaline 2018-06-06 07:14:24 +00:00
Vincent Laporte e7795ce53e ocamlPackages.reactivedata: use opaline 2018-06-06 07:14:23 +00:00
Vincent Laporte 8e0100ba85 ocamlPackages.ppx_import: use opaline 2018-06-06 07:14:22 +00:00
Vincent Laporte 29a6ca660a jbuilder: use opaline 2018-06-06 07:14:22 +00:00
Vincent Laporte c066d9dfc3 ocamlPackages.topkg: use opaline 2018-06-06 07:14:21 +00:00
Vincent Laporte 853fb4598f ocamlPackages.uchar: use opaline 2018-06-06 07:14:20 +00:00
Vincent Laporte 9114b47314 ocamlPackages.gg: use opaline 2018-06-06 07:14:20 +00:00
Vincent Laporte b0102f5501 ocamlPackages_4_02.async_ssl: remove redundancy 2018-05-29 05:29:04 +00:00
Vincent Laporte 0f51d1fa59 ocamlPackages.gapi-ocaml: clean installPhase 2018-05-29 05:29:04 +00:00
Vincent Laporte ae23bb2bcc proverif: 1.97pl1 -> 2.00 2018-05-22 06:58:10 +00:00
Vincent Laporte 19f768a978 ocamlPackages.earley_ocaml: init at 1.0.2 2018-05-21 16:10:12 +00:00
Vincent Laporte 42462d7b66 coqPackages.stdpp: init at 1.1 2018-05-15 20:55:53 +00:00
Vincent Laporte ca7eb9901e ocamlPackages.ocamlnet: 4.1.5 -> 4.1.6 2018-05-09 16:39:28 +00:00
Vincent Laporte 9c6be76276 ocamlPackages.gapi_ocaml: disable for OCaml < 4.02 2018-05-09 16:39:28 +00:00
Vincent Laporte 4a0c93f078 ocamlPackages.ocaml_http: disable on OCaml ≥ 4.06 2018-05-09 16:12:41 +00:00
Vincent Laporte d0cfb273f0 ocamlPackages.ocaml_pcre: cleanup 2018-05-09 16:12:36 +00:00
Vincent Laporte 1276e82c2e coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8 2018-05-09 08:03:10 +02:00
Vincent Laporte abea0c6eeb jbuilder: 1.0+beta17 -> 1.0+beta20 2018-05-07 07:13:03 +02:00
Vincent Laporte a600e0c8a5 ocaml: default to 4.06 on aarch64 (since 4.05 is broken there) 2018-05-07 07:11:11 +02:00
Vincent Laporte d8ebe4f2cf ocamlPackages.git: 1.11.4 -> 1.11.5 
Also enable tests
 2018-05-04 07:04:17 +00:00
Vincent Laporte b4d0647752 coqPackages.mathcomp: 1.6.4 -> 1.7.0 2018-05-01 11:06:04 +02:00
Vincent Laporte 7d7afdde4a ocamlPackages.ocsigen-start: 1.0.0 -> 1.1.0 2018-04-28 14:31:51 +00:00
Vincent Laporte 9a170f5bdf ocamlPackages.ocsigen-toolkit: 1.0.0 -> 1.1.0 2018-04-28 14:31:51 +00:00
Vincent Laporte 8994fff8bb ocamlPackages.eliom: 6.2.0 -> 6.3.0 2018-04-28 14:31:50 +00:00
Vincent Laporte eaf0592498 ocamlPackages.ocsigen_server: 2.8 -> 2.9 2018-04-28 14:31:45 +00:00
Vincent Laporte 5c4ee2a3ab ocaml: init at 4.07.0+beta2 2018-04-25 18:19:57 +02:00
Vincent Laporte c4b7bbf77e ocamlPackages.findlib: 1.7.3 -> 1.8.0 2018-04-25 18:19:27 +02:00
Vincent Laporte 72ec248eda coqPackages.contribs.containers: make available for Coq 8.8 2018-04-25 06:27:21 +00:00
Vincent Laporte 76a43d765c coq: 8.8+beta1 -> 8.8.0 2018-04-18 14:37:04 +02:00
Vincent Laporte 20c035b906 ocamlPackages.js_of_ocaml-tyxml: init at 3.1.0 2018-04-18 09:38:23 +02:00
Vincent Laporte dc4a8435f0 symbiyosys: larger meta.platforms 2018-04-16 11:47:48 +00:00
Vincent Laporte f13cb56360 yosys: fix build with clang 2018-04-16 11:47:49 +00:00
Vincent Laporte caec7dbb9f coq: fix installation of OCaml libraries 2018-04-15 11:24:17 +00:00
Vincent Laporte 5f97adccdc coq: move some attributes inside passthru 2018-04-15 11:24:17 +00:00
Vincent Laporte 48ee88c7f8 ocamlPackages.js_of_ocaml-camlp4: add deriving support 2018-04-12 10:15:57 +02:00
Vincent Laporte a09c39f80c ocamlPackages.js_of_ocaml-lwt: init at 3.1.0 2018-04-08 17:38:14 +00:00
Vincent Laporte 6c3186848d ocamlPackages.js_of_ocaml-ppx_deriving_json: init at 3.1.0 2018-04-07 13:24:22 +02:00
Vincent Laporte 426dbdee23 gnome3.gtksourceview: fix build on Darwin 2018-04-06 07:22:39 +00:00
Vincent Laporte 8aa1e53a98 ocamlPackages.ocsigen_deriving: 0.7.1 -> 0.8.1 2018-04-04 15:20:26 +00:00
Vincent Laporte 50b0afa269 ocamlPackages.optcomp: fix build with OCaml 4.06 2018-04-04 15:20:20 +00:00
Vincent Laporte d0072be8cd ocamlPackages.ocamlify: fix build with OCaml 4.06 2018-04-03 05:55:59 +00:00
Vincent Laporte 32cdc7967e ocamlPackages.ocamlnet: fix build with OCaml 4.06 2018-04-02 06:20:37 +00:00
Vincent Laporte f8acdb08f0 ocamlPackages.ocp-ocamlres: 0.3 -> 0.4 2018-03-31 11:44:20 +02:00
Vincent Laporte 1874f09c40 flow: 0.66.0 -> 0.68.0 2018-03-27 20:34:15 +00:00
Vincent Laporte be48c2effc ocamlPackages.lwt_ppx: init at 3.3.0 2018-03-27 20:34:08 +00:00
Vincent Laporte 0b53d63dad ocamlPackages.lwt3: 3.0.0 -> 3.3.0 2018-03-27 22:32:55 +02:00
Vincent Laporte f3c8036a70 coqPackages.bignums: make it available for Coq 8.8 2018-03-27 16:19:33 +00:00
Vincent Laporte 35c8106701 gnumeric: 1.12.38 -> 1.12.39 
goffice: 0.10.38 -> 0.10.39
 2018-03-26 15:41:33 +02:00
Vincent Laporte ef4a5e2fc0 gnome2.gtksourceview: fix build on Darwin 2018-03-25 16:50:59 +00:00
Vincent Laporte 387d791663 ocamlPackages.findlib: automatically populate the CAML_LD_LIBRARY_PATH env. variable 
With directories of the form:
  lib/ocaml/${ocaml.version}/site-lib/stubslibs
 2018-03-25 18:33:13 +02:00
Vincent Laporte 2455478754 ocamlPackages.findlib: fix META for library threads 2018-03-25 18:33:13 +02:00
Vincent Laporte 6845b248d9 coq: init at 8.8+beta1 2018-03-21 18:06:28 +00:00
Vincent Laporte 1ce37ab8a9 coqPackages.contribs.containers: make available for Coq 8.7 2018-03-21 09:27:50 +01:00
Vincent Laporte 4fcadba5ea ocamlPackages: default to 4.05 2018-03-14 16:24:27 +01:00
Vincent Laporte 903f4dd3d4 clingo: fix build on non-sandboxed darwin 2018-03-12 17:07:18 +00:00
Vincent Laporte eedc173276 clingo: fix URL 2018-03-12 16:51:54 +00:00
Vincent Laporte bf5e8ce96b libvirt: build from tarball 2018-03-09 13:54:31 +00:00
Vincent Laporte 0ceb110197 ocamlPackages.sawja: 1.5.2 -> 1.5.3 2018-03-09 07:53:49 +01:00
Vincent Laporte 1d4bbef0e8 wyrd: fix build 2018-03-08 14:48:23 -06:00
Vincent Laporte 1aae247be1 exa: fix build on darwin 2018-03-01 17:24:57 +00:00
Vincent Laporte 504bf92ee2 ocaml: 4.06.0 -> 4.06.1 2018-03-01 14:57:06 +01:00
Vincent Laporte 7f327dfa63 ocamlPackages.ctypes: 0.11.5 -> 0.13.1 2018-02-28 19:10:34 +01:00
Vincent Laporte d8ab8ddae1 aspcud: 1.9.1 -> 1.9.4 2018-02-28 19:09:43 +01:00
Vincent Laporte 4ab5d3a1e7 ocamlPackages.cohttp: 1.0.0 -> 1.0.2 2018-02-28 19:09:14 +01:00
Vincent Laporte a3c143c39c ocamlPackages.camlp5: 7.03 -> 7.05 2018-02-28 19:08:40 +01:00
Vincent Laporte 629a2398db ocamlPackages.angstrom: 0.5.1 -> 0.8.1 2018-02-27 08:28:27 +01:00
Vincent Laporte c5eeb838c8 smplayer: 17.9.0 -> 18.2.2 2018-02-26 19:52:58 +01:00
Vincent Laporte c888d97013 ocamlPackages.cil: fix build on Darwin 2018-02-21 17:48:49 +00:00
Vincent Laporte 2aeafe7ef4 ocamlPackages.bitv: init at 1.3 
bitv is a bit vector library for OCaml.

Homepage: https://github.com/backtracking/bitv
 2018-02-19 18:55:31 +01:00
Vincent Laporte 0c7a1fcf96 ppl: fix build 2018-02-18 12:11:06 +00:00
Vincent Laporte 7c2b2ddd68 ocamlPackages.lwt_ssl: init at 1.1.2 2018-02-18 11:15:28 +01:00
Vincent Laporte e75009ecdc eprover: fix build in non-GCC environments 2018-02-14 22:46:12 +00:00
Vincent Laporte 93f8365824 compcert: 3.1 -> 3.2 2018-02-13 22:26:39 +00:00
Vincent Laporte 8cc3fcdfd4 proofgeneral_HEAD: 2017-11-06 -> 2018-01-30 2018-02-08 06:24:14 +00:00
Vincent Laporte 202fb6faea coq: default to 8.7 2018-02-07 19:28:38 +00:00
Vincent Laporte 6944860c6e ocamlPackages.tyxml: 4.0.1 -> 4.2.0 2018-02-02 07:33:23 +00:00
Vincent Laporte dccd8a2685 ncmpc: fix build on darwin 2018-01-31 07:35:08 +00:00
Vincent Laporte 1c04923d64 mpd_clientlib: fix dynamic library on darwin 2018-01-31 06:50:20 +00:00
Vincent Laporte aee1cebda7 why3: 0.88.1 -> 0.88.3 2018-01-14 05:51:06 +00:00
Vincent Laporte bed805f4ed ocamlPackages.uri: 1.9.5 -> 1.9.6 2018-01-14 05:33:36 +00:00
Vincent Laporte 1b43f4fe86 ocamlPackages.uri: 1.9.2 -> 1.9.5 2018-01-14 05:28:49 +00:00
Vincent Laporte 08492b31d1 ocamlPackages.mstruct: 1.3.3 -> 1.4.0 2018-01-14 06:28:13 +01:00
Vincent Laporte 66a0ac9358 pythonPackages.rabbitvcs: disable tests 2018-01-08 07:37:46 +00:00
Vincent Laporte 31031577c1 meld: 3.16.4 -> 3.18.0 2018-01-08 07:37:45 +00:00
Vincent Laporte a0601f244b gnumeric: 1.12.36 -> 1.12.38 
goffice: 0.10.36 -> 0.10.38
 2018-01-07 12:08:25 +00:00
Vincent Laporte bec72bf65c ocamlPackages.otr: 0.3.3 -> 0.3.4 2018-01-07 10:00:45 +00:00
Vincent Laporte 83110ac0be ocamlPackages.notty: 0.1.1a -> 0.2.1 
jackline: 2017-08-17 -> 2017-12-24
 2018-01-04 17:52:56 +01:00
Vincent Laporte efcb39233d ocaml: adds an argument to enable flambda 2017-12-29 10:49:13 +01:00
Vincent Laporte 0004682e36 gtksourceview: run checks on Linux only 2017-12-28 11:28:42 +00:00
Vincent Laporte a9d066a990 coqPackages.tlc: init at 20171206 
TLC is a general purpose Coq library that provides an alternative to Coq's
standard library.

Homepage: http://www.chargueraud.org/softs/tlc/
 2017-12-28 08:19:54 +01:00
Vincent Laporte b320538f4c coq: lablgtk is only needed for coqide 2017-12-23 11:11:56 +00:00