public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
194,602 Commits 1 Branch 0 Tags
91ea0393fa2e455b8cc83d7b1370fdd747c04ec2
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte 4ca445c722 ocaml-ng.ocamlPackages_latest: 4.08.1 -> 4.09.0 2019-09-27 07:45:18 +02:00
Vincent Laporte 348c8947e0 ocamlPackages.utop: 2.4.1 → 2.4.2 
Ensures compatibility with OCaml 4.09
 2019-09-26 17:27:11 +00:00
Vincent Laporte 9c427a0c1e ocamlformat: 0.8 → 0.11.0 2019-09-24 05:53:06 +00:00
Vincent Laporte 31aab48a0a ocamlPackages.odoc: 1.3.0 → 1.4.2 
Ensures compatibility with OCaml 4.08
 2019-09-23 05:53:29 +00:00
Vincent Laporte 8e3d4ec580 ocamlPackages.spacetime_lib: 0.1.0 -> 0.3.0 
Ensures compatibility with OCaml 4.08
 2019-09-22 20:12:05 +00:00
Vincent Laporte 1623510119 ocamlPackages.owee: 0.2 -> 0.3 
Ensures compatibility with OCaml 4.08
 2019-09-22 20:12:05 +00:00
Vincent Laporte 0c0e63d211 ocamlPackages.camlp5: 7.08 → 7.10 2019-09-21 03:35:39 +00:00
Vincent Laporte 827f62ef01 ocamlPackages.optint: 0.0.2 -> 0.0.3 
Ensures compatibility with OCaml ≥ 4.08
 2019-09-20 17:04:52 +00:00
Vincent Laporte 424c20414a ocamlPackages.containers: 1.4 → 2.6.1 
ocamlPackages.sequence/iter: 1.1 → 1.2.1

Ensures compatibility with OCaml 4.08
 2019-09-20 05:29:05 +00:00
Vincent Laporte 59a07abdb2 ocamlPackages.printbox: disable tests for OCaml ≥ 4.08 2019-09-20 05:28:59 +00:00
Vincent Laporte 011dd72d6a ocamlPackages.mdx: disable tests for OCaml ≥ 4.08 
Don’t strip for OCaml 4.04
 2019-09-20 05:28:52 +00:00
Vincent Laporte 8288301636 coq_8_10: 8.10+β2 → 8.10+β3 2019-09-16 11:41:43 -05:00
Vincent Laporte 2173d47560 ocamlPackages.ocsigen_server: fix loading of shared libraries 2019-09-16 16:06:35 +00:00
Vincent Laporte 61c9725ff4 ocamlPackages.cryptokit: fix installation of shared libraries 
Fixes #68874
 2019-09-16 16:06:28 +00:00
Vincent Laporte 5fed98e862 ocamlPackages.js_of_ocaml*: 3.3.0 -> 3.4.0 
Ensures compatibility with OCaml 4.08
 2019-09-14 06:54:35 +00:00
Vincent Laporte 912f03d0d4 ocamlPackages.xtmpl: fix for jsoo ≥ 3.4.0 2019-09-14 06:54:35 +00:00
Vincent Laporte 5a5a87cd00 ocamlPackages.mtime: disable jsoo support for OCaml < 4.03 2019-09-14 06:54:35 +00:00
Vincent Laporte 748046d594 ocamlPackages.janeStreet: init at 0.12 (for OCaml ≥ 4.07) 
Also add a few legacy packages at version 0.11 for OCaml ≥ 4.07: configurator,
ppx_core, ppx_driver, ppx_type_conv

ocamlPackages.bap: disable for OCaml ≥ 4.07

ocamlPackages.bistro: 0.4.0 -> 0.5.0
 2019-09-10 14:05:26 +00:00
Vincent Laporte 764724a631 ocamlPackages.nocrypto: add explicit dependency to ppx_deriving 2019-09-10 14:05:26 +00:00
Vincent Laporte 22c50545f2 ocamlPackages.ocaml_lwt: 4.1.0 -> 4.2.1 
Ensures compatibility with OCaml 4.08
 2019-09-06 16:03:33 +00:00
