public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
182,981 Commits 1 Branch 0 Tags
65ee1ace94aa9ed94de16e86a407874bbdc13cde
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Vincent Laporte 59949aa55c Revert "coq-modules: add default to fix eval" 
This reverts commit e20b65156c.
 2019-02-01 16:02:42 +00:00
Vincent Laporte 0d17ecce2c mkDerivation: cleaner handling of the name argument 2019-02-01 16:02:42 +00:00
Vincent Laporte 6d94f6ea1a liferea: 1.12.4 -> 1.12.6 2019-01-25 18:37:51 +00:00
Vincent Laporte b76961124d coq_8_9: 8.9+beta1 -> 8.9.0 2019-01-24 09:08:51 +00:00
Vincent Laporte 85fe73a573 coqPackages.flocq: 2.6.0 -> {2.6.1, 3.0.0} 2019-01-23 07:45:16 +00:00
Vincent Laporte 63383a6db2 coqPackages.QuickChick: init at 1.0.2 for Coq 8.8 2019-01-18 14:53:15 +00:00
Vincent Laporte 218deb3736 zeroad: 0.0.23 -> 0.0.23b 2019-01-18 01:52:22 +00:00
Vincent Laporte ad23ea312d ocamlPackages.lablgtk3: 3.0.β2 → 3.0.β3 2019-01-12 18:42:45 +00:00
Vincent Laporte 3e7fa939f4 sile: 0.9.4 -> 0.9.5 2019-01-12 10:03:50 +01:00
Vincent Laporte db217a8aca ocamlPackages.resource-pooling: init at 0.5.2 
A library for pooling resources like connections, threads, or similar.

Homepage: https://github.com/ocsigen/resource-pooling
 2019-01-12 08:23:48 +00:00
Vincent Laporte 10fa10731e coqPackages.category-theory: bound build parallelism 2019-01-11 17:24:45 +00:00
Vincent Laporte a18ac72b4a ocamlPackages.ocp-indent: 1.6.1 -> 1.7.0 2019-01-09 16:37:39 +00:00
Vincent Laporte 522148ba4e ocamlPackages.cmdliner: restore version 1.0.2 for OCaml ≤ 4.02 2019-01-09 16:37:39 +00:00
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