public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
187,266 Commits 1 Branch 0 Tags
2e7355ff13a58347ff3ddc1139413b89ea313bf9
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte 0d70d4a8b8 ocamlPackages.merlin_extend-0.3 -> merlin-extend-0.4 2019-08-02 06:32:51 +00:00
Vincent Laporte bd9a7131a1 ocamlPackages.lambdasoup: init at 0.6.3 2019-08-02 06:31:12 +00:00
Vincent Laporte ca3f1c20d7 ocamlPackages.toml: init at 5.0.0 2019-07-30 16:18:39 +00:00
Vincent Laporte c75b84a7c4 dune: disable for OCaml < 4.02 2019-07-30 16:18:39 +00:00
Vincent Laporte d2c3c1f2bb ocaml-ng.ocamlPackages_4_08: 4.08.0+rc2 -> 4.08.0 2019-07-10 05:26:42 +00:00
Vincent Laporte 5f78fa399d coqPackages.gappalib: disable for Coq 8.10 2019-06-27 13:59:02 +00:00
Vincent Laporte 85109b92cd amiri: init at 0.111 
Amiri is a classical Arabic typeface in Naskh style for typesetting books and
other running text.

Homepage: https://www.amirifont.org/
 2019-06-27 08:03:06 +00:00
Vincent Laporte e478e6bdff saga: 6.3.0 -> 7.2.0 2019-06-25 07:07:32 +00:00
Vincent Laporte 2307ac9fe2 xastir: 2.1.0 -> 2.1.2 
Version 2.1.2 is compatible with recent versions of proj
 2019-06-24 06:12:10 +00:00
Vincent Laporte 99fec0eeb3 ocamlPackages.bistro: init at 0.4.0 2019-06-20 07:29:20 +00:00
Vincent Laporte 37eef9055a coqPackages.gappalib: init at 1.4.1 
This is the Coq support library for Gappa.
 2019-06-19 09:24:34 +00:00
Vincent Laporte 1f2a3a2df2 gappa: 1.2 -> 1.3.5 2019-06-19 09:24:34 +00:00
Vincent Laporte 5e241a691b coqPackages.coqprime: enable for Coq 8.10 2019-06-18 07:29:11 +00:00
Vincent Laporte dbb6f70006 coqPackages.bignums: enable for Coq 8.10 2019-06-18 07:29:11 +00:00
Vincent Laporte 462c43881a merkaartor: fix run-time loading of Qt 5 platform 
Without this patch, running merkaartor fails with the following message:
“This application failed to start because it could not find or load the Qt
platform plugin "xcb"”.
 2019-06-17 16:04:26 +00:00
Vincent Laporte e955576b43 merkaartor: fix build 
Merkaartor is not compatible with current version of Qt5 (5.12)
but is known to work with version 5.9
 2019-06-17 16:03:57 +00:00
Vincent Laporte b00a5f5557 ocamlPackages.mlgmpidl: 1.2.8 -> 1.2.10 2019-06-17 06:32:34 +00:00
Vincent Laporte bfef52d95f ocaml-ng.ocamlPackages_4_08.ocaml: 4.08.0+rc1 -> 4.08.0+rc2 2019-06-14 06:53:34 +00:00
Vincent Laporte 7af35549ed coqPackages.simple-io: 1.0.0 -> 1.2.0 2019-06-06 15:06:08 +00:00
Vincent Laporte 281b26533d coqPackages.QuickChick: init at 1.1.0 for Coq 8.9 
Removes QuickChick for Coq 8.7 as it is broken
(probably due to a too recent ssreflect).
 2019-06-06 15:06:02 +00:00