Vincent Laporte 5b3dc48f19 coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0 
Ensures compatibility with Coq ≥ 8.9
 2019-09-06 11:51:34 +00:00
Vincent Laporte ff392e8190 ocamlPackages.ocplib-json-typed: 0.5 -> 0.7.1 2019-09-03 05:31:11 +00:00
Vincent Laporte 8d70f49cbd ocamlPackages.lablgtk: 2.18.6 -> 2.18.8 
Ensures compatibility with OCaml 4.08.
 2019-09-02 16:19:24 +00:00
Vincent Laporte 81760f3235 ocamlPackages.cstruct: 3.1.1 -> 4.0.0 
ocamlPackages.cstruct-sexp: init at 4.0.0

ocamlPackages.x509: 0.6.1 -> 0.7.1

ocamlPackages.tls: 0.9.0 -> 0.10.4

jackline: 2018-05-11 -> 2019-08-08
 2019-08-31 06:55:26 +00:00
Vincent Laporte 10ffd51a96 ocamlPackages.bigarray-compat: init at 1.0.0 2019-08-31 06:55:26 +00:00
Vincent Laporte e9edc7537a ocamlPackages.gmap: init at 0.3.0 2019-08-31 06:55:26 +00:00
Vincent Laporte d33df05f50 ocamlPackages.domain-name: init at 0.3.0 2019-08-31 06:55:26 +00:00
Vincent Laporte 3f63225309 ocamlPackages.batteries: 2.9.0 -> 2.10.0 
Ensures compatibility with OCaml 4.08.
 2019-08-29 05:42:43 +00:00
Vincent Laporte f7387ad383 ocamlPackages.utop: 2.3.0 -> 2.4.1 
ocamlPackages.zed: 1.6 -> 2.0.3

ocamlPackages.lambdaTerm: 1.13 -> 2.0.2
 2019-08-28 06:36:57 +00:00
Vincent Laporte a86fe43558 ocamlPackages.lambdaTerm: remove at 1.6 2019-08-28 06:36:57 +00:00
Vincent Laporte ef15478313 qarte: use pyqt5_with_qtmultimedia 
Otherwise, qarte fails at run-time with:

>     from PyQt5.QtMultimedia import QMediaPlayer
> ModuleNotFoundError: No module named 'PyQt5.QtMultimedia'
 2019-08-27 06:00:08 +00:00
Vincent Laporte e063d084de qarte: use qt5’s mkDerivation 
See #65399
 2019-08-27 05:57:23 +00:00
Vincent Laporte 46b630efa9 ocamlPackages.mtime: 1.1.0 -> 1.2.0 2019-08-26 19:20:03 +00:00
Vincent Laporte c21c1e8f3f ocamlPackages.ppx_tools_versioned: 5.1 -> 5.2.3 
Ensures compatibility with OCaml 4.08
 2019-08-23 17:51:53 +00:00
