public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
198,109 Commits 1 Branch 0 Tags
56727dc1ff430bc2d39b08601e03094de4ab189e
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte be3f40bb99 ocamlPackages.eliom: 6.7.0 → 6.8.0 
Ensures compatibility with OCaml 4.08
 2019-10-20 06:44:41 +00:00
Vincent Laporte 430e5ce04c compcert: 3.5 → 3.6 
ocamlPackages.menhir: 20181113 → 20190626
 2019-10-19 20:30:48 +00:00
Vincent Laporte 69d5465431 ocamlPackages.bigstringaf: 0.3.0 → 0.6.0 2019-10-18 05:59:29 +00:00
Vincent Laporte 734119c74d ocamlPackages.httpaf: disable tests with OCaml 4.07 2019-10-18 05:59:29 +00:00
Vincent Laporte 33f003e930 ocamlPackages.faraday: disable tests with OCaml 4.07 2019-10-18 05:59:29 +00:00
Vincent Laporte 7264e96053 ocamlPackages.spelll: init at 0.3 
Fuzzy string searching, using Levenshtein automaton. Can be used for
spell-checking.

Homepage: https://github.com/c-cube/spelll
 2019-10-17 05:50:26 +00:00
Vincent Laporte b4db381443 coq_8_10: 8.10+β3 → 8.10.0 
coqPackages.coq-elpi: master → 1.1.0
 2019-10-16 02:43:46 +00:00
Vincent Laporte 0cc70b5697 coq: do not build CoqIDE for Coq 8.10 
GTK3 at version 3.24.11 has broken pkg-config files
 2019-10-16 02:43:46 +00:00
Vincent Laporte 1292f49a37 coq_8_10: do not take “camlp5” as input 2019-10-16 02:43:46 +00:00
Vincent Laporte 325f89ef19 coq_8_10: fix CoqIDE on darwin 2019-10-16 02:43:46 +00:00
Vincent Laporte 8dd417eed6 ocamlPackages.lru: 0.2.0 → 0.3.0 
ocamlPackages.psq: 0.1.0 → 0.2.0
 2019-10-16 02:42:25 +00:00
Vincent Laporte 7c6026019e ocamlPackages.doc-ock: remove at 1.2.1 
This is now part of ocamlPackages.odoc
 2019-10-15 06:03:53 +00:00
Vincent Laporte e33563438e ocamlPackages.doc-ock-xml: remove at 1.2.1 
This is now part of ocamlPackages.odoc
 2019-10-15 06:03:48 +00:00
Vincent Laporte 960dfbc5b4 ocamlPackages.doc-ock-html: remove at 1.2.1 
This is now part of ocamlPackages.odoc
 2019-10-15 06:03:42 +00:00
Vincent Laporte 0feb4e8729 ocamlPackages.digestif: 0.5 → 0.8.0 2019-10-15 07:08:13 +02:00
Vincent Laporte e191a69e8d ocamlPackages.eqaf: init at 0.5 2019-10-15 07:08:13 +02:00
Vincent Laporte e1b9556f87 ocamlPackages.ocsigen_server: 2.11.0 → 2.15.0 
ocamlPackages.ssl: 0.5.5 → 0.5.9
 2019-10-13 06:52:00 +02:00
Vincent Laporte a9435c8db8 ocamlPackages.labltk: init at 8.06.7 for OCaml ≥ 4.08 2019-10-12 09:37:34 +02:00
Vincent Laporte 632f69857d ocamlPackages.ocaml-monadic: init at 0.4.1 2019-10-12 07:41:49 +02:00
Vincent Laporte c82c6d3a12 ocaml: default to version 4.07 
patdiff: 0.11.0 → 0.12.0
 2019-10-11 07:58:42 +02:00
Vincent Laporte deefc177d3 libbap: pin OCaml version to 4.06 2019-10-11 07:58:42 +02:00
Vincent Laporte 1f365f9d26 coqPackages_8_7.contribs.additions: remove 2019-10-11 07:58:42 +02:00
Vincent Laporte 8acf4cd06c ocamlPackages.pgocaml: 3.2 → 4.0 
Ensures compatibility with OCaml 4.08
 2019-10-06 07:57:37 +02:00
Vincent Laporte dc6b299e09 ocamlPackages.patience_diff: init at 0.12.0 2019-10-03 08:26:41 +02:00
Vincent Laporte 33c36dd2f4 ocamlPackages.expect_test_helpers: init at 0.12.0 2019-10-03 08:26:41 +02:00
Vincent Laporte 2c87f4f07e ocamlPackages.expect_test_helpers_kernel: init at 0.12.0 2019-10-03 08:26:41 +02:00
Vincent Laporte e0dcde83b0 ocamlPackages.sexp_pretty: init at 0.12.0 2019-10-03 08:26:41 +02:00
Vincent Laporte 2f43ae44c5 ocamlPackages.cpdf: 2.2.1 → 2.3 2019-09-30 21:52:34 +02:00
Vincent Laporte c2ef0a0875 ocamlPackages.camlpdf: 2.2.1 → 2.3 2019-09-30 21:52:34 +02:00
Vincent Laporte 718b6d980f ocamlPackages.ptmap: 2.0.3 → 2.0.4 
Ensures compatibility with OCaml 4.07
 2019-09-28 18:40:00 +02:00
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