Vincent Laporte 9120dbf180 ocamlPackages.alcotest: 0.8.2 -> 0.8.5 2019-06-04 17:27:15 +02:00
Vincent Laporte ad31729226 ocaml-ng.ocamlPackages_4_08.ocaml: 4.08.0+beta3 -> 4.08.0+rc1 2019-06-03 12:13:14 +02:00
Vincent Laporte 57c3da07eb coq_8_9: 8.9.0 -> 8.9.1 2019-05-29 11:24:45 +02:00
Vincent Laporte 3ca7fc10e8 ocamlPackages.earley: 1.0.2 -> 2.0.0 2019-05-29 08:29:09 +02:00
Vincent Laporte c37e00067d coqPackages.ltac2: init at 0.1 2019-05-23 14:25:07 +02:00
Vincent Laporte 721d2bc1af qarte: 3.10.0+188 -> 4.6.0 2019-05-23 06:06:27 +00:00
Vincent Laporte b72daf7117 coq: init at 8.10+β1 2019-05-15 10:30:03 +02:00
Vincent Laporte 1ce94fad33 coq: make “coq-version” more general 2019-05-15 10:30:03 +02:00
Vincent Laporte a625f19358 ocamlPackages.lablgtk3: 3.0.beta5 -> 3.0.beta6 2019-05-10 12:59:19 +00:00
Vincent Laporte 20359e55cd ocamlPackages.cairo2: 0.6 -> 0.6.1 2019-05-10 12:59:14 +00:00
Vincent Laporte ab4b23c35c ocamlPackages.elpi: 1.1.0 -> 1.2.0 2019-05-07 09:40:51 +00:00
Vincent Laporte eff7bc3f33 ocamlPackages.uri_1_9: remove at 1.9.6 2019-05-05 22:00:58 +02:00
Vincent Laporte f38bf3ba4e ocamlPackages.bap: 1.4.0 -> 1.6.0 
libbap: 2018-03-01 -> 2019-04-05
 2019-05-05 22:00:58 +02:00
Vincent Laporte 2406c06ae0 ocamlPackages.tyxml: 4.2.0 -> 4.3.0 
ocamlPackages.eliom: 6.4.0 -> 6.7.0
ocamlPackages.js_of_ocaml: 3.2.1 -> 3.3.0
 2019-04-28 17:42:36 +02:00
Vincent Laporte 61b53f4071 ocamlPackages.ojquery: remove at 0.1 2019-04-28 17:42:36 +02:00
Vincent Laporte ce714f2b04 ocaml: 4.08.0+beta2 -> 4.08.0+beta3 2019-04-25 08:45:57 +02:00
Vincent Laporte e3a03659e5 coqPackages.Verdi: 20181102 -> 20190202 2019-04-25 08:35:20 +02:00
Vincent Laporte f61cadb624 coqPackages.tlc: 20180316 -> 20181116 2019-04-24 08:54:56 +02:00
Vincent Laporte f09a13899d coqPackages.mathcomp: 1.7.0 -> 1.8.0 
coqPackages.mathcomp-finmap: 1.1.0 -> 1.2.0
coqPackages.mathcomp-analysis: 0.1.0 -> 0.2.0
 2019-04-23 09:35:38 +02:00
Vincent Laporte 5e93a2f2d9 ocamlPackages.uri_1_9: add an attribute for version 1.9 2019-04-16 08:41:56 +00:00
Vincent Laporte f3982b644a dune: 1.9.0 -> 1.9.1 2019-04-16 08:30:26 +00:00
Vincent Laporte 1c84236afb ocamlPackages.zarith: 1.7 -> 1.8 2019-04-12 16:48:32 +02:00
Vincent Laporte b5c224d2a5 ocamlPackages.bignum: remove at 0.11.0 2019-04-12 16:48:32 +02:00
Vincent Laporte 2dfc7524c6 ocamlPackages.cohttp: 1.1.1 -> 2.0.0 2019-04-07 20:11:18 +00:00
Vincent Laporte 905405eb72 ocamlPackages.uri: 1.9.6 -> 2.2.0 2019-04-07 20:11:13 +00:00
Vincent Laporte 2cde1a89b6 ocamlPackages.farfadet: 0.2 -> 0.3 
ocamlPackages.faraday: 0.5.0 -> 0.7.0
 2019-04-06 14:44:26 +00:00
Vincent Laporte 3a10042c81 ocamlPackages.base64: 2.0.0 -> 3.2.0 
Keep the legacy version under attribute `base64_2`
 2019-04-06 13:24:16 +00:00