Vincent Laporte 7cca325b07 ocamlPackages.logs: disable for OCaml < 4.03 2019-08-23 17:51:41 +00:00
Vincent Laporte c02aa1b575 ocamlPackages.sedlex: 1.99.4 -> 1.99.5 2019-08-23 15:48:47 +00:00
Vincent Laporte 4b1e33a312 ocamlPackages.vg: 0.9.1 -> 0.9.3 2019-08-23 05:56:38 +00:00
Vincent Laporte 162266b972 ocamlPackages.otr: 0.3.4 -> 0.3.6 2019-08-23 05:27:34 +00:00
Vincent Laporte e1d3ea6836 ocamlPackages.cohttp: 2.0.0 -> 2.1.3 2019-08-21 21:12:52 +00:00
Vincent Laporte 136f739184 ocamlPackages.uri-sexp: init at 3.0.0 2019-08-21 21:12:37 +00:00
Vincent Laporte 609d408970 coq: make version 8.9 the default one 2019-08-21 12:07:38 +00:00
Vincent Laporte 59cf0772c2 ocamlPackages.charInfo_width: init at 1.1.0 2019-08-21 05:07:46 +00:00
Vincent Laporte 4c571a1e76 ocamlPackages.ppx_deriving: 4.2.1 -> 4.4 2019-08-20 04:55:45 +00:00
Vincent Laporte 4759568c6b ocamlPackages.ppxfind: do not strip with OCaml 4.04 2019-08-20 04:55:45 +00:00
Vincent Laporte ff6c982e5e ocamlPackages.ppx_tools: init at 5.3 for OCaml 4.08 2019-08-20 04:55:45 +00:00
Vincent Laporte b53f0980fe ocamlPackages.javalib: 3.0 -> 3.1.1 2019-08-20 04:46:14 +00:00
Vincent Laporte b43c368bda mkvtoolnix: use wrapQtApp 
See #65399
 2019-08-18 17:56:37 -04:00
Vincent Laporte af504e45b3 ocamlPackages.mmap: init at 1.1.0 
This project provides a Mmap.map_file function for mapping files in memory.
 2019-08-16 06:28:28 +00:00
Vincent Laporte 3cc99ee1eb ocamlPackages.zarith: enable for OCaml 4.08 2019-08-15 09:09:28 +00:00
Vincent Laporte 6bb07c80bf smtube: use qt5’s mkDerivation 
See #65399
 2019-08-14 14:43:11 +00:00
Vincent Laporte 95ec53813a smplayer: use qt5’s mkDerivation 
See #65399
 2019-08-14 14:43:11 +00:00
Vincent Laporte 3a4aab967b ocaml: 4.08.0 -> 4.08.1 
Bugfix release.

Announcement: https://inbox.ocaml.org/caml-list/0978f74a-9b8c-e9a3-e3a1-c110af4a2f04@inria.fr/T/#u
 2019-08-13 12:37:56 +00:00
Vincent Laporte 957a0ae2a7 ocamlPackages.camlp5: 7.07 -> 7.08 2019-08-12 14:36:38 +00:00
Vincent Laporte 4018a4cddf coqPackages.interval: 3.4.0 -> 3.4.1 2019-08-12 09:05:16 +00:00
Vincent Laporte 18fa1c335e ocamlPackages.ocaml-migrate-parsetree: 1.2.0 -> 1.4.0 2019-08-11 13:58:43 +00:00
Vincent Laporte 08f438fe50 ocamlPackages.ocsigen-start: 1.5.0 -> 1.8.0 2019-08-11 08:03:00 +00:00
Vincent Laporte 82db668615 ocamlPackages.ocsigen-toolkit: 2.0.0 -> 2.2.0 2019-08-11 08:03:00 +00:00
Vincent Laporte a4d6a3f724 ocamlPackages.pgocaml: 2.3 -> 3.2 2019-08-10 14:19:18 +00:00
Vincent Laporte 0a477846af ocamlPackages.findlib: 1.8.0 -> 1.8.1 
Also remove unused legacy version 1.7.3
 2019-08-07 12:26:34 +00:00
Vincent Laporte 5b0fdad5df coqPackages.flocq: fetch sources from gitlab 2019-08-05 09:21:02 +00:00
Vincent Laporte bc1417c557 coqPackages.flocq: 3.1.0 -> 3.2.0 
Ensures compatibility with Coq 8.10
 2019-08-05 09:21:02 +00:00
Vincent Laporte 58e0c7b8ce coqPackages.coquelicot: 3.0.2 -> 3.0.3 
Ensures compatibility with Coq 8.10
 2019-08-03 06:16:54 +00:00
Vincent Laporte ea5ce273fb reason: 3.3.7 -> 3.5.0 2019-08-02 08:30:13 +00:00
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