Vincent Laporte 0c0954781e ocamlPackages.camlp5: remove legacy version (7.06) 2019-04-06 11:03:29 +02:00
Vincent Laporte 50a03f8632 hol_light: 2018-09-30 -> 2019-03-27 2019-04-06 11:03:29 +02:00
Vincent Laporte 014196b7db dotnetPackages.FsLexYaccRuntime: init at 6.1.0 2019-04-05 20:05:49 +02:00
Vincent Laporte a01129912f ocamlPackages.re2: fix build on darwin 2019-04-02 09:37:30 +02:00
Vincent Laporte 823107038b coqPackages.coqhammer: init at 1.1 
CoqHammer is a general-purpose automated reasoning hammer tool for Coq.

Homepage: http://cl-informatik.uibk.ac.at/cek/coqhammer/
 2019-03-29 09:07:27 +01:00
Vincent Laporte 6a45d871c7 ocamlPackages.lablgtk3: use buildDunePackage 2019-03-26 14:17:50 +01:00
Vincent Laporte f56d52bbc3 ocamlPackages.zmq: use buildDunePackage 2019-03-26 14:17:50 +01:00
Vincent Laporte 7a2426ca77 dune: move into ocamlPackages 2019-03-26 14:17:50 +01:00
Vincent Laporte 338f5208b3 compcert: fix source 2019-03-20 09:54:51 +00:00
Vincent Laporte f23e6ec166 coqPackages.contribs.containers: enable for Coq 8.9 2019-03-18 10:25:58 +01:00
Vincent Laporte 2923bd5d06 coqPackages.coq-simple-io: 0.2 -> 1.0.0 
coqPackages.QuickChick: 1.0.2 -> 20190311
 2019-03-18 09:52:01 +01:00
Vincent Laporte 9af5a9a595 dune: 1.6.2 -> 1.8.2 2019-03-18 04:43:01 +00:00
Vincent Laporte ff43f0a7b5 ocamlPackages.ocp-index: 1.1.8 -> 1.1.9 2019-03-18 05:39:11 +01:00
Vincent Laporte fc32780cdf coqPackages.coq-ext-lib: 0.10.0 -> 0.10.1 2019-03-15 18:45:01 +01:00
Vincent Laporte 6e4b622cb4 ocaml: 4.08.0+beta1 -> 4.08.0+beta2 2019-03-12 18:01:36 +01:00
Vincent Laporte 3c9bfa32e2 compcert: 3.4 -> 3.5 2019-03-09 05:49:26 -06:00
Vincent Laporte 01f88218d2 ocamlPackages.lablgtk3: 3.0.beta4 -> 3.0.beta5 2019-03-05 09:06:28 +01:00
Vincent Laporte 6c614a626e obelisk: 0.3.0 -> 0.4.0 2019-03-04 16:01:00 +00:00
Vincent Laporte 93ce3df6b5 ocamlPackages.stdlib-shims: init at 0.1.0 2019-03-03 11:45:21 +01:00
Vincent Laporte 0379e97193 ocamlPackages.ocamlbuild: 0.12.0 -> 0.14.0 2019-03-03 10:57:18 +01:00
Vincent Laporte 79bc38c1bc ocamlPackages.mlgmpidl: 1.2.7 -> 1.2.8 
This version builds even if profiling is not available (e.g., on Aarch).
 2019-02-28 22:24:07 +01:00
Vincent Laporte 4266523c14 why3: 1.1.1 -> 1.2.0 2019-02-25 10:09:15 +01:00
Vincent Laporte 74d519b234 ocamlPackages.utop: disable for OCaml ≤ 4.02 2019-02-22 17:04:57 +00:00
Vincent Laporte 9a666f92a2 ocamlPackages.wtf8: disable for OCaml ≤ 4.01 2019-02-22 17:04:57 +00:00
Vincent Laporte a03930d9d5 ocamlPackages.opti: disable for OCaml ≤ 4.01 2019-02-22 17:04:56 +00:00
Vincent Laporte 887a5373d6 ocamlPackages.dtoa: disable for OCaml ≤ 4.01 2019-02-22 17:04:56 +00:00
Vincent Laporte 91e194579d ocamlPackages.bisect_ppx-ocamlbuild: disable for OCaml ≤ 4.01 2019-02-22 17:04:56 +00:00
Vincent Laporte 598554d476 ocamlPackages.atd: disable for OCaml ≤ 4.01 2019-02-22 17:04:56 +00:00
Vincent Laporte b275d09224 ocamlPackages.lablgtk3: 3.0.beta3 -> 3.0.beta4 2019-02-22 13:00:04 +01:00
Vincent Laporte b60b304cef ocamlPackages.yojson: 1.4.1 -> 1.6.0 2019-02-20 10:41:53 +01:00
Vincent Laporte 390ed4a626 ocaml-4.08: disable “strictoverflow” hardening 2019-02-19 09:44:04 +01:00
Vincent Laporte 1753b20648 ocaml: init at 4.08.0+beta1 2019-02-19 09:44:04 +01:00
Vincent Laporte 4a21043578 coqPackages.mathcomp-analysis: enable for Coq 8.9 2019-02-18 08:54:11 +01:00
Vincent Laporte 13e9efbb02 coqPackages.paramcoq: init at 1.1.1 2019-02-17 15:56:43 +01:00
Vincent Laporte b1ac25e7ed ocamlPackages.hex: 1.2.0 -> 1.3.0 2019-02-17 10:59:33 +01:00
Vincent Laporte 039f359a7d ocamlPackages.ocaml-migrate-parsetree: 1.1.0 -> 1.2.0 2019-02-16 09:05:06 +01:00
Vincent Laporte 86db60f3f3 coqPackages.flocq: 3.0.0 -> 3.1.0 2019-02-15 10:03:39 +01:00
Vincent Laporte 1613f3db27 coqPackages.interval: 3.3.0 -> 3.4.0 2019-02-15 10:03:39 +01:00
Vincent Laporte 9461a108bc coqPackages.coquelicot: 3.0.1 -> 3.0.2 2019-02-15 10:03:39 +01:00
Vincent Laporte e4a8af06d1 alt-ergo: 2.2.0 -> 2.3.0 2019-02-12 09:19:06 +00:00
Vincent Laporte 5d3e350536 coqPackages.mathcomp-analysis: init at 0.1.0 2019-02-09 12:33:02 +01:00
Vincent Laporte bafa15f145 coqPackages.mathcomp-finmap: init at 1.1.0 2019-02-09 12:33:02 +01:00
Vincent Laporte 590e07779c coqPackages.mathcomp-bigenough: init at 1.0.0 2019-02-09 12:33:02 +01:00
Vincent Laporte f833a3e881 ocamlPackages.ocp-index: 1.1.7 -> 1.1.8 2019-02-08 07:35:52 +01:00
Vincent Laporte 36e9fe820c coqPackages_8_9: disable a few packages that do not build 2019-02-08 02:01:32 +01:00
Vincent Laporte 570dd83ae4 ocamlPackages.ocsigen-start: 1.4.0 -> 1.5.0 2019-02-03 14:20:17 +00:00
Vincent Laporte 65ba19a9c5 ocamlPackages.ocsigen-start: 1.2.0 -> 1.4.0 2019-02-03 14:20:16 +00:00
Vincent Laporte c3ddb39ade ocamlPackages.ocsigen-start: 1.1.0 -> 1.2.0 2019-02-03 14:20:15 +00:00
Vincent Laporte 5a2f6b08bf ocamlPackages.ocsigen-toolkit: 1.1.0 -> 2.0.0 2019-02-03 14:20:14 +00:00
Vincent Laporte 686f8a4710 ocamlPackages.eliom: 6.3.0 -> 6.4.0 2019-02-03 14:20:14 +00:00
Vincent Laporte 05350c0047 ocamlPackages.ocsigen_server: 2.9 -> 2.11 2019-02-03 14:20:13 +00:00
Vincent Laporte d8a8de45d0 ocamlPackages.lwt_camlp4: init at 20180325 2019-02-03 14:20:11 +00:00
Vincent Laporte e856fb3115 smplayer: 18.10.0 -> 19.1.0 2019-02-02 19:13:11 +00:00